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