Home Advanced Search

Advanced Search - Page 1

Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems. 23–27 July 1989, Halifax, Canada
  • PDF
  • English
  • Year: 1990
  • Author: Dan Craigen MSc, Karen Summerskill BA (auth.), Dan Craigen MSc, Karen Summerskill BA (eds.)
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
  • PDF
  • English
  • Year: 1995
  • Author: Dan Craigen and Susan Gerhart (Auth.)
Post-Transcriptional Regulation by STAR Proteins: Control of RNA Metabolism in Development and Disease
  • PDF
  • English
  • Year: 2010
  • Author: Karen Artzt, Jiang I. Wu (auth.), Talila Volk BSc, MSc, PhD, Karen Artzt BA, PhD (eds.)
The Responsible Software Engineer: Selected Readings in IT Professionalism
  • PDF
  • English
  • Year: 1997
  • Author: Colin Myers BA (Hons), MSc, Tracy Hall BA (Hons), MSc, Dave Pitt BA (Hons), MSc (auth.), Colin Myers BA (Hons), MSc, Tracy Hall BA (Hons), MSc, Dave Pitt BA (Hons), MSc (eds.)
Text and Context: Document Storage and Processing
  • PDF
  • English
  • Year: 1991
  • Author: Susan Jones BA, MSc (auth.)
People and Computers XV—Interaction without Frontiers: Joint Proceedings of HCI 2001 and IHM 2001
  • PDF
  • English
  • Year: 2001
  • Author: Ken Dye (auth.), Ann Blandford PhD, BA, Jean Vanderdonckt PhD, MSc (CompSci), MSc (Maths), Phil Gray BA, DipCompSci, MSc (eds.)
The Social Life of Avatars: Presence and Interaction in Shared Virtual Environments
  • PDF
  • English
  • Year: 2002
  • Author: Ralph Schroeder (auth.), Ralph Schroeder BA, MSc, PhD (eds.)
Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992
  • PDF
  • English
  • Year: 1993
  • Author: Dan Craigen, Susan Gerhart, Ted Ralston (auth.), J. P. Bowen MA, J. E. Nicholls MA (eds.)
Oracle Database Principles
  • PDF
  • English
  • Year: 1997
  • Author: Z. M. Sikora BA MSc (auth.)
Strength or Accuracy: Credit Assignment in Learning Classifier Systems
  • PDF
  • English
  • Year: 2004
  • Author: Tim Kovacs BA, MSc, PhD (auth.)
search