1
Taula de continguts: .... A, Test Vectors -- App. B, Reference C Code -- App. C, Third-Party Software -- Index....
Obtenir text complet
Electrònic eBook
2
Publicat 2005
Taula de continguts: ... -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware...
Obtenir text complet
Electrònic eBook
3
Publicat 2005
Taula de continguts: ...Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...
Obtenir text complet
Electrònic eBook
5
Publicat 2014
Taula de continguts: .... Assessment of Executive Functioning with the Test of Verbal Conceptualization and Fluency (TVCF) -- Chapter...
Obtenir text complet
Electrònic eBook
6
Publicat 2010
Taula de continguts: ... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...
Obtenir text complet
Electrònic eBook
7
Publicat 2010
Taula de continguts: ... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
Obtenir text complet
Electrònic eBook
9
Publicat 2010
Taula de continguts: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
Obtenir text complet
Electrònic eBook
10
Publicat 2013
Taula de continguts: ...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...
Obtenir text complet
Electrònic eBook
11
per Hamlet, Dick., Hamlet, Dick.
Publicat 2010
Taula de continguts: ... -- Implications for Software Testing -- Unit vs. System Testing -- Functional vs. Non-functional Properties...
Obtenir text complet
Electrònic eBook
12
Publicat 2015
Taula de continguts: ... Diverse Redundant Detectors -- Testing-as-a-Service for Mobile Applications: State-of-the-Art Survey...
Obtenir text complet
Electrònic eBook
13
Publicat 2007
Taula de continguts: ...SAT: Past and Future -- Encodings of Problems in Effectively Propositional Logic -- Efficient...
Obtenir text complet
Electrònic eBook
14
Publicat 2006
Taula de continguts: ... 3. Applications -- Applications of SAT Solvers to Cryptanalysis of Hash Functions -- Functional...
Obtenir text complet
Electrònic eBook
15
per Kozen, Dexter C., Kozen, Dexter C.
Publicat 2006
Taula de continguts: ...Lectures -- The Complexity of Computations -- Time and Space Complexity Classes and Savitch’s...
Obtenir text complet
Electrònic eBook
16
Publicat 2010
Taula de continguts: ... Genetic Algorithm Based Test Case Generation Using Sequence Diagrams -- LACAIS: Learning Automata Based...
Obtenir text complet
Electrònic eBook
17
Publicat 2007
Taula de continguts: ... and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data -- Improved...
Obtenir text complet
Electrònic eBook
18
Taula de continguts: ...Independent functional observations -- The functional linear model -- Dependent functional data...
Obtenir text complet
Electrònic eBook
19
Taula de continguts: ...Introduction -- Problem Solving: Practical Examples and Additional Properties -- The Problem...
Obtenir text complet
Electrònic eBook
20
Publicat 2008
Taula de continguts: ... and their research potential for ecosystem studies -- Testing the role of insects for ecosystem functioning....
Obtenir text complet
Electrònic eBook