Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Computer Information Systems - Analysis and Technologies: 10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. Proceedings

Hyper-lattice Algebraic Model for Data Warehousing

Computer Information Systems and Industrial Management: 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012, Proceedings

Computer Information Systems and Industrial Management: 12th IFIP TC 8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, Proceedings

Applied Computing for Software and Smart Systems: Proceedings of ACSS 2023

Applied Computing for Software and Smart Systems: Proceedings of ACSS 2022

Advanced Computing and Systems for Security: Volume Five

Advanced Computing and Systems for Security: Volume Six

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

Advanced Computing and Systems for Security: Volume Nine

Advanced Computing and Systems for Security: Volume Eight