Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Recommended product

Popular links

Popular links


Distinguished Dissertations in Computer Science

Results

Filter
Current filters
Clear all
Refine results
Show more

Results

Per Page 1 – 12 of 14
  • 1 – 12 of 14
A Compositional Approach to Performance Modelling
Jane Hillston Jane Hillston
N/A
9780521673532
Paperback
A Compositional Approach to Performance Modelling
Jane Hillston Jane Hillston
N/A
9780521571890
Hardback
A Modular and Extensible Network Storage Architecture
Sai Lai Lo Sai Lai Lo
N/A
9780521349468
Paperback
A Modular and Extensible Network Storage Architecture
Sai Lai Lo Sai Lai Lo
N/A
9780521551151
Hardback
Action Refinement in Process Algebras
Luca Aceto Luca Aceto
N/A
9780521431118
Hardback
Affine Analysis of Image Sequences
Larry S. Shapiro Larry S. Shapiro
N/A
9780521019781
Paperback
Affine Analysis of Image Sequences
Larry S. Shapiro Larry S. Shapiro
N/A
9780521550635
Hardback
Axiomatic Domain Theory in Categories of Partial Maps
Marcelo P. Fiore Marcelo P. Fiore
N/A
9780521602778
Paperback
Axiomatic Domain Theory in Categories of Partial Maps
Marcelo P. Fiore Marcelo P. Fiore
N/A
9780521571883
Hardback
Efficient Algorithms for Listing Combinatorial Structures
Leslie Ann Goldberg Leslie Ann Goldberg
N/A
9780521450218
Hardback
Efficient Algorithms for Listing Combinatorial Structures
Leslie Ann Goldberg Leslie Ann Goldberg
N/A
9780521117883
Paperback
Functional Programming and Input/Output
Andrew D. Gordon Andrew D. Gordon
N/A
9780521471039
Hardback
Functional Programming and Input/Output
Andrew D. Gordon Andrew D. Gordon
N/A
9780521070072
Paperback
Logic Programming
Operational Semantics and Proof Theory
James H. Andrews James H. Andrews
N/A
9780521607544
Paperback
Logic Programming
Operational Semantics and Proof Theory
James H. Andrews James H. Andrews
N/A
9780521432191
Hardback
Modelling Auditory Processing and Organisation
Martin Cooke Martin Cooke
N/A
9780521450942
Hardback
Modelling Auditory Processing and Organisation
Martin Cooke Martin Cooke
N/A
9780521619387
Paperback
Project Factorisations in Partial Evaluation
John Launchbury John Launchbury
N/A
9780521414975
Hardback
Qualified Types
Theory and Practice
Mark P. Jones Mark P. Jones
N/A
9780521543262
Paperback
Qualified Types
Theory and Practice
Mark P. Jones Mark P. Jones
N/A
9780521472531
Hardback
Specification and Proof in Real Time CSP
Jim Davies Jim Davies
N/A
9781107403864
Paperback
Specification and Proof in Real Time CSP
Jim Davies Jim Davies
N/A
9780521450553
Hardback
Per Page 1 – 12 of 14
  • 1 – 12 of 14