MPG.eBooks - Author Search Results

1

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

by Cortesi, Agostino
Published 1999

Springer-Verlag Berlin Heidelberg

Read Now

2

Hyper-lattice Algebraic Model for Data Warehousing

by Sen, Soumya, Cortesi, Agostino, Chaki, Nabendu
Published 2016

Springer International Publishing

Read Now

3

Space Data Management

Published 2024

Springer Nature Singapore

Other Authors: “...Cortesi, Agostino...”

Read Now

4

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

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Cortesi, Agostino...”

Read Now

5

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

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Cortesi, Agostino...”

Read Now

6

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

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Cortesi, Agostino...”

Read Now

7

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

Published 2018

Springer Nature Singapore

Other Authors: “...Cortesi, Agostino...”

Read Now

8

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

Published 2023

Springer Nature Singapore

Other Authors: “...Cortesi, Agostino...”

Read Now

9

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

by Zuck, Lenore D
Published 2003

Springer-Verlag Berlin Heidelberg

Other Authors: “...Cortesi, Agostino...”

Read Now

10

Advanced Computing and Systems for Security : Volume 1

Published 2016

Springer India

Other Authors: “...Cortesi, Agostino...”

Read Now

11

Advanced Computing and Systems for Security : Volume 2

Published 2016

Springer India

Other Authors: “...Cortesi, Agostino...”

Read Now

12

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

Published 2022

Springer Nature Singapore

Other Authors: “...Cortesi, Agostino...”

Read Now

13

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

Published 2023

Springer Nature Singapore

Other Authors: “...Cortesi, Agostino...”

Read Now

14

Advanced Computing and Systems for Security: Volume 13

Published 2022

Springer Nature Singapore

Other Authors: “...Cortesi, Agostino...”

Read Now

15

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

Published 2023

Springer Nature Singapore

Other Authors: “...Cortesi, Agostino...”

Read Now

16

Challenges of Software Verification

Published 2023

Springer Nature Singapore

Other Authors: “...Cortesi, Agostino...”

Read Now

17

Advanced Computing and Systems for Security : Volume Four

Published 2017

Springer Nature Singapore

Other Authors: “...Cortesi, Agostino...”

Read Now

18

Advanced Computing and Systems for Security : Volume Three

Published 2017

Springer Nature Singapore

Other Authors: “...Cortesi, Agostino...”

Read Now

19

Advanced Computing and Systems for Security : Volume Five

Published 2018

Springer Nature Singapore

Other Authors: “...Cortesi, Agostino...”

Read Now

20

Advanced Computing and Systems for Security : Volume Six

Published 2018

Springer Nature Singapore

Other Authors: “...Cortesi, Agostino...”

Related Subjects