1
Published 2015
Table of Contents: ... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... of the Aumann theorem -- Modelling Attitudes to Climate Change { An Order Effect and a Test Between Alternatives...
View full text
Electronic eBook
4
Table of Contents: ... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... and their research potential for ecosystem studies -- Testing the role of insects for ecosystem functioning....
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... Diverse Redundant Detectors -- Testing-as-a-Service for Mobile Applications: State-of-the-Art Survey...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Beach County -- Bayesian Functional Estimation of Hazard Rates for Randomly Right Censored Data Using...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Search Algorithms with Local Search for the Traveling Salesman Problem -- Many-Objective Test Problems...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...
View full text
Electronic eBook
12
Subjects: ...Engineering Fluid Dynamics. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
13
Subjects: ...Engineering Fluid Dynamics. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... of Biomedical and Psychosocial Issues in Pediatric Functional Gastrointestinal and Motility Disorders -- Chapter...
View full text
Electronic eBook
15
Table of Contents: .... Interactive Graphics -- 5. Testing and Debugging -- Part II: Applications -- 6. The Double Integrator -- 7...
View full text
Electronic eBook
16
by Ghosh, Jit., Ghosh, Jit., Cameron, Rob.
Published 2010
Subjects: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Applications -- Combining Virtual Reality and Functional Magnetic Resonance Imaging (fMRI): Problems...
View full text
Electronic eBook
18
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... of Regulatory Rare Alleles for Burden Tests -- Feature Selection and Classification of High Dimensional Mass...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...
View full text
Electronic eBook