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