Home Advanced Search

Advanced Search - Page 1

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

Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

PDF
English
Year: 2016
Author: Alberto Lluch Lafuente, José Proença (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.)

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

Mujeres en la guerra y en los ejércitos

EPUB
Spanish
Year: 2019
Author: Alberto Guerrero Martín

El orden de palabras en la historia del español y otras lenguas iberorromances

PDF
Spanish
Year: 1900
Author: Marta López Izquierdo, Mónica Castillo Lluch (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.)