Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
interactive simulation » interactive simulations, interactive visualization
simulation programmes » simulation programme, simulation programs, simulation programming
programmes problems » programs problems, programming problems, programmer's problem
problems constructs » problems constructions, problems construction, problem construction
constructs https » construction https, constructs loops, constructs arti
interactive simulation » interactive simulations, interactive visualization
simulation programmes » simulation programme, simulation programs, simulation programming
programmes problems » programs problems, programming problems, programmer's problem
problems constructs » problems constructions, problems construction, problem construction
constructs https » construction https, constructs loops, constructs arti
1
Publié 2006
Table des matières:
“... Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof...”Accéder au texte intégral
Électronique
eBook
2
Publié 2008
Table des matières:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Accéder au texte intégral
Électronique
eBook
3
Publié 2012
Table des matières:
“... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...”Accéder au texte intégral
Électronique
eBook