Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
interactive simulations » interactive visualization, interactive applications
simulations programming » simulation programming, stimulation programming, relations programming
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
interactive simulations » interactive visualization, interactive applications
simulations programming » simulation programming, stimulation programming, relations programming
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
1
Опубликовано 2007
Оглавление:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2014
Оглавление:
“... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2005
Оглавление:
“... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2008
Оглавление:
“... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2008
Оглавление:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2010
Оглавление:
“... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2006
Оглавление:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2005
Оглавление:
“...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2014
Оглавление:
“... Interaction Communication Requirements -- An Emotional Framework for a Real-Life Worker Simulation: Emotional...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2005
Оглавление:
“...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2008
Оглавление:
“... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2005
Оглавление:
“... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”Полный текст
Электронный ресурс
eКнига
13
Оглавление:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Полный текст
Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2006
Оглавление:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2010
Оглавление:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2007
Оглавление:
“... the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2007
Оглавление:
“... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2012
Оглавление:
“... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2010
Оглавление:
“... Language for Coordination in Mobile Ad Hoc Networks -- Compositional Construction of Real-Time Dataflow...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2008
Оглавление:
“... Evacuation Simulations -- A Multi-agent Environment for Serving Proof Explanations in the Semantic Web -- A...”Полный текст
Электронный ресурс
eКнига