Home Advanced Search

Advanced Search - Page 1

High-Integrity System Specification and Design
  • PDF
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen BA, MA, Michael G. Hinchey BSc, MSc, PhD (auth.)
Industrial-strength formal methods in practice
  • DJVU
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Industrial-Strength Formal Methods in Practice
  • PDF
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Understanding Formal Methods
  • PDF
  • English
  • Year: 2003
  • Author: Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (auth.), Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (eds.)
Agent Technology from a Formal Perspective
  • PDF
  • English
  • Year: 2006
  • Author: Walter F. Truszkowski (auth.), Christopher A. Rouff PhD, MS, BA, Professor Michael Hinchey PhD, MSc, BSc, CMath, CEng, CPEng, CITP, FBCS, FIEE, FIMA, FIEAust, SMIEEE, James Rash MA, BA, Walter Truszkowski MA, BA, Diana Gordon-Spears PhD (eds.)
Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK
  • PDF
  • English
  • Year: 1990
  • Author: Marta Zofia Kwiatkowska BSc, MSc, PhD, Michael William Shields BA, PhD, Richard Monro Thomas MA, MSc, DPhil (auth.)
AI and Cognitive Science ’90: University of Ulster at Jordanstown 20–21 September 1990
  • PDF
  • English
  • Year: 1991
  • Author: Derek Partridge (auth.), Michael F. McTear BA, MA, PhD, Norman Creaney BSc, MSc (eds.)
Neural Networks and the Financial Markets: Predicting, Combining and Portfolio Optimisation
  • PDF
  • English
  • Year: 2002
  • Author: John G. Taylor (auth.), Jimmy Shadbolt MSc, John G. Taylor BA, BSc, MA, PhD, FlnstP (eds.)
ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)
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