Agostino Cortesi – författare

Visar alla böcker från författaren Agostino Cortesi.

37 produkter

1. 

   Intelligent Systems

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

   Av Siddhartha Roy, Soumya Sen m. fl.

   Inbunden, 2026

   3269 kr

   Lägg i varukorg

2. 

   Applied Computing for Software and Smart Systems

   Proceedings of ACSS 2025

   Av Rituparna Chaki, Agostino Cortesi m. fl.

   Häftad, 2026

   3559 kr

   Lägg i varukorg

3. 

   Smart Systems and Wireless Communication

   Proceedings of SSWC 2025

   Av Rituparna Chaki, Agostino Cortesi m. fl.

   Inbunden, 2026

   4269 kr

   Lägg i varukorg

4. 

   Hyper-lattice Algebraic Model for Data Warehousing

   Av Soumya Sen, Agostino Cortesi m. fl.

   Häftad, 2016

   719 kr

   Lägg i varukorg

5. 

   Verification, Model Checking, and Abstract Interpretation

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

   Av Lenore D. Zuck, Paul D. Attie m. fl.

   Häftad, 2002

   739 kr

   Lägg i varukorg

6. 

   Verification, Model Checking, and Abstract Interpretation

   Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

   Av Agostino Cortesi

   Häftad, 2002

   739 kr

   Lägg i varukorg

7. 

   Static Analysis

   6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings

   Av Agostino Cortesi, Gilberto File

   Häftad, 1999

   739 kr

   Lägg i varukorg

8. 

   Computer Information Systems - Analysis and Technologies

   10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. Proceedings

   Av Nabendu Chaki, Agostino Cortesi

   Häftad, 2011

   739 kr

   Lägg i varukorg

9. 

   Computer Information Systems and Industrial Management

   11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012, Proceedings

   Av Agostino Cortesi, Nabendu Chaki m. fl.

   Häftad, 2012

   739 kr

   Lägg i varukorg

10. 

    Computer Information Systems and Industrial Management

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

    Av Khalid Saeed, Rituparna Chaki m. fl.

    Häftad, 2013

    739 kr

    Lägg i varukorg

11. 

    Advanced Computing and Systems for Security

    Volume 1

    Av Rituparna Chaki, Agostino Cortesi m. fl.

    Häftad, 2015

    739 kr

    Lägg i varukorg

12. 

    Advanced Computing and Systems for Security

    Volume 2

    Av Rituparna Chaki, Agostino Cortesi m. fl.

    Häftad, 2015

    1469 kr

    Lägg i varukorg

13. 

    Advanced Computing and Systems for Security

    Volume Four

    Av Rituparna Chaki, Khalid Saeed m. fl.

    Häftad, 2017

    719 kr

    Lägg i varukorg

14. 

    Advanced Computing and Systems for Security

    Volume Three

    Av Rituparna Chaki, Khalid Saeed m. fl.

    Häftad, 2017

    719 kr

    Lägg i varukorg

15. 

    Proceedings of International Conference on Computational Intelligence and Data Engineering

    ICCIDE 2017

    Av Nabendu Chaki, Agostino Cortesi m. fl.

    Häftad, 2018

    2929 kr

    Lägg i varukorg

16. 

    Advanced Computing and Systems for Security

    Volume Five

    Av Rituparna Chaki, Agostino Cortesi m. fl.

    Häftad, 2018

    1289 kr

    Lägg i varukorg

17. 

    Advanced Computing and Systems for Security

    Volume Six

    Av Rituparna Chaki, Agostino Cortesi m. fl.

    Häftad, 2018

    1289 kr

    Lägg i varukorg

18. 

    Advanced Computing and Systems for Security

    Volume Seven

    Av Rituparna Chaki, Agostino Cortesi m. fl.

    Häftad, 2018

    1289 kr

    Lägg i varukorg

19. 

    Advanced Computing and Systems for Security

    Volume Eight

    Av Rituparna Chaki, Agostino Cortesi m. fl.

    Häftad, 2019

    719 kr

    Lägg i varukorg

20. 

    Advanced Computing and Systems for Security

    Volume Nine

    Av Rituparna Chaki, Agostino Cortesi m. fl.

    Häftad, 2019

    719 kr

    Lägg i varukorg

21. 

    Advanced Computing and Systems for Security

    Volume Ten

    Av Rituparna Chaki, Agostino Cortesi m. fl.

    Häftad, 2019

    739 kr

    Lägg i varukorg

22. 

    Advanced Computing and Systems for Security

    Volume Twelve

    Av Rituparna Chaki, Agostino Cortesi m. fl.

    Häftad, 2020

    719 kr

    Lägg i varukorg

23. 

    Advanced Computing and Systems for Security

    Volume Eleven

    Av Rituparna Chaki, Agostino Cortesi m. fl.

    Häftad, 2020

    1429 kr

    Lägg i varukorg

24. 

    Advanced Computing and Systems for Security: Volume 13

    Av Rituparna Chaki, Nabendu Chaki m. fl.

    Häftad, 2021

    1759 kr

    Lägg i varukorg

25. 

    Advanced Computing and Systems for Security: Volume 14

    Av Rituparna Chaki, Nabendu Chaki m. fl.

    Häftad, 2021

    1619 kr

    Lägg i varukorg

26. 

    Proceedings of International Conference on Computational Intelligence and Data Engineering

    ICCIDE 2021

    Av Nabendu Chaki, Nagaraju Devarakonda m. fl.

    Häftad, 2022

    2639 kr

    Lägg i varukorg

27. 

    Applied Computing for Software and Smart Systems

    Proceedings of ACSS 2022

    Av Rituparna Chaki, Agostino Cortesi m. fl.

    Häftad, 2023

    2929 kr

    Lägg i varukorg

28. 

    Challenges of Software Verification

    Av Vincenzo Arceri, Agostino Cortesi m. fl.

    Inbunden, 2023

    2279 kr

    Lägg i varukorg

29. 

    Challenges of Software Verification

    Av Vincenzo Arceri, Agostino Cortesi m. fl.

    Häftad, 2024

    2279 kr

    Lägg i varukorg

30. 

    Smart Systems and Wireless Communication

    Proceedings of SSWC 2024

    Av Rituparna Chaki, Agostino Cortesi m. fl.

    Inbunden, 2025

    3979 kr

    Lägg i varukorg