Home Advanced Search

Advanced Search - Page 1

Virtual Machines
  • PDF
  • English
  • Year: 2006
  • Author: Iain D. Craig MA, PhD, MBCS, CITP (auth.)
Formal Models of Operating System Kernels
  • PDF
  • English
  • Year: 2007
  • Author: Iain D. Craig MA, PhD, FBCF, CITP (auth.)
Formal Models of Operating System Kernels
  • PDF
  • English
  • Year: 2007
  • Author: Iain D. Craig MA, PhD, FBCF, CITP (auth.)
Formal Refinement for Operating System Kernels
  • PDF
  • English
  • Year: 2007
  • Author: Iain D. Craig MA, PhD (auth.)
Object-Oriented Programming Languages: Interpretation
  • PDF
  • English
  • Year: 2007
  • Author: Iain D. Craig MA, PhD (auth.)
The Interpretation of Object-Oriented Programming Languages
  • PDF
  • English
  • Year: 2002
  • Author: Iain Craig MA, PhD (auth.)
The Interpretation of Object-Oriented Programming Languages
  • PDF
  • English
  • Year: 2000
  • Author: Iain Craig Ma, PhD (auth.)
Practical Distributed Processing
  • PDF
  • English
  • Year: 2008
  • Author: Phillip J. Brooke MA, DPhil, MBCS CITP, Richard F. Paige BSc, MSc, PhD (auth.)
Practical Distributed Processing
  • PDF
  • English
  • Year: 2007
  • Author: Phillip J. Brooke MA, DPhil, MBCS CITP, Richard F. Paige BSc, MSc, PhD (auth.)
People and Computers XX — Engage: Proceedings of HCI 2006
  • PDF
  • English
  • Year: 2007
  • Author: Patrick Olivier, Han Cao, Stephen W. Gilroy, Daniel G. Jackson (auth.), Nick Bryan-Kinns BSc, MSc, PhD, PGCAP, AKC, Ann Blanford BA, MA, PhD, MBCS, CEng, CITP, Paul Curzon BA, MA, PhD, PGCertHE, Laurence Nigay BSc, MSc, PhD (eds.)
search