בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
integrated simulation » interactive simulation, integrated navigation
simulation program » education program
program programmed » program program, programming programmed, programmes programme
programmed case » programmes case, programes case, programmed course
case https » care https, use https, change https
integrated simulation » interactive simulation, integrated navigation
simulation program » education program
program programmed » program program, programming programmed, programmes programme
programmed case » programmes case, programes case, programmed course
case https » care https, use https, change https
1
יצא לאור 2010
תוכן הענינים:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2006
תוכן הענינים:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2007
תוכן הענינים:
“... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2007
תוכן הענינים:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd...
יצא לאור 2013
תוכן הענינים:
“... Variability Effects from Process to Architectural Level -- Non-invasive Power Simulation at System-Level...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
יצא לאור 2013
תוכן הענינים:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th...
יצא לאור 2005
נושאים:
“...Logic Design. https://scigraph.springernature.com/ontologies/product-market-codes/I12050...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2005
תוכן הענינים:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th...
יצא לאור 2006
נושאים:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
יצא לאור 2007
תוכן הענינים:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2006
תוכן הענינים:
“... -- A Technique to Represent Product Line Core Assets in MDA/PIM for Automation -- Modeling Safety Case...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2011
תוכן הענינים:
“... Literate Programming -- A New Method for Inner Estimation of Solution Sets to Interval Linear Systems...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
תוכן הענינים:
“.... Unified Timing Model -- 8. MP-SOC Simulation Framework -- 9. Case Study -- 10. Summary -- Appendices. A...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2014
תוכן הענינים:
“... for Marrying Static and Dynamic Program Verification -- A Case Study on Verification of a Cloud Hypervisor...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2006
תוכן הענינים:
“... -- MDA in Software Development -- Adopting Model Driven Software Development in Industry – A Case Study...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2013
תוכן הענינים:
“...On The Move Academy -- Industry Case Studies Program -- Adaptive Case Management and other non...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2008
תוכן הענינים:
“... Transmitter: A Fast Design Cycle Using OFDM Framework in Bluespec -- SoC -- A Real-Time Programming Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2006
תוכן הענינים:
“... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2008
תוכן הענינים:
“...Scientific and Technological Cooperation in the Agri-Food Sector: The Case of the CYTED Program...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים:
“... Applications -- A Case for Visualization-Integrated System-Level Design Space Exploration -- Mixed Virtual/Real...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני



