Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integrated simulation » interactive simulation, integrated navigation
simulation program » education program
program programmed » program program, programming programmed, programmes programme
case https » care https, use https
integrated simulation » interactive simulation, integrated navigation
simulation program » education program
program programmed » program program, programming programmed, programmes programme
case https » care https, use https
1
Published 2010
Table of Contents:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...”View full text
Electronic
eBook
3
Published 2011
Table of Contents:
“...: Integrating Stochastic Programs and Policy Simulators -- Growth-Security Models and Stochastic Dominance...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”View full text
Electronic
eBook
9
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd...
Published 2013
Table of Contents:
“... Variability Effects from Process to Architectural Level -- Non-invasive Power Simulation at System-Level...”View full text
Electronic
eBook
10
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
11
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th...
Published 2005
Subjects:
“...Logic Design. https://scigraph.springernature.com/ontologies/product-market-codes/I12050...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”View full text
Electronic
eBook
13
Table of Contents:
“.... Unified Timing Model -- 8. MP-SOC Simulation Framework -- 9. Case Study -- 10. Summary -- Appendices. A...”
View full text
View full text
Electronic
eBook
14
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th...
Published 2006
Subjects:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”View full text
Electronic
eBook
15
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Published 2007
Table of Contents:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... -- A Technique to Represent Product Line Core Assets in MDA/PIM for Automation -- Modeling Safety Case...”View full text
Electronic
eBook
17
Published 2011
Table of Contents:
“... Literate Programming -- A New Method for Inner Estimation of Solution Sets to Interval Linear Systems...”View full text
Electronic
eBook
18
Table of Contents:
“...Fundamentals -- The Modelling and Simulation Process -- DEDS Modelling and Simulation -- DEDS...”
View full text
View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Scientific and Technological Cooperation in the Agri-Food Sector: The Case of the CYTED Program...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Resistance to Change -- Process Models -- The Incremental Commitment Model Process Patterns for Rapid...”View full text
Electronic
eBook