Sign-In
CartCortesi, Agostino
Filters
Sort by
$199.99
{"Id":26280426,"Title":"Space Data Management","Authors":["Cortesi, Agostino"],"ShortTitle":"Space Data Management","Author":"Cortesi, Agostino","Ean":"9789819700400","Isbn":"981970040X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[5623123],"CategoryIds":[617,916,1124],"FormatId":1,"FamilyId":null,"SeriesId":338918,"LanguageId":56,"PriceMin":199.99,"PriceMax":199.99,"Desirability":0,"PublicationDate":"2024-03-14T00:00:00","Join":null}
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Paper
Cortesi, Agostino
Paperback
$54.99
{"Id":20394154,"Title":"Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Paper","Authors":["Cortesi, Agostino"],"ShortTitle":"Verification, Model Checking, and Abstract Interpretation: Third\u2026","Author":"Cortesi, Agostino","Ean":"9783540436317","Isbn":"3540436316","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4805583],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":2337600,"SeriesId":16773,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2002-04-24T00:00:00","Join":null}
Computer Information Systems - Analysis and Technologies: 10th International Conference, Cisim 2011, Held in Kolkata, India, December 14-16, 2011. Pro
Cortesi, Agostino
Chaki, Nabendu
Paperback
$54.99
{"Id":20588432,"Title":"Computer Information Systems - Analysis and Technologies: 10th International Conference, Cisim 2011, Held in Kolkata, India, December 14-16, 2011. Pro","Authors":["Cortesi, Agostino","Chaki, Nabendu"],"ShortTitle":"Computer Information Systems - Analysis and Technologies: 10th\u2026","Author":"Cortesi, Agostino","Ean":"9783642272448","Isbn":"3642272444","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4805583,3428293],"CategoryIds":[877,1213],"FormatId":2,"FamilyId":3269936,"SeriesId":251565,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":1,"PublicationDate":"2011-12-06T00:00:00","Join":null}
Static Analysis: 6th International Symposium, Sas'99, Venice, Italy, September 22-24, 1999, Proceedings
Cortesi, Agostino
File, Gilberto
Paperback
$54.99
{"Id":20409472,"Title":"Static Analysis: 6th International Symposium, Sas\u002799, Venice, Italy, September 22-24, 1999, Proceedings","Authors":["Cortesi, Agostino","File, Gilberto"],"ShortTitle":"Static Analysis: 6th International Symposium, Sas\u002799, Venice, Italy,\u2026","Author":"Cortesi, Agostino","Ean":"9783540664598","Isbn":"3540664599","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4805583,4905633],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":16773,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1999-09-08T00:00:00","Join":null}
Advanced Computing and Systems for Security: Volume 14
Chaki, Rituparna
Chaki, Nabendu
Cortesi, Agostino
Paperback
$119.99
{"Id":22765764,"Title":"Advanced Computing and Systems for Security: Volume 14","Authors":["Chaki, Rituparna","Chaki, Nabendu","Cortesi, Agostino"],"ShortTitle":"Advanced Computing and Systems for Security: Volume 14","Author":"Chaki, Rituparna","Ean":"9789811642937","Isbn":"9811642931","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1044599,5623060,5623123],"CategoryIds":[617,877],"FormatId":2,"FamilyId":null,"SeriesId":490008,"LanguageId":56,"PriceMin":119.99,"PriceMax":119.99,"Desirability":1,"PublicationDate":"2021-09-22T00:00:00","Join":null}
$169.99
{"Id":24675537,"Title":"Challenges of Software Verification","Authors":["Cortesi, Agostino","Arceri, Vincenzo","Ferrara, Pietro"],"ShortTitle":"Challenges of Software Verification","Author":"Cortesi, Agostino","Ean":"9789811996009","Isbn":"9811996008","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[5623123,9977658,9977577],"CategoryIds":[617,1125,1170],"FormatId":1,"FamilyId":11208097,"SeriesId":270943,"LanguageId":56,"PriceMin":169.99,"PriceMax":169.99,"Desirability":1,"PublicationDate":"2023-07-25T00:00:00","Join":null}
Applied Computing for Software and Smart Systems: Proceedings of Acss 2023
Chaki, Rituparna
Chaki, Nabendu
Cortesi, Agostino
Paperback
$199.99
{"Id":25876406,"Title":"Applied Computing for Software and Smart Systems: Proceedings of Acss 2023","Authors":["Chaki, Rituparna","Chaki, Nabendu","Cortesi, Agostino"],"ShortTitle":"Applied Computing for Software and Smart Systems: Proceedings of Acss 2023","Author":"Chaki, Rituparna","Ean":"9789819977826","Isbn":"9819977827","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1044599,5623060,5623123],"CategoryIds":[617,877],"FormatId":2,"FamilyId":null,"SeriesId":490008,"LanguageId":56,"PriceMin":199.99,"PriceMax":199.99,"Desirability":0,"PublicationDate":"2023-12-27T00:00:00","Join":null}
Applied Computing for Software and Smart Systems: Proceedings of Acss 2022
Chaki, Rituparna
Cortesi, Agostino
Saeed, Khalid
Paperback
$219.99
{"Id":24111499,"Title":"Applied Computing for Software and Smart Systems: Proceedings of Acss 2022","Authors":["Chaki, Rituparna","Cortesi, Agostino","Saeed, Khalid"],"ShortTitle":"Applied Computing for Software and Smart Systems: Proceedings of Acss 2022","Author":"Chaki, Rituparna","Ean":"9789811967900","Isbn":"9811967903","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1044599,5623123,1035863],"CategoryIds":[617,877],"FormatId":2,"FamilyId":null,"SeriesId":490008,"LanguageId":56,"PriceMin":219.99,"PriceMax":219.99,"Desirability":0,"PublicationDate":"2023-02-23T00:00:00","Join":null}
Advanced Computing and Systems for Security: Volume 13
Chaki, Nabendu
Chaki, Rituparna
Cortesi, Agostino
Paperback
$129.99
{"Id":22765741,"Title":"Advanced Computing and Systems for Security: Volume 13","Authors":["Chaki, Nabendu","Chaki, Rituparna","Cortesi, Agostino"],"ShortTitle":"Advanced Computing and Systems for Security: Volume 13","Author":"Chaki, Nabendu","Ean":"9789811642869","Isbn":"9811642869","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[5623060,1044599,5623123],"CategoryIds":[617,877],"FormatId":2,"FamilyId":null,"SeriesId":490008,"LanguageId":56,"PriceMin":129.99,"PriceMax":129.99,"Desirability":0,"PublicationDate":"2021-11-04T00:00:00","Join":null}
Advanced Computing and Systems for Security: Volume Four
Chaki, Rituparna
Saeed, Khalid
Cortesi, Agostino
Paperback
$54.99
{"Id":22749575,"Title":"Advanced Computing and Systems for Security: Volume Four","Authors":["Chaki, Rituparna","Saeed, Khalid","Cortesi, Agostino"],"ShortTitle":"Advanced Computing and Systems for Security: Volume Four","Author":"Chaki, Rituparna","Ean":"9789811033902","Isbn":"9811033900","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1044599,1061891,5623123],"CategoryIds":[617,877,1170],"FormatId":2,"FamilyId":801545,"SeriesId":317077,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2017-03-17T00:00:00","Join":null}
Advanced Computing and Systems for Security: Volume Three
Chaki, Rituparna
Saeed, Khalid
Cortesi, Agostino
Paperback
$54.99
{"Id":22749637,"Title":"Advanced Computing and Systems for Security: Volume Three","Authors":["Chaki, Rituparna","Saeed, Khalid","Cortesi, Agostino"],"ShortTitle":"Advanced Computing and Systems for Security: Volume Three","Author":"Chaki, Rituparna","Ean":"9789811034084","Isbn":"9811034087","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1044599,1061891,5623123],"CategoryIds":[617,877,1170],"FormatId":2,"FamilyId":801545,"SeriesId":317077,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2017-03-17T00:00:00","Join":null}
Advanced Computing and Systems for Security: Volume Nine
Chaki, Rituparna
Cortesi, Agostino
Saeed, Khalid
Paperback
$54.99
{"Id":22759385,"Title":"Advanced Computing and Systems for Security: Volume Nine","Authors":["Chaki, Rituparna","Cortesi, Agostino","Saeed, Khalid"],"ShortTitle":"Advanced Computing and Systems for Security: Volume Nine","Author":"Chaki, Rituparna","Ean":"9789811389610","Isbn":"9811389616","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1044599,5623123,1035863],"CategoryIds":[617,877,1170],"FormatId":2,"FamilyId":8451088,"SeriesId":317077,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2019-08-22T00:00:00","Join":null}
Advanced Computing and Systems for Security: Volume Ten
Chaki, Rituparna
Cortesi, Agostino
Saeed, Khalid
Paperback
$54.99
{"Id":22759416,"Title":"Advanced Computing and Systems for Security: Volume Ten","Authors":["Chaki, Rituparna","Cortesi, Agostino","Saeed, Khalid"],"ShortTitle":"Advanced Computing and Systems for Security: Volume Ten","Author":"Chaki, Rituparna","Ean":"9789811389689","Isbn":"9811389683","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1044599,5623123,1035863],"CategoryIds":[617,877,1170],"FormatId":2,"FamilyId":8451088,"SeriesId":317077,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2019-09-05T00:00:00","Join":null}
Advanced Computing and Systems for Security: Volume Eleven
Chaki, Rituparna
Cortesi, Agostino
Saeed, Khalid
Paperback
$109.99
{"Id":22762291,"Title":"Advanced Computing and Systems for Security: Volume Eleven","Authors":["Chaki, Rituparna","Cortesi, Agostino","Saeed, Khalid"],"ShortTitle":"Advanced Computing and Systems for Security: Volume Eleven","Author":"Chaki, Rituparna","Ean":"9789811557460","Isbn":"9811557462","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1044599,5623123,1035863],"CategoryIds":[617,877],"FormatId":2,"FamilyId":8451088,"SeriesId":317077,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2020-07-23T00:00:00","Join":null}
Advanced Computing and Systems for Security: Volume Seven
Chaki, Rituparna
Cortesi, Agostino
Saeed, Khalid
Paperback
$99.99
{"Id":22755833,"Title":"Advanced Computing and Systems for Security: Volume Seven","Authors":["Chaki, Rituparna","Cortesi, Agostino","Saeed, Khalid"],"ShortTitle":"Advanced Computing and Systems for Security: Volume Seven","Author":"Chaki, Rituparna","Ean":"9789811332494","Isbn":"9811332495","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1044599,5623123,1035863],"CategoryIds":[617,877,1170],"FormatId":2,"FamilyId":null,"SeriesId":317077,"LanguageId":56,"PriceMin":99.99,"PriceMax":99.99,"Desirability":0,"PublicationDate":"2018-12-19T00:00:00","Join":null}
Advanced Computing and Systems for Security: Volume Eight
Saeed, Khalid
Chaki, Rituparna
Cortesi, Agostino
Paperback
$54.99
{"Id":22755415,"Title":"Advanced Computing and Systems for Security: Volume Eight","Authors":["Saeed, Khalid","Chaki, Rituparna","Cortesi, Agostino"],"ShortTitle":"Advanced Computing and Systems for Security: Volume Eight","Author":"Saeed, Khalid","Ean":"9789811337017","Isbn":"9811337012","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1035863,1044599,5623123],"CategoryIds":[617,877,1170],"FormatId":2,"FamilyId":null,"SeriesId":317077,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2019-01-28T00:00:00","Join":null}
Proceedings of International Conference on Computational Intelligence and Data Engineering: Iccide 2021
Chaki, Nabendu
Devarakonda, Nagaraju
Cortesi, Agostino
Paperback
$199.99
{"Id":23488505,"Title":"Proceedings of International Conference on Computational Intelligence and Data Engineering: Iccide 2021","Authors":["Chaki, Nabendu","Devarakonda, Nagaraju","Cortesi, Agostino"],"ShortTitle":"Proceedings of International Conference on Computational Intelligence and\u2026","Author":"Chaki, Nabendu","Ean":"9789811671814","Isbn":"9811671818","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[5623060,5623061,5623123],"CategoryIds":[617,877],"FormatId":2,"FamilyId":null,"SeriesId":484899,"LanguageId":56,"PriceMin":199.99,"PriceMax":199.99,"Desirability":0,"PublicationDate":"2022-03-01T00:00:00","Join":null}
Proceedings of International Conference on Computational Intelligence and Data Engineering: Iccide 2017
Devarakonda, Nagaraju
Chaki, Nabendu
Cortesi, Agostino
Paperback
$219.99
{"Id":22751203,"Title":"Proceedings of International Conference on Computational Intelligence and Data Engineering: Iccide 2017","Authors":["Devarakonda, Nagaraju","Chaki, Nabendu","Cortesi, Agostino"],"ShortTitle":"Proceedings of International Conference on Computational Intelligence and\u2026","Author":"Devarakonda, Nagaraju","Ean":"9789811063183","Isbn":"9811063184","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[5623061,3428293,5623123],"CategoryIds":[820,877],"FormatId":2,"FamilyId":null,"SeriesId":484899,"LanguageId":56,"PriceMin":219.99,"PriceMax":219.99,"Desirability":0,"PublicationDate":"2018-01-10T00:00:00","Join":null}
Hyper-Lattice Algebraic Model for Data Warehousing
Sen, Soumya
Cortesi, Agostino
Chaki, Nabendu
Paperback
$54.99
{"Id":20211139,"Title":"Hyper-Lattice Algebraic Model for Data Warehousing","Authors":["Sen, Soumya","Cortesi, Agostino","Chaki, Nabendu"],"ShortTitle":"Hyper-Lattice Algebraic Model for Data Warehousing","Author":"Sen, Soumya","Ean":"9783319280424","Isbn":"3319280422","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4805582,4805583,3428293],"CategoryIds":[617,686,877],"FormatId":2,"FamilyId":null,"SeriesId":319300,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2016-01-29T00:00:00","Join":null}
Advanced Computing and Systems for Security: Volume Five
Chaki, Rituparna
Cortesi, Agostino
Saeed, Khalid
Paperback
$99.99
{"Id":22751382,"Title":"Advanced Computing and Systems for Security: Volume Five","Authors":["Chaki, Rituparna","Cortesi, Agostino","Saeed, Khalid"],"ShortTitle":"Advanced Computing and Systems for Security: Volume Five","Author":"Chaki, Rituparna","Ean":"9789811081798","Isbn":"9811081794","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1044599,5623123,1061891],"CategoryIds":[617,877,1170],"FormatId":2,"FamilyId":801545,"SeriesId":317077,"LanguageId":56,"PriceMin":99.99,"PriceMax":99.99,"Desirability":0,"PublicationDate":"2018-05-21T00:00:00","Join":null}