Home Advanced Search

Advanced Search - Page 1

Automated Theory Formation in Pure Mathematics
  • PDF
  • English
  • Year: 2002
  • Author: Simon Colton BSc, MSc, PhD (auth.)
Safe Comp 97: The 16th International Conference on Computer Safety, Reliability and Security
  • PDF
  • English
  • Year: 1997
  • Author: Hélène Papini, Frangois Simon (auth.), Peter Daniel PhD, BSc, MSc (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.)
Formal Object-Oriented Development
  • PDF
  • English
  • Year: 1995
  • Author: Kevin Lano 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.)
The B Language and Method: A Guide to Practical Formal Development
  • PDF
  • English
  • Year: 1996
  • Author: Kevin Lano BSc, MSc, PhD (auth.)
Mapping Scientific Frontiers: The Quest for Knowledge Visualization
  • PDF
  • English
  • Year: 2003
  • Author: Chaomei Chen PhD, MSc, BSc (auth.)
search