Rezultaty - program testing https functionality design https

Inne możliwości wyszukiwania:
functionality design » functional design , function design , functionality needs
https functionality » its functionality , bags functionality , cross functionality
program testing » programs testing , progeny testing , program trading
testing https » teaching https , being https , writing https
design https » vision https

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

Wydane 2011

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

od Horváth, Zoltán., Horváth, Zoltán.
Wydane 2006

Spis treści: “...Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Linear Models for Optimal Test Design

od van der Linden, Wim J., van der Linden, Wim J.
Wydane 2005

Spis treści: “... Measuring Multiple Abilities -- Models for Adaptive Test Assembly -- Designing Item Pools for Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2012

Spis treści: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Techniques for Scheduling-Based Random Test-Case Generation -- Extracting a Simplified View of Design...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

System-level Test and Validation of Hardware/Software Systems

Wydane 2005

Spis treści: “... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference...

Wydane 2008

Spis treści: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Elements of Adaptive Testing

Wydane 2010

Spis treści: “... Test Battery -- APPLICATIONS IN LARGE-SCALE TESTING PROGRAMS -- Adaptive Tests for Measuring Anxiety...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings /

Wydane 2010

Spis treści: “... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Wydane 2015

Spis treści: “... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Wydane 2006

Spis treści: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Integrated Circuit Test Engineering Modern Techniques /

od Grout, Ian A., Grout, Ian A.
Wydane 2006

Spis treści: “... Logic Test -- Memory Test -- Analogue Test -- Mixed-Signal Test -- Input-Output Test -- Design...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Functional Magnetic Resonance Imaging Processing

od Li, Xingfeng., Li, Xingfeng.
Wydane 2014

Spis treści: “... data analysis for activation detection -- fMRI experimental design -- fMRI data pre-processing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

An Introduction to Meshfree Methods and Their Programming

od Liu, G.R., Liu, G.R., Gu, Y.T.
Wydane 2005

Spis treści: “...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Wydane 2010

Spis treści: “... Design for Truthful Combinatorial Auctions -- Mean-Payoff Games and Propositional Proofs -- Session 2...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Wydane 2008

Spis treści: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings /

Wydane 2012

Spis treści: “... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

1
2
3
4
5
6
7
8
9
10
11
Następna »
[13]

Redukuj rezultaty