Books found that match ""

23 books were found.

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

Static Analysis: 6th International Symposium, SAS'99,...

Author: Agostino Cortesi ,  Gilberto File
ISBN: 9783540664598
Format: Paperback
$197.87

The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applications...  Read More >>

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

Verification, Model Checking, and Abstract Interpretation:...

Author: Agostino Cortesi
ISBN: 9783540436317
Format: Paperback
$171.47

Constitutes the post-proceedings of the Third International Workshop on Verification, Model Checking and Abstract...  Read More >>

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

Computer Information Systems and Industrial Management:...

Author: Agostino Cortesi ,  Nabendu Chaki
ISBN: 9783642332593
Format: Paperback
$181.10

This book constitutes the refereed proceedings of the 11th International Conference on Computer Information Systems...  Read More >>

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation...

Author: Agostino Cortesi
ISBN: 9783540829720
Format: Undefined
$65.87

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification,...  Read More >>

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

Computer Information Systems - Analysis and Technologies:...

Author: Nabendu Chaki ,  Agostino Cortesi
ISBN: 9783642272448
Format: Paperback
$203.12

This book constitutes the refereed proceedings of the 10th International Conference on Computer Information Systems,...  Read More >>

Advanced Computing and Systems for Security: Volume Five

Advanced Computing and Systems for Security: Volume...

Author: Rituparna Chaki ,  Agostino Cortesi
ISBN: 9789811081798
Format: Paperback
$206.97

This book contains extended version of selected works that have been discussed and presented in the fourth International...  Read More >>

Advanced Computing and Systems for Security: Volume Six

Advanced Computing and Systems for Security: Volume...

Author: Rituparna Chaki ,  Agostino Cortesi
ISBN: 9789811081828
Format: Paperback
$206.97

This book contains extended version of selected works that have been discussed and presented in the fourth International...  Read More >>

Advanced Computing and Systems for Security: Volume Seven

Advanced Computing and Systems for Security: Volume...

Author: Rituparna Chaki ,  Agostino Cortesi
ISBN: 9789811332494
Format: Paperback
$206.97

The book includes extended versions of selected papers discussed and presented at the 5th International Doctoral...  Read More >>

Advanced Computing and Systems for Security: Volume Eight

Advanced Computing and Systems for Security: Volume...

Author: Rituparna Chaki ,  Agostino Cortesi
ISBN: 9789811337017
Format: Paperback
$206.97

The book includes extended versions of selected papers discussed and presented at the 5th International Doctoral...  Read More >>

Advanced Computing and Systems for Security: Volume Nine

Advanced Computing and Systems for Security: Volume...

Author: Rituparna Chaki ,  Agostino Cortesi
ISBN: 9789811389610
Format: Paperback
$232.85

This book features extended versions of selected papers that were presented and discussed at the 6th International...  Read More >>

Advanced Computing and Systems for Security: Volume Ten

Advanced Computing and Systems for Security: Volume...

Author: Rituparna Chaki ,  Agostino Cortesi
ISBN: 9789811389689
Format: Paperback
$232.85

This book features extended versions of selected papers that were presented and discussed at the 6th International...  Read More >>

Advanced Computing and Systems for Security: Volume Twelve

Advanced Computing and Systems for Security: Volume...

Author: Rituparna Chaki ,  Agostino Cortesi
ISBN: 9789811529290
Format: Paperback
$232.85

This book features extended versions of selected papers that were presented and discussed at the 7th International...  Read More >>

Hyper-lattice Algebraic Model for Data Warehousing

Hyper-lattice Algebraic Model for Data Warehousing

Author: Soumya Sen ,  Agostino Cortesi
ISBN: 9783319280424
Format: Paperback
$129.35

 Read More >>

Advanced Computing and Systems for Security: Volume 1

Advanced Computing and Systems for Security: Volume...

Author: Rituparna Chaki ,  Agostino Cortesi
ISBN: 9788132226482
Format: Paperback
$194.04

The book contains the extended version of the works that have been presented and discussed in the Second International...  Read More >>

Advanced Computing and Systems for Security: Volume 2

Advanced Computing and Systems for Security: Volume...

Author: Rituparna Chaki ,  Agostino Cortesi
ISBN: 9788132226512
Format: Paperback
$258.72

The book contains the extended version of the works that have been presented and discussed in the Second International...  Read More >>

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

Proceedings of International Conference on Computational...

Author: Nabendu Chaki ,  Agostino Cortesi
ISBN: 9789811063183
Format: Paperback
$520.09

The book presents high quality research work in cutting edge technologies and most-happening areas of computational...  Read More >>

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:...

Author: Lenore D. Zuck ,  Paul D. Attie
ISBN: 9783540003489
Format: Paperback
$211.07

This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract...  Read More >>

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:...

Author: Khalid Saeed ,  Rituparna Chaki
ISBN: 9783642409240
Format: Paperback
$206.97

This book constitutes the proceedings of the 12th IFIP TC 8 International Conference, CISIM 2013, held in Cracow,...  Read More >>

Advanced Computing and Systems for Security: Volume Four

Advanced Computing and Systems for Security: Volume...

Author: Rituparna Chaki ,  Khalid Saeed
ISBN: 9789811033902
Format: Paperback
$206.97

This book presents extended versions of papers originally presented and discussed at the 3rd International Doctoral...  Read More >>

Advanced Computing and Systems for Security: Volume Three

Advanced Computing and Systems for Security: Volume...

Author: Rituparna Chaki ,  Khalid Saeed
ISBN: 9789811034084
Format: Paperback
$206.97

This book presents extended versions of papers originally presented and discussed at the 3rd International Doctoral...  Read More >>

Advanced Computing and Systems for Security: Volume 13

Advanced Computing and Systems for Security: Volume...

Author: Rituparna Chaki ,  Nabendu Chaki
ISBN: 9789811642869
Format: Paperback
$316.77

This book features extended versions of selected papers that were presented and discussed at the 8th International...  Read More >>

Advanced Computing and Systems for Security: Volume 14

Advanced Computing and Systems for Security: Volume...

Author: Rituparna Chaki ,  Nabendu Chaki
ISBN: 9789811642937
Format: Paperback
$316.77

This book features extended versions of selected papers that were presented and discussed at the 8th International...  Read More >>

Shopping Cart
Your cart is empty
Shopping cart