Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming programming » programming programmed, programming program
interactive simulation » interactive simulations, interactive visualization
simulation programming » simulation program, recreation programming, simulation gaming
based https » based http
programming programming » programming programmed, programming program
interactive simulation » interactive simulations, interactive visualization
simulation programming » simulation program, recreation programming, simulation gaming
based https » based http
1
Argitaratua 2010
Aurkibidea:
“... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2012
Aurkibidea:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2008
Aurkibidea:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2006
Aurkibidea:
“... Early Warning – the FAST Example -- Country Indicators for Foreign Policy Developing an Indicators-Based...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2010
Aurkibidea:
“... and Programming Environments -- Injecting Data into Agent-Based Simulation -- The MASON HouseholdsWorld Model...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2006
Aurkibidea:
“... and Socio-Technical Systems: An Interaction Based Approach -- New Directions -- The Multidisciplinary...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2014
Aurkibidea:
“... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2007
Aurkibidea:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2005
Aurkibidea:
“... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2008
Aurkibidea:
“...Performance Analysis of an Adaptive User Interface System Based on Mobile Agents -- Combining Human...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2005
Aurkibidea:
“...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2008
Aurkibidea:
“... Usability Evaluation during Model-Based Interactive System Development -- Integrating Groupware Notations...”Testu osoa
Baliabide elektronikoa
eBook
15
Aurkibidea:
“... -- Introduction -- Related Work on Social Interaction and Social Simulation -- Scenarios of Social Interaction...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2006
Aurkibidea:
“... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2010
Aurkibidea:
“...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...”Testu osoa
Baliabide elektronikoa
eBook
18
Gaiak:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
19
nork Popovici, Katalin., Popovici, Katalin., Rousseau, Frédéric., Jerraya, Ahmed A., Wolf, Marilyn.
Argitaratua 2010
Aurkibidea:
“...Embedded Systems Design: Hardware and Software Interaction -- Basics -- System Architecture Design...”Argitaratua 2010
Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2013
Aurkibidea:
“... with Tests and Coq Tools for while Programs.-Program Analysis and Verification Based on Kleene Algebra...”Testu osoa
Baliabide elektronikoa
eBook