Results for author 'Agostino Cortesi'

Intelligent Systems

Emerging Trends and Challenges in Deep Neuro-Fuzzy Models and Explainable Artificial Intelligence

Verification, Model Checking, and Abstract Interpretation

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Hyper-lattice Algebraic Model for Data Warehousing

SpringerBriefs in Applied Sciences and Technology

Computer Information Systems and Industrial Management

12th IFIP TC 8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, Proceedings

Advanced Computing and Systems for Security

Volume Five

Advanced Computing and Systems for Security

Volume Six

Space Data Management

Studies in Big Data

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 Ten

Advanced Computing and Systems for Security

Volume Eight

Challenges of Software Verification

Applied Computing for Software and Smart Systems

Proceedings of ACSS 2022

Proceedings of International Conference on Computational Intelligence and Data Engineering

ICCIDE 2022