About this book series
The Distinguished Dissertation Series is published on behalf of the Conference of Professors and Heads of Computer Science and the British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The dissertations are selected on behalf of CPHCS by a panel of eight academics. The dissertations chosen each make a noteworthy contribution to the subject and reach a high standard of exposition, placing their results clearly in the context of computer science as a whole. In this way computer scientists with significantly different interests are able to grasp the essentials - or even find a means of entry to an unfamiliar research topic.
Discontinued series: although this series no longer publishes new content, the published titles listed here remain available.
Book titles in this series
-
-
Architecture-Independent Loop Parallelisation
- Authors:
-
- Radu C. Calinescu
- Copyright: 2000
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Automated Theory Formation in Pure Mathematics
- Authors:
-
- Simon Colton
- Copyright: 2002
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
- Authors:
-
- Ian Miguel
- Copyright: 2004
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Extensional Constructs in Intensional Type Theory
- Authors:
-
- Martin Hofmann
- Copyright: 1997
Available Renditions
- Hard cover
- Soft cover
- eBook