Home Advanced Search

Advanced Search - Page 1

Labelled Non-Classical Logics

PDF
English
Year: 2000
Author: Luca Viganò (auth.)

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)

PDF
English
Year: 2009
Author: Pierpaolo Degano, Luca Viganò

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

PDF
English
Year: 2009
Author: Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

PDF
English
Year: 2009
Author: Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)

Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

PDF
English
Year: 2016
Author: Frank Piessens, Luca Viganò (eds.)

Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

PDF
English
Year: 2013
Author: Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele (auth.), Margus Veanes, Luca Viganò (eds.)

Labelled deduction

DJVU
English
Year: 2000
Author: David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)

Labelled Deduction

PDF
English
Year: 2000
Author: David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)

La città elementare

PDF
Italian
Year: 1999
Author: Paola Viganò

Western in cento film

PDF
Italian
Year: 1994
Author: Aldo Viganò