1
Table of Contents: ... -- Spatial Structures -- Sampling of Soils and Sediments -- Sampling of Liquids and Fluids -- Indoor Air...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Programming -- Crossover, Sampling, Bloat and the Harmful Effects of Size Limits -- The Performance of a...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... of Object Graphs in Program Verification -- Subtyping, Declaratively -- Compositional Action System...
View full text
Electronic eBook
4
Table of Contents: ...-Reduce -- 9 HTTP -- 10 Screen Scraping -- 11 Web Applications -- 12 E-mail Composition and Decoding -- 14...
View full text
Electronic eBook
5
Published 2011
Table of Contents: ...-in-a-Billion Statistical Tails via Importance Sampling and Genetic Programming -- Genetic Programming...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...
View full text
Electronic eBook
7
... specifically compared the coating of capillary column, sample derivatization, and temperature programming of GC...
View full text
Article
8
Published 2007
Table of Contents: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... as an Aspect-Oriented Approach to Requirements Modelling -- Workflow Design Using Fragment Composition...
View full text
Electronic eBook
10
Table of Contents: ... -- Introducing the sample application. - Running the sample application -- Handy Development Tools -- Summary...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting -- Computing Equilibria in Two...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ...Invited Talk -- Formal Foundations for Aspects -- Contributed Papers -- Sampled Universality...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... -- On Timed Simulation Relations for Hybrid Systems and Compositionality -- Integrating Discrete...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... into Account -- Optimal Sample Proportion for a Two-Treatment Clinical Trial in the Presence of Surrogate...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... for Composite Event Detection in Mobile WSNs -- Reliable and Fast Detection of Gradual Events in Wireless Sensor...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Tool to Find Errors in Task-Based Parallel Programs -- Automated Tuning in Parallel Sorting on Multi...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... by In-Trees -- On Listing, Sampling, and Counting the Chordal Graphs with Edge Constraints -- Probe Ptolemaic...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook