Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
programming programming » programming programmed, programming program
simulation programming » simulation program, recreation programming, simulation gaming
integrated simulation » interactive simulation, integrated navigation
programming case » programming based, programming chapter
case https » care https, use https, change https
programming programming » programming programmed, programming program
simulation programming » simulation program, recreation programming, simulation gaming
integrated simulation » interactive simulation, integrated navigation
programming case » programming based, programming chapter
case https » care https, use https, change https
1
Vydáno 2010
Obsah:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2006
Obsah:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2007
Obsah:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Získat plný text
Elektronický zdroj
E-kniha
4
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd...
Vydáno 2013
Obsah:
“... Variability Effects from Process to Architectural Level -- Non-invasive Power Simulation at System-Level...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2007
Obsah:
“... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...”Získat plný text
Elektronický zdroj
E-kniha
6
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Vydáno 2013
Obsah:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Získat plný text
Elektronický zdroj
E-kniha
7
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th...
Vydáno 2005
Témata:
“...Logic Design. https://scigraph.springernature.com/ontologies/product-market-codes/I12050...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2005
Obsah:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2011
Obsah:
“... Literate Programming -- A New Method for Inner Estimation of Solution Sets to Interval Linear Systems...”Získat plný text
Elektronický zdroj
E-kniha
10
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Vydáno 2007
Obsah:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”Získat plný text
Elektronický zdroj
E-kniha
11
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th...
Vydáno 2006
Témata:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2006
Obsah:
“... -- A Technique to Represent Product Line Core Assets in MDA/PIM for Automation -- Modeling Safety Case...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2006
Obsah:
“... -- MDA in Software Development -- Adopting Model Driven Software Development in Industry – A Case Study...”Získat plný text
Elektronický zdroj
E-kniha
14
Obsah:
“.... Unified Timing Model -- 8. MP-SOC Simulation Framework -- 9. Case Study -- 10. Summary -- Appendices. A...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2014
Obsah:
“... for Marrying Static and Dynamic Program Verification -- A Case Study on Verification of a Cloud Hypervisor...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2006
Obsah:
“... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2008
Obsah:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2008
Obsah:
“... for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2007
Obsah:
“... Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study -- Join Point...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2005
Obsah:
“...? -- Properties of Stereotypes from the Perspective of Their Role in Designs -- A Modelling and Simulation Based...”Získat plný text
Elektronický zdroj
E-kniha