Author(s)
Bibliographic Information
Outstanding dissertations in the computer sciences
Garland Pub. Co
Search this Book/Journal
Related Books： 1-20 of 28
- 1
- 2
- 1 / 2
-
1
- Axiomatic proof techniques for parallel programs
-
Susan Speer Owicki
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 12 libraries
-
2
- Control-theoretic formulation of operating systems resource management policies
-
Rajendra K. Jain
Garland 1980 Outstanding dissertations in the computer sciences
Available at 9 libraries
-
3
- A processor design for the efficient implementation of APL
-
Charles Russell Minter
Garland Pub. Co. 1980 Outstanding dissertations in the computer sciences
Available at 11 libraries
-
4
- The application of theorem proving to question-answering systems
-
Cordell Green
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 12 libraries
-
5
- The metanovel : writing stories by computer
-
James Richard Meehan
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 11 libraries
-
6
- Machine perception of three-dimensional solids
-
Lawrence G. Roberts
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 9 libraries
-
7
- Quicksort
-
Robert Sedgewick
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 12 libraries
-
8
- Queueing models for computer systems with general service time distributions
-
Annie W. Shum
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 8 libraries
-
9
- Automatic verification of programs with complex data structures
-
Norihisa Suzuki
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 12 libraries
-
10
- Sketchpad : a man-machine graphical communication system
-
Ivan Edward Sutherland
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 11 libraries
-
11
- A practical formal semantic definition and verification system for TYPED LISP
-
Robert Cartwright, Jr
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 11 libraries
-
12
- Queueing network models of multiprogramming
-
Jeffrey P. Buzen
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 9 libraries
-
13
- Studies in extensible programming languages
-
Ben Wegbreit
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 13 libraries
-
14
- The analysis of a practical and nearly optimal priority queue
-
Mark Robbin Brown
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 11 libraries
-
15
- Deterministic translation grammars
-
Benjamin Michael Brosgol
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 10 libraries
-
16
- The Hensel lemma in algebraic manipulation
-
David Y. Y. Yun
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 10 libraries
-
17
- Linear lists and priority queues as balanced binary trees
-
Clark A. Crane
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 10 libraries
-
18
- Understanding goal-based stories
-
Robert Wilensky
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 9 libraries
-
19
- Reasoning from incomplete knowledge in a procedural deduction system
-
Robert C. Moore
Garland Pub. 1980 Outstanding dissertations in the computer sciences
Available at 14 libraries
-
20
- Decidability questions for Petri nets
-
Michel Hack
Garland Pub. 1979 Outstanding dissertations in the computer sciences
Available at 9 libraries
- 1
- 2
- 1 / 2