Cărți de Agostino Cortesi

Studies in Big Data, nr. 141

Editat de Agostino Cortesi

14 mar 2024

Preț: 1134^.78 lei 1418^.48 lei

22-36 zile

-20%

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

Lecture Notes in Networks and Systems, nr. 781

Editat de Rituparna Chaki et al.

27 dec 2023

Preț: 1133^.96 lei 1417^.45 lei

22-36 zile

-20%

Intelligent Systems Reference Library, nr. 238

Editat de Vincenzo Arceri et al.

25 iul 2023

Preț: 815^.83 lei 1019^.78 lei

22-36 zile | 5-11 zile

-20%

Advanced Computing and Systems for Security: Volume 13

Lecture Notes in Networks and Systems, nr. 241

Editat de Rituparna Chaki et al.

4 noi 2021

Preț: 740^.40 lei 925^.50 lei

22-36 zile

-20%

Advanced Computing and Systems for Security: Volume 14

Lecture Notes in Networks and Systems, nr. 242

Editat de Rituparna Chaki et al.

22 sep 2021

Preț: 686^.23 lei 857^.79 lei

22-36 zile

-20%

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

Lecture Notes on Data Engineering and Communications Technologies, nr. 9

Editat de Nabendu Chaki et al.

10 ian 2018

Preț: 1250^.32 lei 1562^.89 lei

43-57 zile

-20%

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

Lecture Notes on Data Engineering and Communications Technologies, nr. 99

Editat de Nabendu Chaki et al.

mar 2022

Preț: 1143^.50 lei 1429^.38 lei

43-57 zile

-20%

Advanced Computing and Systems for Security: Volume Twelve

Advances in Intelligent Systems and Computing, nr. 1136

Editat de Rituparna Chaki et al.

2 feb 2020

Preț: 299^.96 lei 374^.96 lei

38-44 zile

-20%

Hyper-lattice Algebraic Model for Data Warehousing

SpringerBriefs in Applied Sciences and Technology

Autor Soumya Sen et al.

29 ian 2016

Preț: 367^.91 lei

43-57 zile

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

Lecture Notes in Computer Science, nr. 8104

Editat de Khalid Saeed et al.

12 sep 2013

Preț: 337^.35 lei 421^.69 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 7564

Editat de Agostino Cortesi et al.

10 aug 2012

Preț: 333^.46 lei 416^.83 lei

43-57 zile

-20%

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

Communications in Computer and Information Science, nr. 245

Editat de Nabendu Chaki et al.

6 dec 2011

Preț: 329^.26 lei 411^.58 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 2575

Editat de Lenore D. Zuck et al.

13 dec 2002

Preț: 339^.27 lei 424^.08 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 2294

Editat de Agostino Cortesi

24 apr 2002

Preț: 339^.59 lei 424^.49 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 1694

Editat de Agostino Cortesi et al.

8 sep 1999

Preț: 329^.44 lei 411^.80 lei

43-57 zile

-20%

Cărți de Agostino Cortesi

Space Data Management

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

Challenges of Software Verification

Advanced Computing and Systems for Security: Volume 13

Advanced Computing and Systems for Security: Volume 14

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

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

Advanced Computing and Systems for Security: Volume Twelve

Hyper-lattice Algebraic Model for Data Warehousing

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

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

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

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

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

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

Papetărie, jocuri, reviste

Cărți de Agostino Cortesi