Arama Sonuçları - programs testing https function ((dysfunction https) OR (function https))

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Tam Metin Erişim

Elektronik Ekitap

2

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Baskı/Yayın Bilgisi 2011

Konular: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

3

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...-Logic Programming -- EasyCheck — Test Data for Free....”
Tam Metin Erişim

Elektronik Ekitap

4

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /

Baskı/Yayın Bilgisi 2014

Konular: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Tam Metin Erişim

Elektronik Ekitap

5

Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

Yazar: Horváth, Zoltán., Horváth, Zoltán.
Baskı/Yayın Bilgisi 2006

İçindekiler: “...Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications...”
Tam Metin Erişim

Elektronik Ekitap

6

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Tam Metin Erişim

Elektronik Ekitap

7

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Tam Metin Erişim

Elektronik Ekitap

8

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Tam Metin Erişim

Elektronik Ekitap

9

A Beginner's Guide to Scala, Object Orientation and Functional Programming

Yazar: Hunt, John., Hunt, John.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Tam Metin Erişim

Elektronik Ekitap

10

Functional Magnetic Resonance Imaging Processing

Yazar: Li, Xingfeng., Li, Xingfeng.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Tam Metin Erişim

Elektronik Ekitap

11

Introductory Statistical Inference with the Likelihood Function

Yazar: Rohde, Charles A., Rohde, Charles A.
Baskı/Yayın Bilgisi 2014

Konular: “...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...”
Tam Metin Erişim

Elektronik Ekitap

12

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”
Tam Metin Erişim

Elektronik Ekitap

13

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”
Tam Metin Erişim

Elektronik Ekitap

14

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study...”
Tam Metin Erişim

Elektronik Ekitap

15

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering...

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...”
Tam Metin Erişim

Elektronik Ekitap

16

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational...”
Tam Metin Erişim

Elektronik Ekitap

17

Hardware and Software, Verification and Testing Second International Haifa Verification Conference...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs -- Explaining...”
Tam Metin Erişim

Elektronik Ekitap

18

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference...

Baskı/Yayın Bilgisi 2012

İçindekiler: “... for Multithreaded Programs -- Concurrent Small Progress Measures -- Specification and Quantitative Analysis...”
Tam Metin Erişim

Elektronik Ekitap

19

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”
Tam Metin Erişim

Elektronik Ekitap

20

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt