agostino cortesi Agostino Cortesi's Documents - EPDF.PUB

Agostino Cortesi's Documents

Agostino Cortesi's Documents

Verification, Model Checking, and Abstract Interpretation, 3 conf., VMCAI 2002

Verification, Model Checking, and Abstract Interpretation, 3 conf., VMCAI 2002
Read more
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings: Sixth International Symposium, SAS '99, ... 6th

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings: Sixth International Symposium, SAS '99, ... 6th
Read more
Computer Information Systems - Analysis and Technologies - CISIM 2011

Computer Information Systems - Analysis and Technologies - CISIM 2011
Read more
Geometry of PDEs and mechanics

Geometry of PDEs and mechanics
Read more
Humanismus und Universitatsbesuch - Renaissance Humanism and University Studies (Education and Society in the Middle Ages and Renaissance) (German Edition)

Humanismus und Universitatsbesuch - Renaissance Humanism and University Studies (Education and Society in the Middle Ages and Renaissance) (German Edition)
Read more
Kinder-Horoskope deuten und verstehen. Astrologie als Schlüssel zum Kinderherzen GERMAN

Kinder-Horoskope deuten und verstehen. Astrologie als Schlüssel zum Kinderherzen GERMAN
Read more
I tre tiranni (Archivio del teatro italiano)

I tre tiranni (Archivio del teatro italiano)
Read more
Verification, Model Checking, and Abstract Interpretation, 4 conf., VMCAI 2003

Verification, Model Checking, and Abstract Interpretation, 4 conf., VMCAI 2003
Read more
A Road Map to the Development of European SME Networks: Towards Collaborative Innovation

A Road Map to the Development of European SME Networks: Towards Collaborative Innovation
Read more
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP (Lecture Notes in Computer Science 6125)

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP (Lecture Notes in Computer Science 6125)
Read more
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP (Lecture Notes in Computer Science Programming and Software Engineering)

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP (Lecture Notes in Computer Science Programming and Software Engineering)
Read more
A New Understanding of Terrorism

A New Understanding of Terrorism
Read more
Information Security Theory and Practice: Security and Privacy of Mobile Devices in Wireless Communication - WISTP 2011

Information Security Theory and Practice: Security and Privacy of Mobile Devices in Wireless Communication - WISTP 2011
Read more
A New Understanding of Terrorism: Case Studies, Trajectories and Lessons Learned

A New Understanding of Terrorism: Case Studies, Trajectories and Lessons Learned
Read more
Advanced Statistical Methods for the Analysis of Large Data-Sets

Advanced Statistical Methods for the Analysis of Large Data-Sets
Read more
Information Security: 12th International Conference, ISC 2009 Pisa, Italy, September 7-9, 2009 Proceedings (Lecture Notes in Computer Science Security and Cryptology)

Information Security: 12th International Conference, ISC 2009 Pisa, Italy, September 7-9, 2009 Proceedings (Lecture Notes in Computer Science Security and Cryptology)
Read more
Advanced Statistical Methods for the Analysis of Large Data-Sets

Advanced Statistical Methods for the Analysis of Large Data-Sets
Read more
Open Source Systems Security Certification

Open Source Systems Security Certification
Read more
Fine di Bisanzio e fine del mondo: significato e ruolo storico delle profezie sulla caduta di Costantinopoli in Oriente e in Occidente

Fine di Bisanzio e fine del mondo: significato e ruolo storico delle profezie sulla caduta di Costantinopoli in Oriente e in Occidente
Read more