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: 90.99 CAD
Availability: InStock
Author: Cezara Dragoi
ISBN: 9783031249501

Édition : Cezara Dragoi

17 février 2023

90,99 $ ~~Réduction sur le prix courant 113,23 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer Nature Switzerland

ISBN: 9783031249501

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

cezara dragoi

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