Home Advanced Search

Advanced Search - Page 1

Formal Methods in Systems Engineering
  • PDF
  • English
  • Year: 1993
  • Author: Joseph A. Goguen (auth.), Peter Ryan BSc, PhD, Chris Sennett MA, DPhil (eds.)
Numerical Methods for Partial Differential Equations
  • PDF
  • English
  • Year: 2000
  • Author: Gwynne A. Evans MA, Dphil, DSc, Jonathan M. Blackledge BSc, PhD, DIC, Peter D. Yardley BSc, PhD (auth.)
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991
  • PDF
  • English
  • Year: 1992
  • Author: Jonathan M. Lever (auth.), Timothy Paul Clement MA, DPhil, Kung-Kiu Lau BSc, PhD (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.)
Thirst: Physiological and Psychological Aspects
  • PDF
  • English
  • Year: 1991
  • Author: J. T. Fitzsimons (auth.), David J. Ramsay MA,DM,DPhil, David Booth MA,BSc,BA,PhD,DSc,CPsychol,FBPsS (eds.)
Managing Interactions in Smart Environments: 1st International Workshop on Managing Interactions in Smart Environments (MANSE’99), Dublin, December 1999
  • PDF
  • English
  • Year: 2000
  • Author: Paddy Nixon, Simon Dobson, Gerard Lacey (auth.), Paddy Nixon BSc, MA, PhD, CEng, MBCS, Gerard Lacey BA, BAI, MA, PhD, Simon Dobson BSc, DPhil, CEng, MBCS (eds.)
Piecewise-smooth Dynamical Systems: Theory and Applications
  • PDF
  • English
  • Year: 2008
  • Author: Mario di Bernardo Laurea; PhD (auth.), Mario di Bernardo Laurea Ph.D, Alan R. Champneys BSc; DPhil, Christopher J. Budd MA; DPhil, Piotr Kowalczyk MSc; PhD (eds.)
Piecewise-smooth Dynamical Systems: Theory and Applications
  • PDF
  • English
  • Year: 2008
  • Author: Mario di Bernardo Laurea; PhD (auth.), Mario di Bernardo Laurea Ph.D, Alan R. Champneys BSc; DPhil, Christopher J. Budd MA; DPhil, Piotr Kowalczyk MSc; PhD (eds.)
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992
  • PDF
  • English
  • Year: 1993
  • Author: Ina Kraan, David Basin, Alan Bundy (auth.), Kung-Kiu Lau Bsc, PhD, Timothy Paul Clement Ma, DPhil (eds.)
Probabilistic Modeling in Bioinformatics and Medical Informatics
  • PDF
  • English
  • Year: 2005
  • Author: Dirk Husmeier (auth.), Dirk Husmeier DiplPhys, MSc, PhD, Richard Dybowski BSc, MSc, PhD, Stephen Roberts MA, DPhil, MIEEE, MIoP, CPhys (eds.)
search