Home Advanced Search

Advanced Search - Page 1

The B Language and Method: A Guide to Practical Formal Development
  • PDF
  • English
  • Year: 1996
  • Author: Kevin Lano BSc, MSc, PhD (auth.)
Research directions in parallel functional programming
  • DJVU
  • English
  • Year: 1999
  • Author: Kevin Hammond, Greg Michaelson (auth.), Kevin Hammond BSc, PhD, Greg Michaelson BA, MSc, PhD (eds.)
EC2ND 2006: Proceedings of the Second European Conference on Computer Network Defence, in conjunction with the First Workshop on Digital Forensics and Incident Analysis Faculty of Advanced Technology, University of Glamorgan, Wales, UK
  • PDF
  • English
  • Year: 2007
  • Author: Andrew Blyth BSc, MSc, PhD, Iain Sutherland BSc, MSc, PhD (auth.)
Epidemiology, Nursing and Healthcare: A New Perspective
  • PDF
  • English
  • Year: 1996
  • Author: Anne Mulhall BSc, MSc, PhD (auth.)
Setting-up a Small Observatory: From Concept to Construction
  • PDF
  • English
  • Year: 2008
  • Author: David Arditti BSc, MSc, PhD. (auth.)
Information Visualization: Beyond the Horizon
  • PDF
  • English
  • Year: 2006
  • Author: Chaomei Chen PhD, MSc, BSc (auth.)
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
  • PDF
  • English
  • Year: 2004
  • Author: Ian Miguel BSC, MSc, PhD (auth.)
Environmental Stress and Behavioural Adaptation
  • PDF
  • English
  • Year: 1985
  • Author: John Davenport PhD, MSc, BSc, MIBiol (auth.)
Data Structures and Algorithms: A First Course
  • PDF
  • English
  • Year: 1996
  • Author: Iain T. Adamson BSc, MSc, AM, PhD (auth.)
Principles of the Spin Model Checker
  • PDF
  • English
  • Year: 2008
  • Author: Mordechai Ben-Ari BSc, MSc, PhD (auth.)
search