Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
programming abstraction » programming abstract, programming introduction
programmer programming » programming programming, programs programming, grammar programming
integrated simulation » interactive simulation, integrated navigation
simulation programmer » simulation programme, simulation programming, simulation program
abstraction https » instruction https, arbitration https, extraction https
programming abstraction » programming abstract, programming introduction
programmer programming » programming programming, programs programming, grammar programming
integrated simulation » interactive simulation, integrated navigation
simulation programmer » simulation programme, simulation programming, simulation program
abstraction https » instruction https, arbitration https, extraction https
1
Pubblicazione 2007
Sommario:
“...: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads...”Testo
Elettronico
eBook
2
Pubblicazione 2008
Sommario:
“... for Improving the Learning of Computer Programming -- Technologies -- Modeling and Simulation of Continuous Time...”Testo
Elettronico
eBook
3
Pubblicazione 2008
Sommario:
“... -- The Perplexus Programming Framework: Combining Bio-inspiration and Agent-Oriented Programming for the Simulation...”Testo
Elettronico
eBook
4
Pubblicazione 2006
Sommario:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Testo
Elettronico
eBook
5
Pubblicazione 2005
Sommario:
“...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...”Testo
Elettronico
eBook
6
Pubblicazione 2010
Sommario:
“...Research Papers -- Business Process Model Abstraction Based on Behavioral Profiles -- Root-Cause...”Testo
Elettronico
eBook
7
Pubblicazione 2012
Sommario:
“... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...”Testo
Elettronico
eBook
8
Pubblicazione 2005
Sommario:
“...-models on Test: UML vs. OPM in the SODA Case Study -- Programming an Agent as Abstract State Machine...”Testo
Elettronico
eBook