Technical monograph

• 関連文献: 17件

Technical monograph

Oxford University Computing Laboratory, Programming Research Group

• WorldCat

関連文献: 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館