年 〜
年

検索結果 23 件

Efficient intersection tests for objects defined constructively

Efficient intersection tests for objects defined constructively
紙図書
by Stephen CameronOxford University Computing Laboratory, Programming Research Group1990
全国の図書館

Data refinement in a categorical setting

Data refinement in a categorical setting
紙図書
by He Jifeng, C.A.R. HoareOxford University Computing Laboratory, Programming Research Group1990
全国の図書館

Correctness and communication in real-time systems

Correctness and communication in real-time systems
紙図書
by Steve SchneiderOxford University Computing Laboratory, Programming Research Group1990
全国の図書館

Collision detection by four-dimensional intersection testing

Collision detection by four-dimensional intersection testing
紙図書
by Stephen CameronOxford University Computing Laboratory, Programming Research Group1990
全国の図書館

Four pieces on error, truth and reality

Four pieces on error, truth and reality
紙図書
by Joseph A. GoguenOxford University Computing Laboratory, Programming Research Group1990
全国の図書館

Investigations into the complexity of some propositional calculi

Investigations into the complexity of some propositional calculi
紙図書
by Marcello D'AgostinoOxford University Computing Laboratory, Programming Research Group1990
全国の図書館

A Monte Carlo method for implementing model-based diagnostic programs

A Monte Carlo method for implementing model-based diagnostic programs
紙図書
by Bryan S. ToddOxford University Computing Laboratory, Programming Research Group1990
全国の図書館

Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations

Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations
紙図書
by Joseph A. Goguen, José MeseguerOxford University Computing Laboratory, Programming Research Group1989
全国の図書館

A functional database

A functional database
紙図書
by Phil TrinderOxford University Computing Laboratory, Programming Research Group1989
全国の図書館

A model for communicating sequential processes

A model for communicating sequential processes
紙図書
by C.A.R. HoareOxford University Computing Laboratory, Programming Research Group1981
全国の図書館

A guide to communicating sequential processes

A guide to communicating sequential processes
紙図書
by Shan S. Kuo, Michael H. Linck, Sohrab SaadatOxford University Computing Laboratory, Programming Research Group1978.8
全国の図書館

Data types as lattices

Data types as lattices
紙図書
by Dana ScottOxford University Computing Laboratory, Programming Research Group1976
全国の図書館

Continuations : a mathematical semantics for handling full jumps

Continuations : a mathematical semantics for handling full jumps
紙図書
by Christopher Strachey and Christopher P. WadsworthOxford University Computing Laboratory, Programming Research Group1974
全国の図書館

The mathematical semantics of Algol 60

The mathematical semantics of Algol 60
紙図書
by Peter MossesOxford University Computing Laboratory, Programming Research Group1974
全国の図書館

Continuous lattices

Continuous lattices
紙図書
by Dana ScottOxford University Computing Laboratory1971
全国の図書館

The varieties of programming language

The varieties of programming language
紙図書
by Christopher StracheyOxford University Computing Laboratory, Programming Research Group1973
全国の図書館

OS6, an operating system for a small computer

OS6, an operating system for a small computer
紙図書
by Joseph Stoy and Christopher StracheyOxford University Computing Laboratory, Programming Research Group1972
全国の図書館

Toward a mathematical semantics for computer languages

Toward a mathematical semantics for computer languages
紙図書
by Dana Scott and Christopher StracheyOxford University Computing Laboratory, Programming Research Group1971
全国の図書館

The lattice of flow diagrams

The lattice of flow diagrams
紙図書
by Dana ScottOxford University Computing Laboratory (Programming Research Group)1970
全国の図書館

Outline of a mathematical theory of computation

Outline of a mathematical theory of computation
紙図書
by Dana ScottOxford University Computing Laboratory, Programming Research Group1970
全国の図書館