Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers: 2294 (Lecture Notes in Computer Science)
by Agostino Cortesi
ISBN 13: 9783540436317
Format: Paperback (331 pages) Publisher: Springer Published: 24 Apr 2002
Save for later
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings: 1694 (Lecture Notes in Computer Science)
by Agostino Cortesi, Gilberto File
ISBN 13: 9780817641474
Format: Paperback (372 pages) Publisher: Springer Published: 08 Sep 1999
Advanced Computing and Systems for Security: Volume 1: 395 (Advances in Intelligent Systems and Computing)
by Rituparna Chaki, Agostino Cortesi, Khalid Saeed, Nabendu Chaki
ISBN 13: 9788132226482
Format: Paperback (288 pages) Publisher: Springer Published: 13 Nov 2015
Advanced Computing and Systems for Security: Volume 2: 396 (Advances in Intelligent Systems and Computing)
by Rituparna Chaki,Agostino Cortesi,Khalid Saeed,Nabendu Chaki
ISBN 13: 9788132226512
Format: Paperback (336 pages) Publisher: Springer Published: 25 Nov 2015
Computer Information Systems and Industrial Management: 12th IFIP TC 8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, ... 8104 (Lecture Notes in Computer Science)
by Khalid Saeed,Rituparna Chaki,Agostino Cortesi,Slawomir Wierzchon
ISBN 13: 9783642409240
Format: Paperback (544 pages) Publisher: Springer Published: 12 Sep 2013
Hyper-lattice Algebraic Model for Data Warehousing (SpringerBriefs in Applied Sciences and Technology)
by Soumya Sen,Agostino Cortesi,Nabendu Chaki
ISBN 13: 9783319280424
Format: Paperback (76 pages) Publisher: Springer Published: 29 Jan 2016
Advanced Computing and Systems for Security: Volume Three: 567 (Advances in Intelligent Systems and Computing)
by Rituparna Chaki, Khalid Saeed, Agostino Cortesi, Nabendu Chaki
ISBN 13: 9789811034084
Format: Paperback (212 pages) Publisher: Springer Published: 17 Feb 2017
Advanced Computing and Systems for Security: Volume Four: 568 (Advances in Intelligent Systems and Computing)
by Rituparna Chaki,Khalid Saeed,Agostino Cortesi,Nabendu Chaki
ISBN 13: 9789811033902
Format: Paperback (192 pages) Publisher: Springer Published: 17 Mar 2017
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017: 9 (Lecture Notes on Data Engineering and Communications Technologies)
by Nabendu Chaki,Agostino Cortesi,Nagaraju Devarakonda
ISBN 13: 9789811063183
Format: Hardcover (388 pages) Publisher: Springer Published: 31 Oct 2017
Advanced Computing and Systems for Security: Volume Five: 666 (Advances in Intelligent Systems and Computing)
ISBN 13: 9789811081798
Format: Paperback (185 pages) Publisher: Springer Published: 12 Apr 2018
Advanced Computing and Systems for Security: Volume Six: 667 (Advances in Intelligent Systems and Computing)
by Rituparna Chaki, Agostino Cortesi, Khalid Saeed
ISBN 13: 9789811081828
Format: Paperback (180 pages) Publisher: Springer Published: 05 Jun 2018
Advanced Computing and Systems for Security: Volume Seven: 897 (Advances in Intelligent Systems and Computing)
ISBN 13: 9789811332494
Format: Paperback (184 pages) Publisher: Springer Published: 19 Dec 2018