Agostino Cortesi: cercare sul sito Z-Library

Agostino Cortesi

Anno:

2024

Lingua:

english

File:

PDF, 5.05 MB

0 / 0

english, 2024

Challenges of Software Verification (Intelligent Systems Reference Library, 238)

Vincenzo Arceri (editor), Agostino Cortesi (editor), Pietro Ferrara (editor), Martina Olliaro (editor)

Anno:

2023

Lingua:

english

File:

PDF, 5.53 MB

0 / 5.0

english, 2023

Advanced Computing and Systems for Security: Volume Four

Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki (eds.)

Anno:

2017

Lingua:

english

File:

PDF, 6.36 MB

0 / 0

english, 2017

Advanced Computing and Systems for Security: Volume Ten

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Anno:

2020

Lingua:

english

File:

PDF, 4.89 MB

0 / 0

english, 2020

Challenges of Software Verification

Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro

Anno:

2023

Lingua:

english

File:

PDF, 5.53 MB

0 / 0

english, 2023

Proceedings of International Conference on Computational Intelligence and Data Engineering

Nabendu Chaki, Nagaraju Devarakonda, Agostino Cortesi

Anno:

2023

Lingua:

english

File:

PDF, 19.69 MB

0 / 5.0

english, 2023

Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017

Nabendu Chaki, Agostino Cortesi, Nagaraju Devarakonda (eds.)

Anno:

2018

Lingua:

english

File:

PDF, 12.87 MB

0 / 0

english, 2018

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

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta (auth.), Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń (eds.)

Anno:

2012

Lingua:

english

File:

PDF, 18.25 MB

0 / 0

english, 2012

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

Cinzia Bernardeschi, Nicoletta De Francesco (auth.), Agostino Cortesi (eds.)

Anno:

2002

Lingua:

english

File:

PDF, 2.38 MB

0 / 0

english, 2002

Advanced Computing and Systems for Security: Volume 13

Rituparna Chaki, Nabendu Chaki, Agostino Cortesi, Khalid Saeed

Anno:

2021

Lingua:

english

File:

EPUB, 32.76 MB

0 / 0

english, 2021

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

Young Im Cho (auth.), Nabendu Chaki, Agostino Cortesi (eds.)

Anno:

2011

Lingua:

english

File:

PDF, 7.40 MB

0 / 0

english, 2011

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

Young Im Cho (auth.), Nabendu Chaki, Agostino Cortesi (eds.)

Anno:

2011

Lingua:

english

File:

PDF, 8.13 MB

0 / 0

english, 2011

Misurare l’innovazione digitale Gli indicatori di successo delle politiche di innovazione territoriale

Edizioni Ca'Foscari

Elvio Tasso, Antonino Mola, Agostino Cortesi, Antonio Candiello

Anno:

2016

Lingua:

italian

File:

PDF, 8.84 MB

0 / 0

italian, 2016

Advanced Computing and Systems for Security: Volume 13

Rituparna Chaki, Nabendu Chaki, Agostino Cortesi, Khalid Saeed

Anno:

2021

Lingua:

english

File:

EPUB, 32.76 MB

0 / 0

english, 2021

Institutional Change for Gender Equality in Research

Edizioni Ca'Foscari

Maria Sangiuliano, Agostino Cortesi

Anno:

2019

Lingua:

english

File:

PDF, 6.27 MB

0 / 5.0

english, 2019

Donne e tecnologie informatiche

Edizioni Ca'Foscari

Emanuela Boschetto, Antonio Candiello, Agostino Cortesi, Fabio Fignani

Anno:

2016

File:

PDF, 3.35 MB

0 / 0

2016

Advanced Computing and Systems for Security: Volume Seven

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Anno:

2019

Lingua:

english

File:

PDF, 5.68 MB

0 / 0

english, 2019

Advanced Computing and Systems for Security: Volume 14 (Lecture Notes in Networks and Systems, 242)

Rituparna Chaki (editor), Nabendu Chaki (editor), Agostino Cortesi (editor), Khalid Saeed (editor)

Anno:

2021

Lingua:

english

File:

PDF, 6.31 MB

0 / 5.0

english, 2021

Advanced Computing and Systems for Security: Volume Eleven

