Order Total (1 Item Items):
Shipping Destination:
Lal Akash (67 results)
Author:
lal akash
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (67)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (59)
- As New, Fine or Near Fine (4)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (4)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (67)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (29)
- Not Print on Demand (43)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
-
-
-
-
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 39.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 39.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 39.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
-
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
Verified Software. Theories, Tools and Experiments.: 14th International Conference, Vstte 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Language: English
Published by Springer-Nature New York Inc, 2023
ISBN 10: 3031258029 ISBN 13: 9783031258022
Paperback. Condition: Brand New. 175 pages. 9.25x6.10x0.38 inches. In Stock.
-
Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2023
ISBN 10: 3031377028 ISBN 13: 9783031377020
Paperback. Condition: Brand New. 476 pages. 9.25x6.10x0.96 inches. In Stock.
-
Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2023
ISBN 10: 3031377087 ISBN 13: 9783031377082
Paperback. Condition: Brand New. 519 pages. 9.25x6.10x1.05 inches. In Stock.
-
Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2023
ISBN 10: 3031377052 ISBN 13: 9783031377051
Paperback. Condition: Brand New. 519 pages. 9.25x6.10x1.05 inches. In Stock.
-
Paperback. Condition: Brand New. 2015 edition. 484 pages. 9.30x6.20x1.20 inches. In Stock.
-
Verified Software. Theories, Tools and Experiments.
Language: English
Published by Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 3031258029 ISBN 13: 9783031258022
Condition: New.
-
Computer Aided Verification
Language: English
Published by Springer Nature Switzerland, Springer Nature Switzerland Jul 2023, 2023
ISBN 10: 3031377052 ISBN 13: 9783031377051
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;Part II: Decision procedures; model checking; neural networks and machine learning;Part II: Probabilistic systems; security and quantum systems; software verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 520 pp. Englisch.
-
Computer Aided Verification
Language: English
Published by Springer Nature Switzerland, Springer International Publishing Jul 2023, 2023
ISBN 10: 3031377087 ISBN 13: 9783031377082
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;Part II: Decision procedures; model checking; neural networks and machine learning;Part II: Probabilistic systems; security and quantum systems; software verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 520 pp. Englisch.
-
Computer Aided Verification
Language: English
Published by Springer Nature Switzerland, Springer International Publishing Jul 2023, 2023
ISBN 10: 3031377028 ISBN 13: 9783031377020
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;Part II: Decision procedures; model checking; neural networks and machine learning;Part II: Probabilistic systems; security and quantum systems; software verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.
-
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17¿22, 2023, Proceedings, Part II
Language: English
Published by Springer Nature Switzerland, 2023
ISBN 10: 3031377028 ISBN 13: 9783031377020
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
-
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17¿22, 2023, Proceedings, Part III
Language: English
Published by Springer Nature Switzerland, 2023
ISBN 10: 3031377087 ISBN 13: 9783031377082
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
