1
Publicado 2012
Tabla de Contenidos: ... of Linear Hybrid Automata -- Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.Implicative...
Enlace del recurso
Electrónico eBook
2
Publicado 2011
Tabla de Contenidos: ... Model for Test Equating (George Karabatsos and Stephen G. Walker) -- Generalized Equating Functions...
Enlace del recurso
Electrónico eBook
3
por Hamlet, Dick., Hamlet, Dick.
Publicado 2010
Tabla de Contenidos: ... -- Implications for Software Testing -- Unit vs. System Testing -- Functional vs. Non-functional Properties...
Enlace del recurso
Electrónico eBook
4
Publicado 2014
Tabla de Contenidos: ... Performance Development -- A Test-Driven Approach for Model-Based Development of Powertrain Functions -- Part...
Enlace del recurso
Electrónico eBook
5
Publicado 2007
Tabla de Contenidos: ... -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages...
Enlace del recurso
Electrónico eBook
6
por Daggett, Mark E., Daggett, Mark E.
Publicado 2013
Materias: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Enlace del recurso
Electrónico eBook
7
por Lover, Robert., Lover, Robert.
Publicado 2008
Tabla de Contenidos: ... Functional Properties of Program Designs -- Quantified Forms -- Logical Equivalence -- Logical Implication...
Enlace del recurso
Electrónico eBook
8
Publicado 2008
Tabla de Contenidos: ... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...
Enlace del recurso
Electrónico eBook
9
Publicado 2015
Tabla de Contenidos: ... -- The Connection Between Intelligence Tests and Theory of Intelligence -- Assessing Intellectual Knowledge...
Enlace del recurso
Electrónico eBook
10
Publicado 2014
Tabla de Contenidos: ... -- Property Testing Bounds for Linear and Quadratic Functions via Parity Decision Trees -- A Fast Branching...
Enlace del recurso
Electrónico eBook
11
Publicado 2010
Tabla de Contenidos: ...- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co...
Enlace del recurso
Electrónico eBook
12
Publicado 2014
Tabla de Contenidos: ... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...
Enlace del recurso
Electrónico eBook
13
Publicado 2007
Tabla de Contenidos: ... Review and Clinical Implications -- Diagnosis -- Clinical Diagnosis -- Neurophysiological Assessment...
Enlace del recurso
Electrónico eBook
14
Publicado 2007
Tabla de Contenidos: ... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...
Enlace del recurso
Electrónico eBook
15
Publicado 2007
Tabla de Contenidos: ... Practices and Implications for Electronic Patient Record Design -- Ambient Assisted Living and Life Long...
Enlace del recurso
Electrónico eBook
16
Publicado 2012
Tabla de Contenidos: ... Homes: Transformation of the Long Term Care Industry and Implications of the Research Program for Aging...
Enlace del recurso
Electrónico eBook
17
Publicado 2015
Tabla de Contenidos: ... Rehabilitation, Recovery of Function and Tendon Regeneration -- Functional Hop Tests Contribute to Safe Return...
Enlace del recurso
Electrónico eBook
18
Publicado 2007
Tabla de Contenidos: ...: Implications for Terrestrial Ecosystem Structure and Functioning -- Atmospheric Deposition and Nitrogen...
Enlace del recurso
Electrónico eBook
19
Publicado 2015
Tabla de Contenidos: ...-To-End Authentication for Mobile Banking -- Improving Mutation Testing Process of Python Programs -- Task...
Enlace del recurso
Electrónico eBook
20
Tabla de Contenidos: ....-. 3.1.3.1 Stigmatisation.-3.1.3.2 The Child as Decision Maker.-3.1.4 Adult Screening -- 3.2 Testing...
Enlace del recurso
Electrónico eBook