Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming implementation » programme implementation, program implementation, programs implementation
interactive simulations » interactive visualization, interactive applications
simulations programming » simulation programming, stimulation programming, relations programming
programming programming » programming programmed, programming program
implementation https » instrumentation https, implementation _
programming implementation » programme implementation, program implementation, programs implementation
interactive simulations » interactive visualization, interactive applications
simulations programming » simulation programming, stimulation programming, relations programming
programming programming » programming programmed, programming program
implementation https » instrumentation https, implementation _
1
Publicat 2010
Taula de continguts:
“... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...”Obtenir text complet
Electrònic
eBook
2
Publicat 2008
Taula de continguts:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Obtenir text complet
Electrònic
eBook
3
Publicat 2007
Taula de continguts:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”Obtenir text complet
Electrònic
eBook
4
Publicat 2005
Taula de continguts:
“... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“... Implementations of a Molecular Modeling Application -- OpenMP Implementation of SPICE3 Circuit Simulator...”Obtenir text complet
Electrònic
eBook
6
Publicat 2005
Taula de continguts:
“...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”Obtenir text complet
Electrònic
eBook
7
Publicat 2013
Taula de continguts:
“... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...”Obtenir text complet
Electrònic
eBook
8
Taula de continguts:
“... -- Introduction -- Related Work on Social Interaction and Social Simulation -- Scenarios of Social Interaction...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”Obtenir text complet
Electrònic
eBook
10
Publicat 2006
Taula de continguts:
“... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”Obtenir text complet
Electrònic
eBook
11
Publicat 2005
Taula de continguts:
“... -- On the Complexity of Hopcroft’s State Minimization Algorithm -- Implementation of Catalytic P Systems -- Code...”Obtenir text complet
Electrònic
eBook
12
Publicat 2013
Taula de continguts:
“...Speech, Natural Language and Auditory Interfaces -- Controlling Interaction in Multilingual...”Obtenir text complet
Electrònic
eBook
13
Publicat 2005
Taula de continguts:
“...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...”Obtenir text complet
Electrònic
eBook
14
Publicat 2015
Taula de continguts:
“...: At the Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers...”Obtenir text complet
Electrònic
eBook
15
Publicat 2006
Taula de continguts:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Obtenir text complet
Electrònic
eBook
16
Publicat 2007
Taula de continguts:
“... -- Gyrokinetic Semi-lagrangian Parallel Simulation Using a Hybrid OpenMP/MPI Programming -- Automatic...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“... for the Ingredients of Discrete Element Model -- Interactive Visualization to Advance Earthquake Simulation...”Obtenir text complet
Electrònic
eBook
18
Publicat 2008
Taula de continguts:
“... with Relational Calculus of Object and Component Systems - rCOS -- Component-Interaction Automata Approach (CoIn...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”Obtenir text complet
Electrònic
eBook
20
Publicat 2007
Taula de continguts:
“... 2.0 Interactions -- W3 – Reverse Engineering -- 3rd International Workshop on Metamodels, Schemas...”Obtenir text complet
Electrònic
eBook