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

Name: Verification, Model Checking, And Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings
Price: 145.95 CAD
Availability: InStock
Author: Thomas Wies
ISBN: 9783030945824

Bernd Finkbeiner Édition : Thomas Wies

14 janvier 2022

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

Description

Langue

anglais

Pages

520

Theoretical Computer Science and General Issues

Publié par: Springer Nature

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

ISBN: 9783030945824

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Vi

Valeria V. Krzhizhanovskaya Couverture souple
80,50 $
2 formats offerts
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Vii

Valeria V. Krzhizhanovskaya Couverture souple
160,95 $
2 formats offerts
Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings

Guido Governatori Couverture souple
102,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Couverture souple
80,50 $
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Iv

Valeria V. Krzhizhanovskaya Couverture souple
80,50 $
2 formats offerts
Progress In Pattern Recognition, Image Analysis, Computer Vision, And Applications: 23rd Iberoamerican Congress, Ciarp 2018, Madrid, Spain, November 19-22, 2018, Proceedings

Ruben Vera-rodriguez Couverture souple
160,95 $
2 formats offerts
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Ii

Valeria V. Krzhizhanovskaya Couverture souple
80,50 $
2 formats offerts
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Iii

Valeria V. Krzhizhanovskaya Couverture souple
80,50 $
2 formats offerts
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V

Valeria V. Krzhizhanovskaya Couverture souple
80,50 $
2 formats offerts
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part I

Valeria V. Krzhizhanovskaya Couverture souple
80,50 $
2 formats offerts
Medical Image Understanding and Analysis: 24th Annual Conference, MIUA 2020, Oxford, UK, July 15-17, 2020, Proceedings

Bartåomiej W. Papie Couverture souple
58,50 $
Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima Couverture souple
80,50 $
2 formats offerts
Artificial Intelligence over Infrared Images for Medical Applications and Medical Image Assisted Biomarker Discovery: First MICCAI Workshop, AIIIMA 2022, and First MICCAI Workshop, MIABID 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18 and 22, 2022, Proceedings

Siva Teja Kakileti Couverture souple
87,95 $
2 formats offerts
UM99 User Modeling: Proceedings of the Seventh International Conference

Couverture souple
71,50 $
International Conference on Advances in Pattern Recognition: Proceedings Of Icapr '98, 23-25 November 1998, Plymouth, Uk

Sameer Singh Couverture souple
160,95 $
Multiple Classifier Systems: Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001 Proceedings

Josef Kittler Couverture souple
80,50 $
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Couverture souple
71,50 $
Perinatal, Preterm and Paediatric Image Analysis: 7th International Workshop, PIPPI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings

Roxane Licandro Couverture souple
87,95 $
2 formats offerts
Medical Optical Imaging and Virtual Microscopy Image Analysis: First International Workshop, MOVI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings

Yuankai Huo Couverture souple
87,95 $
2 formats offerts
Graph Drawing and Network Visualization: 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers

Patrizio Angelini Couverture souple
131,50 $
2 formats offerts

Évaluation éditoriale

thomas wies

Auteur

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
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: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proceedings

Dirk Beyer Couverture souple
131,50 $
2 formats offerts
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Cezara Dragoi Couverture souple
124,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
109,50 $
2 formats offerts
Developments In Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11-15, 2020, Proceedings

Nata Jonoska 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 II

Rayna Dimitrova Couverture souple
109,50 $
2 formats offerts
Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings

Fabrizio Biondi Couverture souple
80,50 $
2 formats offerts
Computing And Combinatorics: 25th International Conference, Cocoon 2019, Xi'an, China, July 29-31, 2019, Proceedings

Ding-Zhu Du Couverture souple
80,50 $
2 formats offerts
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Gilles Barthe Couverture souple
80,50 $
Unconventional Computation And Natural Computation: 16th International Conference, Ucnc 2017, Fayetteville, Ar, Usa, June 5-9, 2017, Proceedings

Matthew J. Patitz Couverture souple
80,50 $
2 formats offerts
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Einar Broch Johnsen Couverture souple
80,50 $
2 formats offerts
Verification And Evaluation Of Computer And Communication Systems: 14th International Conference, Vecos 2020, Xi'an, China, October 26-27, 2020, Proceedings

Belgacem Ben Hedia Couverture souple
80,50 $
2 formats offerts
Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Sebastian Maneth Couverture souple
80,50 $
2 formats offerts
Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I

Shuvendu K. Lahiri Couverture souple
65,95 $
2 formats offerts
Computational Intelligence in Music, Sound, Art and Design: 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings

Anik Ek Couverture souple
94,95 $
2 formats offerts
String Processing And Information Retrieval: 27th International Symposium, Spire 2020, Orlando, Fl, Usa, October 13-15, 2020, Proceedings

Christina Boucher Couverture souple
80,50 $
2 formats offerts
Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14, 2019, Proceedings

Majid Zamani Couverture souple
80,50 $
2 formats offerts
Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima Couverture souple
80,50 $
2 formats offerts
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Shuvendu K. Lahiri Couverture souple
65,95 $
2 formats offerts

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

Description

Vous aimerez peut-être aussi

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Vi

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Vii

Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Iv

Progress In Pattern Recognition, Image Analysis, Computer Vision, And Applications: 23rd Iberoamerican Congress, Ciarp 2018, Madrid, Spain, November 19-22, 2018, Proceedings

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Ii

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Iii

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part I

Medical Image Understanding and Analysis: 24th Annual Conference, MIUA 2020, Oxford, UK, July 15-17, 2020, Proceedings

Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Artificial Intelligence over Infrared Images for Medical Applications and Medical Image Assisted Biomarker Discovery: First MICCAI Workshop, AIIIMA 2022, and First MICCAI Workshop, MIABID 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18 and 22, 2022, Proceedings

UM99 User Modeling: Proceedings of the Seventh International Conference

International Conference on Advances in Pattern Recognition: Proceedings Of Icapr '98, 23-25 November 1998, Plymouth, Uk

Multiple Classifier Systems: Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001 Proceedings

Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Perinatal, Preterm and Paediatric Image Analysis: 7th International Workshop, PIPPI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings

Medical Optical Imaging and Virtual Microscopy Image Analysis: First International Workshop, MOVI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings

Graph Drawing and Network Visualization: 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Verification, Model Checking, And Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, 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: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proceedings

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

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

Developments In Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11-15, 2020, Proceedings

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

Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings

Computing And Combinatorics: 25th International Conference, Cocoon 2019, Xi'an, China, July 29-31, 2019, Proceedings

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Unconventional Computation And Natural Computation: 16th International Conference, Ucnc 2017, Fayetteville, Ar, Usa, June 5-9, 2017, Proceedings

Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Verification And Evaluation Of Computer And Communication Systems: 14th International Conference, Vecos 2020, Xi'an, China, October 26-27, 2020, Proceedings

Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I

Computational Intelligence in Music, Sound, Art and Design: 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings

String Processing And Information Retrieval: 27th International Symposium, Spire 2020, Orlando, Fl, Usa, October 13-15, 2020, Proceedings

Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14, 2019, Proceedings

Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II