著者
書誌事項
Technical monograph
Oxford University Computing Laboratory, Programming Research Group
この図書・雑誌をさがす
関連文献： 17件中 1-17を表示
-
1
- Efficient intersection tests for objects defined constructively
-
by Stephen Cameron
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-85
所蔵館1館
-
2
- Collision detection by four-dimensional intersection testing
-
by Stephen Cameron
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-86
所蔵館1館
-
3
- A Monte Carlo method for implementing model-based diagnostic programs
-
by Bryan S. Todd
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-83
所蔵館1館
-
4
- Four pieces on error, truth and reality
-
by Joseph A. Goguen
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-89
所蔵館1館
-
5
- Investigations into the complexity of some propositional calculi
-
by Marcello D'Agostino
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-88
所蔵館1館
-
6
- Data refinement in a categorical setting
-
by He Jifeng, C.A.R. Hoare
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-90
所蔵館1館
-
7
- Correctness and communication in real-time systems
-
by Steve Schneider
Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-84
所蔵館1館
-
8
- Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations
-
by Joseph A. Goguen, José Meseguer
Oxford University Computing Laboratory, Programming Research Group 1989 Technical monograph PRG-80
所蔵館1館
-
9
- A functional database
-
by Phil Trinder
Oxford University Computing Laboratory, Programming Research Group 1989 Technical monograph PRG-82
所蔵館1館
-
10
- A model for communicating sequential processes
-
by C.A.R. Hoare
Oxford University Computing Laboratory, Programming Research Group 1981 Technical monograph PRG-22
所蔵館1館
-
11
- A guide to communicating sequential processes
-
by Shan S. Kuo, Michael H. Linck, Sohrab Saadat
Oxford University Computing Laboratory, Programming Research Group 1978.8 Technical monograph PRG-14
所蔵館1館
-
12
- Data types as lattices
-
by Dana Scott
Oxford University Computing Laboratory, Programming Research Group 1976 Technical monograph PRG-5
所蔵館1館
-
13
- Continuations : a mathematical semantics for handling full jumps
-
by Christopher Strachey and Christopher P. Wadsworth
Oxford University Computing Laboratory, Programming Research Group 1974 Technical monograph PRG-11
所蔵館1館
-
14
- The mathematical semantics of Algol 60
-
by Peter Mosses
Oxford University Computing Laboratory, Programming Research Group 1974 Technical monograph PRG-12
所蔵館1館
-
15
- The varieties of programming language
-
by Christopher Strachey
Oxford University Computing Laboratory, Programming Research Group 1973 Technical monograph PRG-10
所蔵館1館
-
16
- OS6, an operating system for a small computer
-
by Joseph Stoy and Christopher Strachey
Oxford University Computing Laboratory, Programming Research Group 1972 Technical monograph PRG-8
所蔵館1館
-
17
- The lattice of flow diagrams
-
by Dana Scott
Oxford University Computing Laboratory (Programming Research Group) 1970 Technical monograph PRG-3
所蔵館2館
