Sciweavers

3404 search results - page 7 / 681

» C Programming Tutorial

90

FLAIRS
1998

73views Artificial Intelligence» more FLAIRS 1998»

Simulating Smooth Tutorial Dialogue with Pedagogical Value

15 years 7 months ago

Simulating Smooth Tutorial Dialogue with Pedagogical Value

Download www.aaai.org

Arthur C. Graesser, Stan Franklin, Peter M. Wiemer...

claim paper

Read More »

151

Voted

IFM
2004
Springer

87views Formal Methods» more IFM 2004»

A Tutorial Introduction to Designs in Unifying Theories of Programming

15 years 11 months ago

A Tutorial Introduction to Designs in Unifying Theories of Programming

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti

claim paper

Read More »

139

PSSE
2004
Springer

105views Software Engineering» more PSSE 2004»

A Tutorial Introduction to CSP in Unifying Theories of Programming

15 years 11 months ago

A Tutorial Introduction to CSP in Unifying Theories of Programming

Download www.cs.york.ac.uk

Ana Cavalcanti, Jim Woodcock

claim paper

Read More »

125

IPPS
2000
IEEE

114views Distributed And Parallel Com...» more IPPS 2000»

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification

15 years 10 months ago

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification

Download ipdps.cc.gatech.edu

Dominique Cansell, Dominique Méry, Christop...

claim paper

Read More »

165

SIGCSE
2006
ACM

132views Education» more SIGCSE 2006»

An interactive tutorial system for Java

15 years 11 months ago

An interactive tutorial system for Java

Download www-cs-faculty.stanford.edu

interactive teaching materials, primarily because of its integration with the web through the applet mechanism. The 1997 and 1998 ITiCSE conferences convened working groups to deve...

Eric Roberts

claim paper

Read More »

« Prev « First page 7 / 681 Last » Next »