-
1
-
-
84976855254
-
-
Turing's World, Kinko's Academic Courseware Exchange, Santa Barbara, CA
-
J. Barwise and J. Etchemendy, Turing's World, Kinko's Academic Courseware Exchange, Santa Barbara, CA, 1986.
-
(1986)
-
-
Barwise, J.1
Etchemendy, J.2
-
2
-
-
0028386083
-
The KLYDE Workbench for Studying Experimental Algorithm Analysis, Twenty-fifth SIGCSE Technical Symposium on Computer Science Education, p
-
83-87
-
D. Berque, J. Bogda, B. Fisher, T. Harrison, and N. Rahn, The KLYDE Workbench for Studying Experimental Algorithm Analysis, Twenty-fifth SIGCSE Technical Symposium on Computer Science Education, p. 83-87, 1994.
-
(1994)
-
-
Berque, D.1
Bogda, J.2
Fisher, B.3
Harrison, T.4
Rahn, N.5
-
3
-
-
0026262987
-
ZEUS: A System for algorithm animation and multi-view editing
-
p. 4-9, Kobe, Japan, Oct
-
M. Brown, ZEUS: A System for algorithm animation and multi-view editing. Proceedings of the IEEE 1991 Workshop on Visual Languages, p. 4-9, Kobe, Japan, Oct. 1991.
-
(1991)
Proceedings of the IEEE 1991 Workshop on Visual Languages
-
-
Brown, M.1
-
4
-
-
0028384439
-
LLparse and LRparse: Visual and Interactive Tools for Parsing, Twenty-fifth SIGCSE Technical Symposium on Computer Science Education, p
-
208-212
-
S. Blythe, M. James, S. Rodger, LLparse and LRparse: Visual and Interactive Tools for Parsing, Twenty-fifth SIGCSE Technical Symposium on Computer Science Education, p. 208-212, 1994.
-
(1994)
-
-
Blythe, S.1
James, M.2
Rodger, S.3
-
5
-
-
84976698800
-
-
eds. DIMACS Series in Discrete Mathematics and Theoretical Computer Science: Computational Support for Discrete Mathematics, Vol. 15, American Mathematical Society
-
N. Dean, G. E. Shannon, eds. DIMACS Series in Discrete Mathematics and Theoretical Computer Science: Computational Support for Discrete Mathematics, Vol. 15, American Mathematical Society, 1994.
-
(1994)
-
-
Dean, N.1
Shannon, G.E.2
-
7
-
-
84976711479
-
Hypercard Automata Simulation: Finite State, Pushdown and Turing Machines, SIGCSE Bulletin, 24, 2, p
-
55-58, June
-
D. Hannay, Hypercard Automata Simulation: Finite State, Pushdown and Turing Machines, SIGCSE Bulletin, 24, 2, p. 55-58, June 1992.
-
(1992)
-
-
Hannay, D.1
-
8
-
-
0004079280
-
An Introduction to Formal Languages and Automata, D
-
C. Heath and Company
-
P. Linz, An Introduction to Formal Languages and Automata, D. C. Heath and Company, 1990.
-
(1990)
-
-
Linz, P.1
-
9
-
-
84976757441
-
FLAP: A Tool for Drawing and Simulating Automata, ED-MEDIA 93, World Conference on Educational Multimedia and Hypermedia, p
-
310-317, June
-
M. LoSacco, and S. H. Rodger, FLAP: A Tool for Drawing and Simulating Automata, ED-MEDIA 93, World Conference on Educational Multimedia and Hypermedia, p. 310-317, June 1993.
-
(1993)
-
-
LoSacco, M.1
Rodger, S.H.2
-
10
-
-
85030647745
-
GAIGS User Manual, Ver
-
3.0. Lawrence Computing Center Publications, Appleton, WI
-
T. Naps, C. Hundhausen, and B. Swander, GAIGS User Manual, Ver. 3.0. Lawrence Computing Center Publications, Appleton, WI, 1993.
-
(1993)
-
-
Naps, T.1
Hundhausen, C.2
Swander, B.3
-
13
-
-
0025480728
-
-
Tango: A Framework and System for Algorithm Animation, IEEE Computer, p.27-39, Sept
-
J. Stasko, Tango: A Framework and System for Algorithm Animation, IEEE Computer, p.27-39, Sept. 1990.
-
(1990)
-
-
Stasko, J.1
-
14
-
-
84976774229
-
-
DIMACS Workshop on Computational Support for Discrete Mathematics
-
K. Sutner, Implementing Finite State Machines, DIMACS Workshop on Computational Support for Discrete Mathematics, 1992.
-
(1992)
Implementing Finite State Machines
-
-
Sutner, K.1
|