1
Table of Contents: .... A, Test Vectors -- App. B, Reference C Code -- App. C, Third-Party Software -- Index....
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... and Autism -- Chapter 9. Executive Functioning as a Mediator of Age Related Cognitive Decline in Adults...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ...Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables -- Mapping...
View full text
Electronic eBook
4
Table of Contents: ...Introduction -- Problem Solving: Practical Examples and Additional Properties -- The Problem...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...
View full text
Electronic eBook
6
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
7
Table of Contents: ...Introduction -- Metric, Banach, and Hilbert Spaces -- Mechanics Problems from the Functional...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware...
View full text
Electronic eBook
10
Table of Contents: ...Trigonometric Fundamentals -- Introductory Problems -- Advanced Problems -- Solutions...
View full text
Electronic eBook
11
Published 2011
Table of Contents: ... of “Veiled” General Relativity -- 23. L. SEBASTIANI. Finite‐Time Singularities in Modified f(R;G)‐Gravity...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Tests -- Vector Integration and Stochastic Integration in Banach Spaces -- Multivariate Functional Data...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Problems -- On the Boolean Connectivity Problem for Horn Relations -- A First Step Towards a Unified Proof...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Solvers -- On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem -- The Seventh...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... 3. Applications -- Applications of SAT Solvers to Cryptanalysis of Hash Functions -- Functional...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...
View full text
Electronic eBook
17
by Gladwell, G.M.L., Gladwell, G.M.L.
Published 2005
Table of Contents: ...Matrix Analysis -- Vibrations of Discrete Systems -- Jacobi Matrices -- Inverse Problems for Jacobi...
View full text
Electronic eBook
18
Table of Contents: ...Independent functional observations -- The functional linear model -- Dependent functional data...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Tests and Urinalysis -- Renal Ultrasound -- Management of Acute Kidney Problems: Indications for Renal...
View full text
Electronic eBook
20
Table of Contents: ...-Assembly Problems -- Solving Test-Assembly Problems -- Models for Assembling Single Tests -- Models...
View full text
Electronic eBook