Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive simulations » interactive visualization, interactive applications
simulations programmes » simulation programme, simulations programming, simulation programs
problems constructive » problem constructive, problems obstructive, problems construction
programmes problems » programs problems, programming problems, programmer's problem
constructive https » construction https, constructive type, constructive help
interactive simulations » interactive visualization, interactive applications
simulations programmes » simulation programme, simulations programming, simulation programs
problems constructive » problem constructive, problems obstructive, problems construction
programmes problems » programs problems, programming problems, programmer's problem
constructive https » construction https, constructive type, constructive help
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 2012
Table of Contents:
“... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...”View full text
Electronic
eBook