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