Výsledky vyhledávání - interactive simulation program program case https

1

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR...

Vydáno 2010

Obsah: “... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...”
Získat plný text

Elektronický zdroj E-kniha

2

Programming for Peace Computer-Aided Methods for International Conflict Resolution and Prevention /

Vydáno 2006

Obsah: “... Cases and Indices of Conflict Management to Predict Conflict Resolution -- II -- II -- Events, Patterns...”
Získat plný text

Elektronický zdroj E-kniha

3

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Vydáno 2014

Obsah: “... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”
Získat plný text

Elektronický zdroj E-kniha

4

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies /

Autor Popovici, Katalin., Popovici, Katalin., Rousseau, Frédéric., Jerraya, Ahmed A., Wolf, Marilyn.
Vydáno 2010

Obsah: “...Embedded Systems Design: Hardware and Software Interaction -- Basics -- System Architecture Design...”
Získat plný text

Elektronický zdroj E-kniha

5

Engineering Interactive Systems EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers /

Vydáno 2008

Obsah: “... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...”
Získat plný text

Elektronický zdroj E-kniha

6

Business Statistics for Competitive Advantage with Excel 2013 Basics, Model Building, Simulation and Cases /

Autor Fraser, Cynthia., Fraser, Cynthia.
Vydáno 2013

Obsah: “... -- Hypothesis Tests, Confidence Intervals, and Simulation to Infer Population Characteristics and Differences...”
Získat plný text

Elektronický zdroj E-kniha

7

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /

Vydáno 2013

Obsah: “... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...”
Získat plný text

Elektronický zdroj E-kniha

8

On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS...

Vydáno 2013

Obsah: “...On The Move Academy -- Industry Case Studies Program -- Adaptive Case Management and other non...”
Získat plný text

Elektronický zdroj E-kniha

9

On the Move to Meaningful Internet Systems: OTM 2012 Workshops Confederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM...

Vydáno 2012

Témata: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Získat plný text

Elektronický zdroj E-kniha

10

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

Vydáno 2013

Obsah: “...Speech, Natural Language and Auditory Interfaces -- Controlling Interaction in Multilingual...”
Získat plný text

Elektronický zdroj E-kniha

11

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Vydáno 2015

Obsah: “... -- Accepted Papers -- Scalable incremental test-case generation from large behavior models -- Test Case...”
Získat plný text

Elektronický zdroj E-kniha

12

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

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

13

Intelligent Interactive Multimedia Systems and Services

Vydáno 2010

Obsah: “... Student’s Knowledge on Programming Using Fuzzy Techniques -- Camera Angle Invariant Shape Recognition...”
Získat plný text

Elektronický zdroj E-kniha

14

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Vydáno 2008

Obsah: “... for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams...”
Získat plný text

Elektronický zdroj E-kniha

15

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /

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

16

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Vydáno 2010

Obsah: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
Získat plný text

Elektronický zdroj E-kniha

17

The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems /

Vydáno 2008

Obsah: “... -- Anticipation in Coordination -- Endowing Artificial Systems with Anticipatory Capabilities: Success Cases....”
Získat plný text

Elektronický zdroj E-kniha

18

Hybrid Learning and Education First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings /

Vydáno 2008

Obsah: “... for Improving the Learning of Computer Programming -- Technologies -- Modeling and Simulation of Continuous Time...”
Získat plný text

Elektronický zdroj E-kniha

19

Business Statistics for Competitive Advantage with Excel 2010 Basics, Model Building, and Cases /

Autor Fraser, Cynthia., Fraser, Cynthia.
Vydáno 2012

Obsah: “... Tests, Confidence Intervals and Simulation to Infer Population Characteristics and Differences...”
Získat plný text

Elektronický zdroj E-kniha

20

Principles of the Spin Model Checker

Autor Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Vydáno 2008

Obsah: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání