Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programmed » processing programmed
simulation programming » simulation program, recreation programming, simulation gaming
integrated simulation » interactive simulation, integrated navigation
programmed case » programmes case, programes case, programmed course
case https » care https, use https, change https
programming programmed » processing programmed
simulation programming » simulation program, recreation programming, simulation gaming
integrated simulation » interactive simulation, integrated navigation
programmed case » programmes case, programes case, programmed course
case https » care https, use https, change 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:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”View full text
Electronic
eBook
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
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
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
Published 2006
Table of Contents:
“... -- MDA in Software Development -- Adopting Model Driven Software Development in Industry – A Case Study...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... for Marrying Static and Dynamic Program Verification -- A Case Study on Verification of a Cloud Hypervisor...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study -- Join Point...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...? -- Properties of Stereotypes from the Perspective of Their Role in Designs -- A Modelling and Simulation Based...”View full text
Electronic
eBook