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.)
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.)
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.)
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.)
Music Education: An Artificial Intelligence Approach: Proceedings of a Workshop held as part of AI-ED 93, World Conference on Artificial Intelligence in Education, Edinburgh, Scotland, 25 August 1993
  • PDF
  • English
  • Year: 1994
  • Author: John Cook (auth.), Matt Smith BA, MSc, Alan Smaill BSc, DPhil, Geraint A. Wiggins MA, PhD (eds.)
Visualizing Argumentation: Software Tools for Collaborative and Educational Sense-Making
  • PDF
  • English
  • Year: 2003
  • Author: Simon Buckingham Shum (auth.), Paul A. Kirschner BA, MEd, PhD, Simon J. Buckingham Shum BSc, MSc, PhD, Chad S. Carr BA, MA, PhD (eds.)
search