Agostino Dovier's Documents

Agostino Dovier's Documents

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
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
I tre tiranni (Archivio del teatro italiano)

I tre tiranni (Archivio del teatro italiano)
Read more
Managing Cooperation in Supply Network Structures and Small or Medium-sized Enterprises: Main Criteria and Tools for Managers

Managing Cooperation in Supply Network Structures and Small or Medium-sized Enterprises: Main Criteria and Tools for Managers
Read more
Verification, Model Checking, and Abstract Interpretation, 3 conf., VMCAI 2002

Verification, Model Checking, and Abstract Interpretation, 3 conf., VMCAI 2002
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
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
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
Verification, Model Checking, and Abstract Interpretation, 4 conf., VMCAI 2003

Verification, Model Checking, and Abstract Interpretation, 4 conf., VMCAI 2003
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