Arama Sonuçları - interactive simulations programmes programme constructing https

Şunu mu demek istediniz:
interactive simulations » interactive visualization , interactive applications
simulations programmes » simulation programme , simulations programming , simulation programs
programme constructing » program constructing , program construction , programme controlling
programmes programme » programming programmed , programmer programming , programmes progress
constructing https » construction https , consulting https , constructing better

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof...”
Tam Metin Erişim

Elektronik Ekitap

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”
Tam Metin Erişim

Elektronik Ekitap

Technology Enhanced Learning: Quality of Teaching and Educational Reform 1st International Conference, TECH-EDUCATION 2010, Athens, Greece, May 19-21, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... in Investment Analysis -- Language Teaching across the Digital Divide -- EduSynergy: A Simulation-Based Change...”
Tam Metin Erişim

Elektronik Ekitap

21st Century Learning for 21st Century Skills 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...”
Tam Metin Erişim

Elektronik Ekitap

Learning Through Practice Models, Traditions, Orientations and Approaches /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... The Construction of Professional Practices in the Workplace -- 3.4 How do People Learn at Work? -- 3.5 Transfer...”
Tam Metin Erişim

Elektronik Ekitap

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Platform -- A Linear Time Algorithm for Constructing Tree 4-Spanner in 2-Trees -- Task Scheduling Algorithm...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt