Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive simulation » interactive simulations, interactive visualization
simulation programmes » simulation programme, simulation programs, simulation programming
programmes programme » programming programmed, programmer programming, programmes progress
programme constructs » programming constructs, programme contract, programme abstracts
constructs https » construction https, constructs loops, constructs arti
interactive simulation » interactive simulations, interactive visualization
simulation programmes » simulation programme, simulation programs, simulation programming
programmes programme » programming programmed, programmer programming, programmes progress
programme constructs » programming constructs, programme contract, programme abstracts
constructs https » construction https, constructs loops, constructs arti
1
Published 2006
Table of Contents:
“... Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... in Investment Analysis -- Language Teaching across the Digital Divide -- EduSynergy: A Simulation-Based Change...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... The Construction of Professional Practices in the Workplace -- 3.4 How do People Learn at Work? -- 3.5 Transfer...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Platform -- A Linear Time Algorithm for Constructing Tree 4-Spanner in 2-Trees -- Task Scheduling Algorithm...”View full text
Electronic
eBook