Home Advanced Search

Advanced Search - Page 1

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Rémy Chrétien, Stéphanie Delaune (auth.), David Basin, John C. Mitchell (eds.)
Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)
Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)
Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Samson Abramsky, Pasquale Malacaria (auth.), Masami Hagiya, John C. Mitchell (eds.)
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)
Gene Transfer and Expression Protocols
  • PDF
  • English
  • Year: 1991
  • Author: Rémy Aubin, Michael Weinfeld, Malcolm C. Paterson (auth.), E. J. Murray (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.)
Concepts in Programming Languages
  • PDF
  • english
  • Year: 2007
  • Author: John C. Mitchell
Concepts in Programming Languages
  • PDF
  • English
  • Year: 2002
  • Author: John C. Mitchell
Foundations for programming languages
  • DJVU
  • English
  • Year: 1996
  • Author: John C. Mitchell
search