Jump to main content
NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
1970s
(2)
1980s
(67)
1990s
(65)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
（134）
Periodicals
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
Paper
（134）
Microform
Recording Media
Deselect all
Refiners
Refiners
Search results 134
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
A cost analysis for a higher-order parallel programming model
A cost analysis for a higher-order parallel programming model
Paper
図書
Roopa Rangaswami
University of Edinburgh, Department of Computer Science
1996
Other Libraries in Japan
Safety assurance in interlocking design
Safety assurance in interlocking design
Paper
図書
Matthew John Morley
University of Edinburgh, Department of Computer Science
1996
Other Libraries in Japan
Computational applications of calculi based on monads
Computational applications of calculi based on monads
Paper
図書
Pietro Cenciarelli
University of Edinburgh, Department of Computer Science
1996
Other Libraries in Japan
The polymorphic Pi-calculus : theory and implementation
The polymorphic Pi-calculus : theory and implementation
Paper
図書
David N. Turner
University of Edinburgh, Department of Computer Science
1996
Other Libraries in Japan
The algebra of finite state processes
The algebra of finite state processes
Paper
図書
Peter Michael Sewell
University of Edinburgh, Department of Computer Science
1995
Other Libraries in Japan
Extensional constructs in intensional type theory
Extensional constructs in intensional type theory
Paper
図書
Martin Hofmann
University of Edinburgh, Department of Computer Science
1995
Other Libraries in Japan
Adjoint rewriting
Adjoint rewriting
Paper
図書
Neil Ghani
University of Edinburgh, Department of Computer Science
1995
Other Libraries in Japan
Formal derivation of a class of computers
Formal derivation of a class of computers
Paper
図書
Li-Guo Wang
University of Edinburgh, Department of Computer Science
1995
Other Libraries in Japan
Formalising the description of process based simulation models
Formalising the description of process based simulation models
Paper
図書
Robert John Pooley
University of Edinburgh, Department of Computer Science
1995
Other Libraries in Japan
Realizability toposes and language semantics
Realizability toposes and language semantics
Paper
図書
John R. Longley
University of Edinburgh, Department of Computer Science
1995
Other Libraries in Japan
Shared memory with hidden latency on a family of mesh-like networks
Shared memory with hidden latency on a family of mesh-like networks
Paper
図書
Tim J. Harris
University of Edinburgh, Department of Computer Science
1995
Other Libraries in Japan
Optimizing hardward granularity in parallel systems
Optimizing hardward granularity in parallel systems
Paper
図書
Thomas Kelly
University of Edinburgh, Department of Computer Science
1995
Other Libraries in Japan
Universal structure and a categorical framework for type theory
Universal structure and a categorical framework for type theory
Paper
図書
Makoto Takeyama
University of Edinburgh, Department of Computer Science
1995
Other Libraries in Japan
The proof theory and semantics of intuitionistic modal logic
The proof theory and semantics of intuitionistic modal logic
Paper
図書
Alex K. Simpson
University of Edinburgh, Department of Computer Science
1994
Other Libraries in Japan
Axiomatic domain theory in categories of partial maps
Axiomatic domain theory in categories of partial maps
Paper
図書
Marcelo P. Fiore
University of Edinburgh, Department of Computer Science
1994
Other Libraries in Japan
Effective software support for chemical research
Effective software support for chemical research
Paper
図書
Amanda Jayne Welsh
University of Edinburgh, Department of Computer Science
1994
Other Libraries in Japan
Adding safe and effective load balancing to multicomputers
Adding safe and effective load balancing to multicomputers
Paper
図書
Paul Martin
University of Edinburgh, Department of Computer Science
1994
Other Libraries in Japan
A statistical investigation of the factors influencing the performance of parallel programs, with application to a study of process migration strategies
A statistical investigation of the factors influencing the performance of parallel programs, with application to a study of process migration strategies
Paper
図書
Joseph Phillips
University of Edinburgh, Department of Computer Science
1994
Other Libraries in Japan
A quantitative performance evaluation of SCI memory hierarchies
A quantitative performance evaluation of SCI memory hierarchies
Paper
図書
Roberto A. Hexsel
University of Edinburgh, Department of Computer Science
1994
Other Libraries in Japan
A compositional approach to performance modelling
A compositional approach to performance modelling
Paper
図書
Jane Hillston
University of Edinburgh, Department of Computer Science
1994
Other Libraries in Japan
Show more (21-)
Bulk download of bibliographic information
RSS