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.)
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.)
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.)
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