【Updated on January 20, 2026】Integration of CiNii Books into CiNii Research

The International series of monographs on computer science

Related Books: 7

Author(s)

Bibliographic Information

The International series of monographs on computer science

Clarendon Press

Other Title: International series of monographs on computer science

Search this Book/Journal

WorldCat

Related Books： 1-7 of 7

1

Computation and reasoning : a type theory for computer science

Zhaohui Luo

Clarendon Press , Oxford University Press 1994 The International series of monographs on computer science v. 11

Available at 26 libraries
2

Derivation and validation of software metrics

Martin Shepperd and Darrel Ince

Clarendon Press , Oxford University Press 1993 The International series of monographs on computer science 9

Available at 4 libraries
3

Programming in Martin-Löf's type theory : an introduction

Bengt Nordström, Kent Petersson and Jan M. Smith

Clarendon Press , Oxford University Press 1990 The International series of monographs on computer science 7

Available at 27 libraries
4

Discrete relaxation techniques

Thomas C. Henderson

Oxford University Press 1990 The International series of monographs on computer science 5

Available at 5 libraries
5

Computable set theory

Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo

Clarendon Press , Oxford University Press 1989- The International series of monographs on computer science 6

v. 1

Available at 16 libraries
6

The combinatorics of network reliability

Charles J. Colbourn

Oxford University Press 1987 The International series of monographs on computer science

Available at 16 libraries
7

Initial computability, algebraic specifications, and partial algebras

Horst Reichel

Clarendon Press 1987 The International series of monographs on computer science 2

Available at 18 libraries

Details

NCID
BA01297113
Country Code
uk
Title Language Code
eng
Text Language Code
und
Place of Publication
Oxford ; New York

Export