Three-Dimensional Integrated Circuit Layout
Andrew Harter
Hardback
Not Available
A C University of Cambridge Harter
Paperback
Logic Programming
James H Andrews
James H Simon Fraser University and 1 more
Efficient Algorithms for Listing Combinatorial Structures
Leslie Ann Goldberg
Leslie Ann Sandia National Laboratories and 1 more
Specification and Proof in Real-Time CSP
Jim Davies
Modelling Auditory Processing and Organisation
Martin Cooke
Martin University of Sheffield Cooke
Functional Programming and Input/output
Andrew D Gordon
Qualified Types
Mark P Jones
Mark P University of Nottingham Jones
Affine Analysis of Image Sequences
Larry S Shapiro
Larry S University of Oxford Shapiro
A Modular and Extensible Network Storage Architecture
SaiLai Lo
Sai Lai Lo
A Compositional Approach to Performance Modelling
J Hillston
Jane University of Edinburgh Hillston
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Robot
David Lee
Axiomatic Domain Theory in Categories of Partial Maps
Marcelo P Fiore
Marcelo P University of Edinburgh Fiore
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
D C University of Oxford Lee
Specification and Proof in Real Time CSP
Jim University of Oxford Davies
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here
