More by Vincenzo Arceri
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
Hyper-lattice Algebraic Model for Data Warehousing
Computer Information Systems - Analysis and Technologies: 10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. Proceedings
Advanced Computing and Systems for Security: Volume 13
Book 241
Advanced Computing and Systems for Security: Volume 14
Book 242
Advanced Computing and Systems for Security: Volume Four
Advanced Computing and Systems for Security: Volume 2
Advanced Computing and Systems for Security: Volume Three
Advanced Computing and Systems for Security: Volume 1
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2022
Book 163
Applied Computing for Software and Smart Systems: Proceedings of ACSS 2023
Book 781
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017
Book 9
Advanced Computing and Systems for Security: Volume Five
Advanced Computing and Systems for Security: Volume Six
Applied Computing for Software and Smart Systems: Proceedings of ACSS 2022
Book 555
Advanced Computing and Systems for Security: Volume Seven
Advanced Computing and Systems for Security: Volume Ten
Advanced Computing and Systems for Security: Volume Eleven
Advanced Computing and Systems for Security: Volume Twelve