Search Results - interactive simulation programming programming cases https

Search alternatives:
programming programming » programming programmed , programming program
interactive simulation » interactive simulations , interactive visualization
simulation programming » simulation program , recreation programming , simulation gaming
programming cases » programming case , programming based , programming courses
cases https » atlases https , spaces https , nurses https

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

Published 2010

Table of Contents: “... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Cases and Indices of Conflict Management to Predict Conflict Resolution -- II -- II -- Events, Patterns...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”
View full text

Electronic eBook

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

by Popovici, Katalin., Popovici, Katalin., Rousseau, Frédéric., Jerraya, Ahmed A., Wolf, Marilyn.
Published 2010

Table of Contents: “...Embedded Systems Design: Hardware and Software Interaction -- Basics -- System Architecture Design...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...”
View full text

Electronic eBook

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

by Fraser, Cynthia., Fraser, Cynthia.
Published 2013

Table of Contents: “... -- Hypothesis Tests, Confidence Intervals, and Simulation to Infer Population Characteristics and Differences...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... -- MDA in Software Development -- Adopting Model Driven Software Development in Industry – A Case Study...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “...Speech, Natural Language and Auditory Interfaces -- Controlling Interaction in Multilingual...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “... -- Accepted Papers -- Scalable incremental test-case generation from large behavior models -- Test Case...”
View full text

Electronic eBook

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

by Fraser, Cynthia., Fraser, Cynthia.
Published 2012

Table of Contents: “... Tests, Confidence Intervals and Simulation to Infer Population Characteristics and Differences...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
View full text

Electronic eBook

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

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

Principles of the Spin Model Checker

by Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Published 2008

Table of Contents: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... -- Anticipation in Coordination -- Endowing Artificial Systems with Anticipatory Capabilities: Success Cases....”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... for Improving the Learning of Computer Programming -- Technologies -- Modeling and Simulation of Continuous Time...”
View full text

Electronic eBook