Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
interactive simulation » interactive simulations, interactive visualization
simulation programming » simulation program, recreation programming, simulation gaming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
interactive simulation » interactive simulations, interactive visualization
simulation programming » simulation program, recreation programming, simulation gaming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
1
Publicado em 2007
Sumário:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2014
Sumário:
“... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2005
Sumário:
“... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2008
Sumário:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2008
Sumário:
“... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2010
Sumário:
“... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2006
Sumário:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2014
Sumário:
“... Interaction Communication Requirements -- An Emotional Framework for a Real-Life Worker Simulation: Emotional...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2005
Sumário:
“...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2005
Sumário:
“...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2008
Sumário:
“... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2005
Sumário:
“... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Sumário:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2007
Sumário:
“... the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2007
Sumário:
“... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2012
Sumário:
“... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2006
Sumário:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2010
Sumário:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2008
Sumário:
“... -- Construction and Evaluation of a User Experience Questionnaire -- Social Software and Collaborative Knowledge...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2010
Sumário:
“... Language for Coordination in Mobile Ad Hoc Networks -- Compositional Construction of Real-Time Dataflow...”Obter o texto integral
Recurso Eletrônico
livro eletrônico