1
by Maes, Roel., Maes, Roel.
Published 2013
Table of Contents: ... and Constructions -- Chap. 3 - Physically Unclonable Functions: Properties -- Chap. 4 - Implementation...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... History of Executive Functioning as a Theoretical and Clinical Construct -- Chapter 2. The Physiology...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- Verifying a Semantic ??-Conversion Test for Martin-Löf Type Theory -- The Capacity-C Torch Problem...
View full text
Electronic eBook
4
Table of Contents: ... Solving Metaphor, Neuropsychology, and Exective Functioning -- Neuropsychological Constructs, Assumptions...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ...Piston function, requirements and type -- Piston design guidelines -- Simulation of piston...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real...
View full text
Electronic eBook
8
Table of Contents: .... A, Test Vectors -- App. B, Reference C Code -- App. C, Third-Party Software -- Index....
View full text
Electronic eBook
9
by Grout, Ian A., Grout, Ian A.
Published 2006
Table of Contents: ...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Instances -- Automatic Extraction of Functional Dependencies -- Algorithms for Satisfiability Using...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... -- Ligation Independent Cloning for Plant Research -- Gene Functional Analysis Using Protoplast Transient...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- Ranking Function Synthesis for Bit-Vector Relations -- Fairness for Dynamic Control -- Tools II -- JTorX...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... and Quantum) Automatic Testing of Real-Time Graphics Systems -- Equivalence Checking of Quantum Protocols...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...
View full text
Electronic eBook
18
Table of Contents: ... Success Factors For Projects -- 5 Project Performance Prediction -- 6 Success Traits For a  Construction...
View full text
Electronic eBook
19
by Hamlet, Dick., Hamlet, Dick.
Published 2010
Table of Contents: ... -- Implications for Software Testing -- Unit vs. System Testing -- Functional vs. Non-functional Properties...
View full text
Electronic eBook
20
Table of Contents: ....Construction Cost Factors -- 13.Newbuild and Replacement Cost Functions -- 14.Jackup Rig Weight Algorithm -- 15...
View full text
Electronic eBook