1
by Oberle, Daniel., Oberle, Daniel.
Published 2006
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
2
Subjects: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... and Compiler Construction -- Code Compression -- Papers -- Functional Framework for Sound Synthesis...
View full text
Electronic eBook
4
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... Functionality and Behavior -- Service Levels, Security, and Trust.-Modeling Foundations -- Representing USDL...
View full text
Electronic eBook
6
Table of Contents: ... and Uninterpreted Functions -- Decision Procedures for Equality Logic and Uninterpreted Functions -- Linear...
View full text
Electronic eBook
7
by Ashlock, Daniel., Ashlock, Daniel.
Published 2006
Table of Contents: ... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...
View full text
Electronic eBook
8
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... the Vertebrate Host -- The Application of DNA Microarrays in the Functional Genomic Study of Schistosome/Host...
View full text
Electronic eBook
10
Published 2014
Subjects: ...Building Types and Functions. https://scigraph.springernature.com/ontologies/product-market-codes/K...
View full text
Electronic eBook
11
by Clark, Dan., Clark, Dan.
Published 2006
Table of Contents: ...Object-Oriented Programming and Design Fundamentals -- Overview of Object-Oriented Programming...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... Programming with Jolie -- From Artifacts to Activities -- On the Composability of Semantic Web Service...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Processes -- Decision Support -- Linking Quality Function Deployment and Conjoint Analysis for New Product...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... in Sulfate and Ammonium in US Precipitation: Results from the National Atmospheric Deposition Program...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... and Carbohydrates onto DNA Templates: Programming the  Combinatorial Pairing and Inter-ligand Distance -- Site...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ...Overview of Deep Brain Stimulation -- Functional Anatomy and Physiology of the Basal Ganglia: Motor...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ... Restrictions -- The Likelihood Ratio Test -- Part II: Dose-response Microarray Experiments -- Functional...
View full text
Electronic eBook