Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
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.)
Neural Network Applications: Proceedings of the Second British Neural Network Society Meeting (NCM91), London, October 1991
  • PDF
  • English
  • Year: 1992
  • Author: Norman L. Biggs (auth.), J. G. Taylor BA, BSc, MA, PhD, FlnstP (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.)
Psychoprosthetics
  • PDF
  • English
  • Year: 2008
  • Author: Pamela Gallagher, Deirdre Desmond, Malcolm MacLachlan (auth.), Pamela Gallagher BA Mod, DipStat, PhD, Deirdre Desmond BA, DipStat, PhD, Malcolm MacLachlan BSc, MSc, MA, PhD, DipBA, FPSI, FTCD, MRIA (eds.)
Digital Controller Implementation and Fragility: A Modern Perspective
  • PDF
  • English
  • Year: 2001
  • Author: Robert S. H. Istepanian, James F. Whidborne (auth.), Robert S. H. Istepanian BSc, MSc, PhD, James F. Whidborne MA, MSc, PhD (eds.)
Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
  • PDF
  • English
  • Year: 1992
  • Author: Norman Fenton (auth.), Tim Denvir MA, CEng, MIEE, MBCS, Rosalind Herman MA, MSc, Robin W. Whitty BSc, PhD, C.Math, FIMA (eds.)