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.)
Object-Oriented Programming Languages: Interpretation
  • PDF
  • English
  • Year: 2007
  • Author: Iain D. Craig MA, PhD (auth.)
Formal Refinement for Operating System Kernels
  • PDF
  • English
  • Year: 2007
  • Author: Iain D. 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.)
Peer-to-Peer Computing: Building Supercomputers with Web Technologies
  • PDF
  • English
  • Year: 2007
  • Author: Alfred Wai-Sing Loo BSc, MSc, PhD, MBCS, MIMA, CEng, CSci, CMath, CITP (auth.)
Research and Development in Intelligent Systems XXIV: Proceedings of AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
  • PDF
  • English
  • Year: 2008
  • Author: Barry Smyth (auth.), Max Bramer BSc, PhD, CEng, CITP, FBCS, FIET, FRSA, FHEA, Frans Coenen BSc, PhD, Miltos Petridis DipEng, MBA, PhD, MBCS, AMBA (eds.)
search