Distinguished dissertations in computer science

Material type: 図書

Author: -

Publisher: Cambridge University Press

Publication date: -

Material Format: Paper

Capacity, size, etc.: -

NDC: -

View All

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

Affine analysis of image sequences Logic programming : operational semantics and proof theory Qualified types : theory and practice A compositional approach to performance modelling Efficient algorithms for listing combinatorial structures Modelling auditory processing and organisation Projection factorisations in partial evaluation Three-dimensional integrated circuit layout Modelling auditory processing and organisation Logic programming : operational semantics and proof theory A modular and extensible network storage architecture A compositional approach to performance modelling Affine analysis of image sequences The map-building and exploration strategies of a simple sonar-equipped robot : an experimental, quantitave evaluation Qualified types : theory and practice Axiomatic domain theory in categories of partial maps Functional programming and input/output The map-building and exploration strategies of a simple sonar-equipped robot : an experimental, quantitave evaluation Specification and proof in real-time CSP Action refinement in process algebras Axiomatic domain theory in categories of partial maps Specification and proof in real-time CSP

Search by Bookstore

Affine analysis of image sequences
Logic programming : operational semantics and proof theory
Qualified types : theory and practice
A compositional approach to performance modelling
Efficient algorithms for listing combinatorial structures

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: Distinguished dissertations in computer science
Publication, Distribution, etc.: Cambridge University Press
Place of Publication (Country Code): uk
Target Audience: 一般
Related Material: Affine analysis of image sequences
https://cir.nii.ac.jp/crid/1130000794523900032
Logic programming : operational semantics and proof theory
https://cir.nii.ac.jp/crid/1130000794976478336
Qualified types : theory and practice
https://cir.nii.ac.jp/crid/1130000795011103104
A compositional approach to performance modelling
https://cir.nii.ac.jp/crid/1130000795289469568
Efficient algorithms for listing combinatorial structures
https://cir.nii.ac.jp/crid/1130000795820815232
Modelling auditory processing and organisation
https://cir.nii.ac.jp/crid/1130000796213183616
Projection factorisations in partial evaluation
https://cir.nii.ac.jp/crid/1130000796221820544
Three-dimensional integrated circuit layout
https://cir.nii.ac.jp/crid/1130000796920107776
Modelling auditory processing and organisation
https://cir.nii.ac.jp/crid/1130000797990074624
Logic programming : operational semantics and proof theory
https://cir.nii.ac.jp/crid/1130000798192626048
A modular and extensible network storage architecture
https://cir.nii.ac.jp/crid/1130000798368102272
A compositional approach to performance modelling
https://cir.nii.ac.jp/crid/1130282269183203456
Affine analysis of image sequences
https://cir.nii.ac.jp/crid/1130282269440098432
The map-building and exploration strategies of a simple sonar-equipped robot : an experimental, quantitave evaluation
https://cir.nii.ac.jp/crid/1130282269718724736
Qualified types : theory and practice
https://cir.nii.ac.jp/crid/1130282269723970816
Axiomatic domain theory in categories of partial maps
https://cir.nii.ac.jp/crid/1130282269776107776
Functional programming and input/output
https://cir.nii.ac.jp/crid/1130282270499336448
The map-building and exploration strategies of a simple sonar-equipped robot : an experimental, quantitave evaluation
https://cir.nii.ac.jp/crid/1130282270737748224
Specification and proof in real-time CSP
https://cir.nii.ac.jp/crid/1130282271857679872
Action refinement in process algebras
https://cir.nii.ac.jp/crid/1130282271917212288
Axiomatic domain theory in categories of partial maps
https://cir.nii.ac.jp/crid/1130282272183878656
Specification and proof in real-time CSP
https://cir.nii.ac.jp/crid/1130282273331266304
Related Material (URI): https://ci.nii.ac.jp/ncid/BA13438471#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/BA13438471 : BA13438471

Distinguished dissertations in computer science

Search by Bookstore

Table of Contents

Holdings of Libraries in Japan

Search by Bookstore

Bibliographic Record

Paper