Home Advanced Search

Advanced Search - Page 1

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers
  • PDF
  • English
  • Year: 2002
  • Author: Cinzia Bernardeschi, Nicoletta De Francesco (auth.), Agostino Cortesi (eds.)
Computer Information Systems – Analysis and Technologies: 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Young Im Cho (auth.), Nabendu Chaki, Agostino Cortesi (eds.)
Computer Information Systems and Industrial Management: 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Mieczysław A. Kłopotek (auth.), Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Sławomir Wierzchoń (eds.)
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017
  • PDF
  • English
  • Year: 2018
  • Author: Nabendu Chaki,Agostino Cortesi,Nagaraju Devarakonda (eds.)
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)
Hyper-lattice Algebraic Model for Data Warehousing
  • PDF
  • English
  • Year: 2016
  • Author: Soumya Sen, Agostino Cortesi, Nabendu Chaki (auth.)
Advanced Computing and Systems for Security: Volume Four
  • PDF
  • English
  • Year: 2017
  • Author: Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki (eds.)
Advanced Computing and Systems for Security: Volume 1
  • PDF
  • English
  • Year: 2016
  • Author: Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki (eds.)
In Praise of Penumbra
  • PDF
  • English
  • Year: 2023
  • Author: Agostino De Rosa, Alessio Bortot, Francesco Bergamo
La sublime scuola italiana: Poeti, Volume 1: Le rime italiane del Petrarca
  • PDF
  • Italian
  • Year: 1800
  • Author: Francesco Petrarca (editor); Agostino de Valenti (editor)
search