3404 search results - page 3 / 681 » C Programming Tutorial |
ICCS
2005
Springer
14 years 4 months ago
2005
Springer
The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...
AIED
2007
Springer
14 years 5 months ago
2007
Springer
Tutorial dialogue has been the subject of increasing attention in recent years, and it has become evident that empirical studies of humanhuman tutorial dialogue can contribute impo...
ICLP
2003
Springer
14 years 4 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
FMCO
2006
Springer
14 years 2 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
ITS
2010
Springer
14 years 3 months ago
2010
Springer
Identifying effective tutorial dialogue strategies is a key issue for intelligent tutoring systems research. Human-human tutoring offers a valuable model for identifying effective ...