Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers Cortesi Agostino Heftet / 2002 / Engelsk
Computer Information Systems - Analysis and Technologies 10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. Proceedings Chaki Nabendu Heftet / 2011 / Engelsk
Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings Cortesi Agostino Heftet / 1999 / Engelsk
Proceedings of International Conference on Computational Intelligence and Data Engineering ICCIDE 2017 Chaki Nabendu Heftet / 2018 / Engelsk
Proceedings of International Conference on Computational Intelligence and Data Engineering ICCIDE 2022 Chaki Nabendu Heftet / 2023 / Engelsk
Computer Information Systems and Industrial Management 12th IFIP TC 8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, Proceedings Saeed Khalid Heftet / 2013 / Engelsk
Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012, Proceedings Cortesi Agostino Heftet / 2012 / Engelsk
Applied Computing for Software and Smart Systems Proceedings of ACSS 2023 Chaki Rituparna Heftet / 2023 / Engelsk
Applied Computing for Software and Smart Systems Proceedings of ACSS 2024 Chaki Nabendu Heftet / 2025 / Engelsk
Proceedings of International Conference on Computational Intelligence and Data Engineering ICCIDE 2021 Chaki Nabendu Heftet / 2022 / Engelsk
Applied Computing for Software and Smart Systems Proceedings of ACSS 2022 Chaki Rituparna Heftet / 2023 / Engelsk
Smart Systems and Wireless Communication Proceedings of SSWC 2024 Chaki Rituparna Innbundet / 2025 / Engelsk
