Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University ... 2-3 July 1992
  • DJVU
  • English
  • Year: 1993
  • Author: Kung-Kiu Lau, Timothy P. Clement
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development
  • PDF
  • English
  • Year: 2004
  • Author: Kung-Kiu Lau, Mario Ornaghi (auth.), Maurice Bruynooghe, Kung-Kiu Lau (eds.)
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
  • PDF
  • English
  • Year: 2006
  • Author: Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
  • PDF
  • English
  • Year: 2006
  • Author: Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Formal Methods in Systems Engineering
  • PDF
  • English
  • Year: 1993
  • Author: Joseph A. Goguen (auth.), Peter Ryan BSc, PhD, Chris Sennett MA, DPhil (eds.)
Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Kung-Kiu Lau, Faris M. Taweel (auth.), Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford (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.)
search