Springer Singapore;Springer

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Anno:

2021

Lingua:

english

File:

PDF, 4.05 MB

0 / 0

english, 2021

Advanced Computing and Systems for Security: Volume 1

Springer India

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki (eds.)

Anno:

2016

Lingua:

english

File:

PDF, 10.23 MB

0 / 0

english, 2016

Advanced Computing and Systems for Security

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Anno:

2018

Lingua:

english

File:

PDF, 6.67 MB

0 / 5.0

english, 2018

Advanced Computing and Systems for Security: Volume Nine

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Anno:

2020

Lingua:

english

File:

PDF, 4.31 MB

0 / 0

english, 2020

Advanced Computing and Systems for Security: Volume 2

Springer India

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki (eds.)

Anno:

2016

Lingua:

english

File:

PDF, 10.77 MB

0 / 0

english, 2016

Advanced Computing and Systems for Security: Volume Eight

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Anno:

2019

Lingua:

english

File:

PDF, 6.99 MB

0 / 0

english, 2019

Advanced Computing and Systems for Security: Volume 13

Rituparna Chaki, Nabendu Chaki, Agostino Cortesi, Khalid Saeed

Anno:

2021

Lingua:

english

File:

PDF, 5.87 MB

0 / 0

english, 2021

Advanced Computing and Systems for Security: Volume Three

Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki (eds.)

Anno:

2017

Lingua:

english

File:

PDF, 5.19 MB

0 / 0

english, 2017

Hyper-lattice Algebraic Model for Data Warehousing

Springer International Publishing

Soumya Sen, Agostino Cortesi, Nabendu Chaki (auth.)

Anno:

2016

Lingua:

english

File:

PDF, 2.31 MB

0 / 0

english, 2016

Advanced Computing and Systems for Security Volume twelve

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Lingua:

english

File:

PDF, 5.79 MB

0 / 0

english

Advanced Computing and Systems for Security. Vol. 5 (Advances in Intelligent Systems and Computing 666)

Rituparna Chaki (ed.), Agostino Cortesi (ed.), Khalid Saeed (ed.), Nabendu Chaki (ed.)

Anno:

2018

Lingua:

english

File:

PDF, 8.13 MB

0 / 5.0

english, 2018

Static Analysis: 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings

John Hatcliff, James Corbett, Matthew Dwyer, Stefan Sokolowski, Hongjun Zheng (auth.), Agostino Cortesi, Gilberto Filé (eds.)

Anno:

1999

Lingua:

english

File:

PDF, 2.96 MB

0 / 0

english, 1999

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

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta (auth.), Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń (eds.)

Anno:

2012

Lingua:

english

File:

PDF, 22.42 MB

0 / 0

english, 2012

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

Mieczysław A. Kłopotek (auth.), Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Sławomir Wierzchoń (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 13.90 MB

0 / 0

english, 2013

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

Rituparna Chaki · Nabendu Chaki · Agostino Cortesi · Khalid Saeed Editors

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki, (eds.)

Anno:

2023

Lingua:

english

File:

PDF, 10.48 MB

0 / 0

english, 2023

Advanced Computing and Systems for Security: Volume 14

Anno:

2021

Lingua:

english

File:

PDF, 6.31 MB

0 / 0

english, 2021

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

Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)

Anno:

2003

Lingua:

english

File:

PDF, 2.51 MB

0 / 0

english, 2003

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

Springer Nature

Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki

Anno:

2023

Lingua:

english

File:

EPUB, 52.24 MB

0 / 0

english, 2023

Advanced Computing and Systems for Security: Volume 14

Rituparna Chaki, Nabendu Chaki, Agostino Cortesi, Khalid Saeed

Lingua:

english

File:

EPUB, 23.59 MB

0 / 0

english

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

Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)

Anno:

2003

Lingua:

english

File:

PDF, 22.12 MB

0 / 0

english, 2003

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

Cinzia Bernardeschi, Nicoletta De Francesco (auth.), Agostino Cortesi (eds.)

Anno:

2002

Lingua:

english

File:

PDF, 4.10 MB

0 / 0

english, 2002

Advanced Computing and Systems for Security: Volume 13