Sciweavers

CSEDU
2009
128views Education» more  CSEDU 2009»
15 years 5 months ago
Formal Methods: for All or for Chosen?
Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L....
118
Voted
CSEDU
2009
144views Education» more  CSEDU 2009»
15 years 5 months ago
Teaching Large Student Cohorts in Second Life - Scalability Issues and Student Satisfaction in a Virtual World
Marc Conrad, David Pike, Paul Sant, Catherine Nwaf...
CSEDU
2009
137views Education» more  CSEDU 2009»
15 years 5 months ago
Proof Granularity as an Empirical Problem?
Marvin Schiller, Christoph Benzmüller
CSEDU
2009
131views Education» more  CSEDU 2009»
15 years 5 months ago
Constructing Strategies for Programming
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
CSEDU
2009
153views Education» more  CSEDU 2009»
15 years 5 months ago
Design of a Synchronous Collaborative Learning Environment
Simon Schwantzer, Dirk Henrici, Paul Müller