Home Advanced Search

Advanced Search - Page 1

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.)
Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Ross Anderson (auth.), Dimitra Giannakopoulou, Fernando Orejas (eds.)
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)
Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Martín Abadi, Steve Kremer (eds.)
Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Martín Abadi, Alberto Lluch Lafuente (eds.)
A theory of objects
  • DJVU
  • English
  • Year: 1996
  • Author: Martín Abadi, Luca Cardelli
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou
Scientific and Statistical Database Management: 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30–July 2, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Daniel J. Abadi (auth.), Michael Gertz, Bertram Ludäscher (eds.)
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Alexander Raschke (editor), Dominique Méry (editor)
QSAR and Molecular Modeling Studies in Heterocyclic Drugs II
  • PDF
  • English
  • Year: 2006
  • Author: Dimitra Hadjipavlou-Litina (auth.), Satya Prakash Gupta (eds.)
search