Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Name: Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Price: 124.50 CAD
Availability: InStock
Author: Jingbo Wang
ISBN: 9783031249495

Cezara Dragoi Édition : Michael Emmi , Jingbo Wang

17 janvier 2023

124,50 $

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 623 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

389

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031249495

AIxIA 2023 - Advances in Artificial Intelligence: XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

Roberto Basili Couverture souple
116,95 $
2 formats offerts
Artificial Intelligence: Third CAAI International Conference, CICAI 2023, Fuzhou, China, July 22-23, 2023, Revised Selected Papers, Part II

Fang Lu Couverture souple
131,50 $
2 formats offerts
Similarity Search and Applications: 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 - October 2, 2020, Proceedings

Shin'ichi Satoh Couverture souple
145,95 $
2 formats offerts
Image Analysis and Processing - ICIAP 2023: 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II

Gian Luca Foresti Couverture souple
131,50 $
2 formats offerts
Artificial Intelligence: Third CAAI International Conference, CICAI 2023, Fuzhou, China, July 22-23, 2023, Revised Selected Papers, Part II

Lu Fang Couverture souple
58,50 $
Chinese Computational Linguistics: 23rd China National Conference, CCL 2024, Taiyuan, China, July 25-28, 2024, Proceedin: 23rd China National Conference, CCL 2024, Taiyuan, China, July 25-28, 2024, Proceedings

Maosong Sun Couverture souple
131,50 $
Advances in Case-Based Reasoning: 9th European Conference, Eccbr 2008, Trier, Germany, September 1-4, 2008, Proceedings

Klaus-Dieter Althoff Couverture souple
160,95 $
Applied Parallel Computing: Advanced Scientific Computing: 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002. Proceedings

Juha Fagerholm Couverture souple
160,95 $
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

David Basin Couverture souple
160,95 $
Document Analysis And Recognition - Icdar 2021: 16th International Conference, Lausanne, Switzerland, September 5-10, 2021, Proceedings, Part Ii

Josep Llad Couverture souple
160,95 $
2 formats offerts
Artificial Intelligence: Third CAAI International Conference, CICAI 2023, Fuzhou, China, July 22-23, 2023, Revised Selected Papers, Part I

Lu Fang Couverture souple
58,50 $
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Rayna Dimitrova Couverture souple
109,50 $
2 formats offerts
Chinese Computational Linguistics: 22nd China National Conference, CCL 2023, Harbin, China, August 3-5, 2023, Proceeding: 22nd China National Conference, CCL 2023, Harbin, China, August 3-5, 2023, Proceedings

Maosong Sun Couverture souple
116,95 $
2 formats offerts
Document Analysis And Recognition - Icdar 2021: 16th International Conference, Lausanne, Switzerland, September 5-10, 2021, Proceedings, Part Iii

Josep Llad Couverture souple
80,50 $
2 formats offerts
Computational Science - Iccs 2021: 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part Ii

Maciej Paszynski Couverture souple
131,50 $
2 formats offerts
Automated Reasoning With Analytic Tableaux And Related Methods: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Renate A. Schmidt Couverture souple
102,50 $
2 formats offerts
Logic And Argumentation: Third International Conference, Clar 2020, Hangzhou, China, April 6-9, 2020, Proceedings

Mehdi Dastani Couverture souple
80,50 $
2 formats offerts
Flexible Query Answering Systems: 10th International Conference, Fqas 2013, Granada, Spain, September 18-20, 2013. Proceedings

Henrik Legind Larsen Couverture souple
80,50 $
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Rayna Dimitrova Couverture souple
58,50 $
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Rayna Dimitrova Couverture souple
109,50 $
2 formats offerts

Évaluation éditoriale

michael emmi

Auteur

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Rayna Dimitrova Couverture souple
109,50 $
2 formats offerts
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Rayna Dimitrova Couverture souple
109,50 $
2 formats offerts
Verification, Model Checking, And Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings

Bernd Finkbeiner Couverture souple
145,95 $
2 formats offerts
Medical Image Understanding and Analysis: 27th Annual Conference, MIUA 2023, Aberdeen, UK, July 19-21, 2023, Proceedings

Gordon Waiter Couverture souple
109,50 $
2 formats offerts
Verification, Model Checking, And Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

Fritz Henglein Couverture souple
145,95 $
2 formats offerts
Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Virgile Prevosto Couverture souple
80,50 $
2 formats offerts
Verification, Model Checking, And Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proceedings

