Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program chain » program chair, program craig, program gain
chain program » main program, dan program, chain problem
program https » programs https, program has, program help
program chain » program chair, program craig, program gain
chain program » main program, dan program, chain problem
program https » programs https, program has, program help
1
Published 2013
Table of Contents:
“... and Food Markets, Policies and Programs—Walter J. Armbruster, President Emeritus, Farm Foundation...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
3
Table of Contents:
“... Hiding -- Inheritance -- The Singleton Pattern -- Chaining -- Design Patterns -- The Factory Pattern...”
View full text
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Problems for Probabilistic Büchi Automata -- Model-Checking ?-Regular Properties of Interval Markov Chains...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Processes May Crash and Recover -- Lock-Free Dynamically Resizable Arrays -- Distributed Spanner...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... the Accuracy of Ab Initio Gene Finding -- Genomic Signatures in De Bruijn Chains -- Fast Kernel Methods for SVM...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Chains -- Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach -- Annotation...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Abstract) -- Sparse Approximate Solutions to Semidefinite Programs -- On the Facets of Mixed Integer...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Teams Exploring Sparse Trees -- k-Sets of Convex Inclusion Chains of Planar Point Sets -- Toward...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Divisible Loads on Distributed Linear Daisy Chain Networks -- A Novel Learning Based Solution for Efficient...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“...: Environmentally Sustainable Processes -- Chapter 5: Finance -- Chapter 7: Supply Chain Management -- About...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... -- Programmed Metal Arrays by Means of Designable Biological Macromolecules -- Metal-Incorporated Hosts...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“...Introduction -- ThArtes Toolchain -- The hArtes Platform -- Audio Array Processing for Telepresence...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Planning Models for Supply Chain: An Application of Stochastic Mixed Integer Programming -- Logic Inference...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... -- 13. Socio-economic effects of the sugar cane-to-ethanol production chain in Costa Rica -- 14. Socio...”View full text
Electronic
eBook
20
Table of Contents:
“... with Information Theory -- Stochastic Stability and Drift Criteria for Markov Chains in Networked Control...”
View full text
View full text
Electronic
eBook