Rezultati - interaction simulation program program ((constructing https) OR (consulting https))

Poišči alternative:
interaction simulation » interactive simulation , interactive simulations , international simulation
simulation program » education program
constructing https » construction https , constructing better , instruction https
consulting https » consulting http , computing https , counseling https
program program » programs program , programming program

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

Izdano 2014

Kazalo: “... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”
Polni tekst

Elektronski eKnjiga

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Izdano 2007

Kazalo: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
Polni tekst

Elektronski eKnjiga

Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France...

Izdano 2005

Kazalo: “... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”
Polni tekst

Elektronski eKnjiga

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene...

Izdano 2008

Kazalo: “... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”
Polni tekst

Elektronski eKnjiga

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Izdano 2008

Kazalo: “... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...”
Polni tekst

Elektronski eKnjiga

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference...

Izdano 2010

Kazalo: “... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”
Polni tekst

Elektronski eKnjiga

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Izdano 2006

Kazalo: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
Polni tekst

Elektronski eKnjiga

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

Izdano 2014

Kazalo: “... Interaction Communication Requirements -- An Emotional Framework for a Real-Life Worker Simulation: Emotional...”
Polni tekst

Elektronski eKnjiga

Agent-Based Simulation: From Modeling Methodologies to Real-World Applications Post Proceedings...

Izdano 2005

Kazalo: “...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...”
Polni tekst

Elektronski eKnjiga

Software Process Modeling

Izdano 2005

Kazalo: “...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
Polni tekst

Elektronski eKnjiga

HCI and Usability for Education and Work 4th Symposium of the Workgroup Human-Computer Interaction...

Izdano 2008

Kazalo: “... -- Construction and Evaluation of a User Experience Questionnaire -- Social Software and Collaborative Knowledge...”
Polni tekst

Elektronski eKnjiga

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Izdano 2005

Kazalo: “... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”
Polni tekst

Elektronski eKnjiga

Principles of the Spin Model Checker

od Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Izdano 2008

Kazalo: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Polni tekst

Elektronski eKnjiga

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers /

Izdano 2007

Kazalo: “... the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues...”
Polni tekst

Elektronski eKnjiga

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Izdano 2007

Kazalo: “... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”
Polni tekst

Elektronski eKnjiga

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Izdano 2012

Kazalo: “... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...”
Polni tekst

Elektronski eKnjiga

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Izdano 2006

Kazalo: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Polni tekst

Elektronski eKnjiga

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Izdano 2010

Kazalo: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Polni tekst

Elektronski eKnjiga

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /

Izdano 2008

Kazalo: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
Polni tekst

Elektronski eKnjiga

1
2
3
4
5
6
Naslednji »
[6]

Zoži iskanje