Dirk Beyer Couverture souple
131,50 $
2 formats offerts
Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Michael Hanus Couverture souple
124,50 $
2 formats offerts
Graph Transformation: 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings

Maribel Fernández Couverture souple
102,50 $
2 formats offerts
Verification, Model Checking, And Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Constantin Enea Couverture souple
80,50 $
2 formats offerts
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Rayna Dimitrova Couverture souple
58,50 $
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Rayna Dimitrova Couverture souple
58,50 $
Medical Image Understanding and Analysis: 28th Annual Conference, MIUA 2024, Manchester, UK, July 24-26, 2024, Proceedings, Part I

Moi Hoon Yap Couverture souple
116,95 $
2 formats offerts
Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings

Volker Diekert Couverture souple
124,50 $
2 formats offerts
Algorithms and Data Structures: 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings

Subhash Suri Couverture souple
175,50 $
2 formats offerts
Unconventional Computation and Natural Computation: 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings

Daniela Genova Couverture souple
102,50 $
2 formats offerts
Medical Image Understanding and Analysis: 28th Annual Conference, MIUA 2024, Manchester, UK, July 24-26, 2024, Proceedings, Part II

Moi Hoon Yap 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
116,95 $
2 formats offerts
Theory of Cryptography: 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part I

Eike Kiltz Couverture souple
175,50 $
2 formats offerts
Evolutionary Multi-Criterion Optimization: 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings

Michael Emmerich Couverture souple
145,95 $
2 formats offerts

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Description

Vous aimerez peut-être aussi

AIxIA 2023 - Advances in Artificial Intelligence: XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

Artificial Intelligence: Third CAAI International Conference, CICAI 2023, Fuzhou, China, July 22-23, 2023, Revised Selected Papers, Part II

Similarity Search and Applications: 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 - October 2, 2020, Proceedings

Image Analysis and Processing - ICIAP 2023: 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II

Artificial Intelligence: Third CAAI International Conference, CICAI 2023, Fuzhou, China, July 22-23, 2023, Revised Selected Papers, Part II

Chinese Computational Linguistics: 23rd China National Conference, CCL 2024, Taiyuan, China, July 25-28, 2024, Proceedin: 23rd China National Conference, CCL 2024, Taiyuan, China, July 25-28, 2024, Proceedings

Advances in Case-Based Reasoning: 9th European Conference, Eccbr 2008, Trier, Germany, September 1-4, 2008, Proceedings

Applied Parallel Computing: Advanced Scientific Computing: 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Document Analysis And Recognition - Icdar 2021: 16th International Conference, Lausanne, Switzerland, September 5-10, 2021, Proceedings, Part Ii

Artificial Intelligence: Third CAAI International Conference, CICAI 2023, Fuzhou, China, July 22-23, 2023, Revised Selected Papers, Part I

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Chinese Computational Linguistics: 22nd China National Conference, CCL 2023, Harbin, China, August 3-5, 2023, Proceeding: 22nd China National Conference, CCL 2023, Harbin, China, August 3-5, 2023, Proceedings

Document Analysis And Recognition - Icdar 2021: 16th International Conference, Lausanne, Switzerland, September 5-10, 2021, Proceedings, Part Iii

Computational Science - Iccs 2021: 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part Ii

Automated Reasoning With Analytic Tableaux And Related Methods: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Logic And Argumentation: Third International Conference, Clar 2020, Hangzhou, China, April 6-9, 2020, Proceedings

Flexible Query Answering Systems: 10th International Conference, Fqas 2013, Granada, Spain, September 18-20, 2013. Proceedings

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Verification, Model Checking, And Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings

Medical Image Understanding and Analysis: 27th Annual Conference, MIUA 2023, Aberdeen, UK, July 19-21, 2023, Proceedings

Verification, Model Checking, And Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Verification, Model Checking, And Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proceedings

Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Graph Transformation: 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings

Verification, Model Checking, And Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Medical Image Understanding and Analysis: 28th Annual Conference, MIUA 2024, Manchester, UK, July 24-26, 2024, Proceedings, Part I

Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings

Algorithms and Data Structures: 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings

Unconventional Computation and Natural Computation: 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings

Medical Image Understanding and Analysis: 28th Annual Conference, MIUA 2024, Manchester, UK, July 24-26, 2024, Proceedings, Part II

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

Theory of Cryptography: 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part I

Evolutionary Multi-Criterion Optimization: 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings