Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
A theory of objects
  • DJVU
  • English
  • Year: 1996
  • Author: Martín Abadi, Luca Cardelli
Dynamics in Geometrical Confinement
  • PDF
  • English
  • Year: 2014
  • Author: Friedrich Kremer (eds.)
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.)
Claude Lefort: Thinker of the Political
  • PDF
  • English
  • Year: 2013
  • Author: Martín Plot (eds.)
Israel's Quest for Recognition and Acceptance in Asia: Garrison State Diplomacy
  • EPUB
  • Italian
  • Year: 2004
  • Author: Jacob Abadi
Negotiating Group Identities in Multicultural Germany : The Role of Mainstream Media, Discourse Relations, and Political Alliances
  • EPUB
  • English
  • Year: 2017
  • Author: David Abadi
search