Distinguished Dissertations in Computer Science
Results
Filter
Current filters
Refine results
Results
Specification and Proof in Real Time CSP
Three-Dimensional Integrated Circuit Layout
Efficient Algorithms for Listing Combinatorial Structures
Efficient Algorithms for Listing Combinatorial Structures
Efficient Algorithms for Listing Combinatorial Structures
Affine Analysis of Image Sequences
A Compositional Approach to Performance Modelling
Logic Programming
Logic Programming
Axiomatic Domain Theory in Categories of Partial Maps
Qualified Types
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot
