Sciweavers

CSEDU
2009
128views Education» more  CSEDU 2009»
15 years 6 months ago
Formal Methods: for All or for Chosen?
Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L....
101
Voted
CSEDU
2009
137views Education» more  CSEDU 2009»
15 years 6 months ago
Proof Granularity as an Empirical Problem?
Marvin Schiller, Christoph Benzmüller
107
Voted
CSEDU
2009
143views Education» more  CSEDU 2009»
15 years 6 months ago
New Frontiers in Computer Supported Education
Itiel Dror
85
Voted
CSEDU
2009
131views Education» more  CSEDU 2009»
15 years 6 months ago
Constructing Strategies for Programming
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
111
Voted
CSEDU
2009
153views Education» more  CSEDU 2009»
15 years 6 months ago
Design of a Synchronous Collaborative Learning Environment
Simon Schwantzer, Dirk Henrici, Paul Müller