Technical monograph | NDL Search | National Diet Library

Technical monograph

Material type: 図書

Author: -

Publisher: Oxford University Computing Laboratory, Programming Research Group

Publication date: -

Material Format: Paper

Capacity, size, etc.: -

NDC: -

View All

Related materials as well as pre- and post-revision versions

Investigations into the complexity of some propositional calculi Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations Efficient intersection tests for objects defined constructively Collision detection by four-dimensional intersection testing Continuations : a mathematical semantics for handling full jumps Correctness and communication in real-time systems A Monte Carlo method for implementing model-based diagnostic programs Four pieces on error, truth and reality Data refinement in a categorical setting A functional database The lattice of flow diagrams A model for communicating sequential processes OS6, an operating system for a small computer A guide to communicating sequential processes The mathematical semantics of Algol 60 Data types as lattices The varieties of programming language

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: Technical monograph
Publication, Distribution, etc.: Oxford University Computing Laboratory, Programming Research Group
Place of Publication (Country Code): uk
Target Audience: 一般
Related Material: Investigations into the complexity of some propositional calculi
https://cir.nii.ac.jp/crid/1130000795590119424
Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations
https://cir.nii.ac.jp/crid/1130000795958133760
Efficient intersection tests for objects defined constructively
https://cir.nii.ac.jp/crid/1130000796450368640
Collision detection by four-dimensional intersection testing
https://cir.nii.ac.jp/crid/1130000796731539968
Continuations : a mathematical semantics for handling full jumps
https://cir.nii.ac.jp/crid/1130013316607899807
Correctness and communication in real-time systems
https://cir.nii.ac.jp/crid/1130282269188735232
A Monte Carlo method for implementing model-based diagnostic programs
https://cir.nii.ac.jp/crid/1130282269314358016
Four pieces on error, truth and reality
https://cir.nii.ac.jp/crid/1130282270310437120
Data refinement in a categorical setting
https://cir.nii.ac.jp/crid/1130282270891964160
A functional database
https://cir.nii.ac.jp/crid/1130282271318514944
The lattice of flow diagrams
https://cir.nii.ac.jp/crid/1130282273009733504
A model for communicating sequential processes
https://cir.nii.ac.jp/crid/1130290835729713179
OS6, an operating system for a small computer
https://cir.nii.ac.jp/crid/1130294791584602891
A guide to communicating sequential processes
https://cir.nii.ac.jp/crid/1130573394972386060
The mathematical semantics of Algol 60
https://cir.nii.ac.jp/crid/1130855798822980249
Data types as lattices
https://cir.nii.ac.jp/crid/1130857424813176088
The varieties of programming language
https://cir.nii.ac.jp/crid/1130857741512887601
Related Material (URI): https://ci.nii.ac.jp/ncid/BA27159873#entity
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA27159873 : BA27159873