Home Advanced Search

Advanced Search - Page 1

A theory of objects

DJVU
English
Year: 1996
Author: Martín Abadi, Luca Cardelli

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.)

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

PDF
English
Year: 2013
Author: Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (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.)

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

PDF
English
Year: 2011
Author: Vincent Danos, Heinz Koeppl, John Wilson-Kanamori (auth.), Luca Cardelli, William Shih (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

A fistful of lentils: Syrian-Jewish recipes from grandma Fritzie's kitchen

EPUB
English
Year: 2002
Author: Jennifer Felicia Abadi