Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Name: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Price: 72.95 CAD
Availability: InStock
Author: Akash Lal
ISBN: 9783031377051

Constantin Enea Édition : Akash Lal

17 juillet 2023

72,95 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 365 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

488

Lecture Notes In Computer Science

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783031377051

Algorithms and Complexity: 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

Marios Mavronicolas Couverture souple
124,50 $
2 formats offerts
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Sharon Shoham Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Sharon Shoham Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Constantin Enea Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Constantin Enea Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Arie Gurfinkel Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Vijay Ganesh Couverture souple
72,95 $
2 formats offerts
WALCOM: Algorithms and Computation: 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020, Proceedings

M. Sohel Rahman Couverture souple
109,50 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Vijay Ganesh Couverture souple
72,95 $
2 formats offerts
SOFSEM 2020: Theory and Practice of Computer Science: 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings

Alexander Chatzigeorgiou Couverture souple
80,50 $
2 formats offerts
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Couverture souple
116,95 $
2 formats offerts
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Couverture souple
109,50 $
2 formats offerts
Algorithms And Data Structures: 14th International Symposium, Wads 2015, Victoria, Bc, Canada, August 5-7, 2015. Proceedings

Frank Dehne Couverture souple
80,50 $
Computational Intelligence In Music, Sound, Art And Design: 7th International Conference, Evomusart 2018, Parma, Italy, April 4-6, 2018, Proceedings

Antonios Liapis Couverture souple
80,50 $
2 formats offerts
Algorithms for Sensor Systems: 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9-10, 2020, Revised Selected Papers

Cristina M. Pinotti Couverture souple
80,50 $
2 formats offerts
Structural Information and Communication Complexity: 30th International Colloquium, SIROCCO 2023, Alcala de Henares, Spain, June 6-9, 2023, Proceedings

Sergio Rajsbaum Couverture souple
160,95 $
2 formats offerts
Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018, Revised Selected Papers

Zheng Li Couverture souple
80,50 $
2 formats offerts
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Holger Hermanns Couverture souple
116,95 $
2 formats offerts
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Holger Hermanns Couverture souple
58,50 $
Linking Theory and Practice of Digital Libraries: 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings

Omar Alonso Couverture souple
102,50 $
2 formats offerts

Évaluation éditoriale

akash lal

Auteur

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Constantin Enea Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Constantin Enea Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Vijay Ganesh Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Arie Gurfinkel Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Vijay Ganesh Couverture souple
72,95 $
2 formats offerts
Information Security: 27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part II

Nicky Mouha Couverture souple
94,95 $
2 formats offerts
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLV: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLVI

Ale Leonardis Couverture souple
204,50 $
2 formats offerts
Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings

Nicolas Behr Couverture souple
87,95 $
2 formats offerts
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XII: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XIII

Ale Leonardis Couverture souple
116,95 $
2 formats offerts
Information Security: 27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part I

Nicky Mouha Couverture souple
109,50 $
2 formats offerts
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVI: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVII

Ale Leonardis Couverture souple
116,95 $
2 formats offerts
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXX: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXXIX

Ale Leonardis Couverture souple
116,95 $
2 formats offerts
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Andr Platzer Couverture souple
72,95 $
2 formats offerts
Innovative Technologies and Learning: 7th International Conference, ICITL 2024, Tartu, Estonia, August 14-16, 2024, Proceedings, Part II

Yu-ping Cheng Couverture souple
94,95 $
2 formats offerts
Innovative Technologies and Learning: 7th International Conference, ICITL 2024, Tartu, Estonia, August 14-16, 2024, Proceedings, Part I

Yu-ping Cheng Couverture souple
109,50 $
2 formats offerts
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXX: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXXVI

Ale Leonardis Couverture souple
116,95 $
2 formats offerts
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLI: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLIII

Ale Leonardis Couverture souple
116,95 $
2 formats offerts
Data and Applications Security and Privacy XXXVIII: 38th Annual IFIP WG 11.3 Conference, DBSec 2024, San Jose, CA, USA, July 15-17, 2024, Proceedings

Anna Lisa Ferrara Couverture souple
131,50 $
2 formats offerts
Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLI: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLII

Ale Leonardis Couverture souple
116,95 $
2 formats offerts
Conceptual Modeling: 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings

Nick Multari Couverture souple
109,50 $
2 formats offerts

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Description

Vous aimerez peut-être aussi

Algorithms and Complexity: 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

WALCOM: Algorithms and Computation: 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020, Proceedings

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

SOFSEM 2020: Theory and Practice of Computer Science: 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Algorithms And Data Structures: 14th International Symposium, Wads 2015, Victoria, Bc, Canada, August 5-7, 2015. Proceedings

Computational Intelligence In Music, Sound, Art And Design: 7th International Conference, Evomusart 2018, Parma, Italy, April 4-6, 2018, Proceedings

Algorithms for Sensor Systems: 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9-10, 2020, Revised Selected Papers

Structural Information and Communication Complexity: 30th International Colloquium, SIROCCO 2023, Alcala de Henares, Spain, June 6-9, 2023, Proceedings

Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018, Revised Selected Papers

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Linking Theory and Practice of Digital Libraries: 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Information Security: 27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part II

Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLV: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLVI

Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings

Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XII: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XIII

Information Security: 27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part I

Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVI: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LVII

Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXX: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXXIX

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Innovative Technologies and Learning: 7th International Conference, ICITL 2024, Tartu, Estonia, August 14-16, 2024, Proceedings, Part II

Innovative Technologies and Learning: 7th International Conference, ICITL 2024, Tartu, Estonia, August 14-16, 2024, Proceedings, Part I

Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXX: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXXVI

Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLI: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLIII

Data and Applications Security and Privacy XXXVIII: 38th Annual IFIP WG 11.3 Conference, DBSec 2024, San Jose, CA, USA, July 15-17, 2024, Proceedings

Computer Vision - Eccv 2024: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLI: 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLII

Conceptual Modeling: 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings