Book titles in this series

Asynchronous System-on-Chip Interconnect

Authors:

• John Bainbridge

• Copyright: 2002

Available Renditions

• Hard cover
• Soft cover
• eBook

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

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Authors:

• Guy McCusker

• Copyright: 1998

Available Renditions

• Soft cover
• eBook

Hardware Evolution

Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution

Authors:

• Adrian Thompson

• Copyright: 1998

Available Renditions

• Hard cover
• Soft cover
• eBook

Image Mosaicing and Super-resolution

Authors:

• David Capel

• Copyright: 2004

Available Renditions

• Hard cover
• Soft cover
• eBook

Inheritance Relationships for Disciplined Software Construction

Authors:

• Tracy A. Gardner

• Copyright: 2002

Available Renditions

• Soft cover
• eBook

Large Scale Collaborative Virtual Environments

Authors:

• Chris Greenhalgh

• Copyright: 1999

Available Renditions

• Hard cover
• Soft cover
• eBook