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.)
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (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.)
Gene Transfer and Expression Protocols
  • PDF
  • English
  • Year: 1991
  • Author: Rémy Aubin, Michael Weinfeld, Malcolm C. Paterson (auth.), E. J. Murray (eds.)
Applied Information Security: A Hands-on Approach
  • PDF
  • English
  • Year: 2011
  • Author: David Basin, Patrick Schaller, Michael Schläpfer (auth.)
search