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