Rekommenderade teman
Rekommenderade teman
Menade du:
interactive simulations » interactive visualization, interactive applications
simulations programmes » simulation programme, simulations programming, simulation programs
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 simulations » interactive visualization, interactive applications
simulations programmes » simulation programme, simulations programming, simulation programs
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
Publicerad 2006
Innehållsförteckning:
“... Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2008
Innehållsförteckning:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2010
Innehållsförteckning:
“... in Investment Analysis -- Language Teaching across the Digital Divide -- EduSynergy: A Simulation-Based Change...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2012
Innehållsförteckning:
“... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2010
Innehållsförteckning:
“... The Construction of Professional Practices in the Workplace -- 3.4 How do People Learn at Work? -- 3.5 Transfer...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2005
Innehållsförteckning:
“... Platform -- A Linear Time Algorithm for Constructing Tree 4-Spanner in 2-Trees -- Task Scheduling Algorithm...”Hämta fulltext
Elektronisk
E-bok