Sciweavers

5154 search results - page 36 / 1031
» Modelling online education
Sort
View
CSEDU
2010
109views Education» more  CSEDU 2010»
13 years 6 months ago
Teaching Programming with Formal Models in Greenfoot
Moritz Balz, Michael Goedicke
CORR
2009
Springer
84views Education» more  CORR 2009»
13 years 6 months ago
A User Model for Information Erasure
Filippo Del Tedesco, David Sands
CORR
2009
Springer
55views Education» more  CORR 2009»
13 years 6 months ago
Security Theorems via Model Theory
Joshua D. Guttman
CORR
2009
Springer
63views Education» more  CORR 2009»
13 years 6 months ago
An Intuitive Automated Modelling Interface for Systems Biology
Ozan Kahramanogullari, Luca Cardelli, Emmanuelle C...