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 Vii

Valeria V. Krzhizhanovskaya Couverture souple
160,95 $
2 formats offerts
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 V

Valeria V. Krzhizhanovskaya Couverture souple
80,50 $
2 formats offerts
Augmented Reality, Virtual Reality, And Computer Graphics: 7th International Conference, Avr 2020, Lecce, Italy, September 7-10, 2020, Proceedings, Part I

Lucio Tommaso De Paolis Couverture souple
131,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
Electronic Government And The Information Systems Perspective: 10th International Conference, Egovis 2021, Virtual Event, September 27-30, 2021, Proceedings

Couverture souple
80,50 $
2 formats offerts
Electronic Participation: 6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014, Proceedings

Efthimios Tambouris Couverture souple
65,95 $
Machine Learning and Knowledge Discovery in Databases: European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II

Walter Daelemans Couverture rigide
160,95 $
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part III

Haiqin Yang Couverture souple
58,50 $
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
Adaptive Instructional Systems: 6th International Conference, AIS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings

Robert A. Sottilare Couverture souple
72,95 $
Adaptive Instructional Systems: 6th International Conference, AIS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings

Robert A. Sottilare Couverture souple
109,50 $
2 formats offerts
Data Warehousing and Knowledge Discovery: 5th International Conference, DaWaK 2003, Prague, Czech Republic, September 3-5,2003, Proceedings

Yahiko Kambayashi Couverture souple
80,50 $
Augmented Reality, Virtual Reality, And Computer Graphics: 7th International Conference, Avr 2020, Lecce, Italy, September 7-10, 2020, Proceedings, Part Ii

Lucio Tommaso De Paolis Couverture souple
80,50 $
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
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part II

Haiqin Yang Couverture souple
58,50 $
Parallel Computational Technologies: 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019, Revised Selected Papers

Leonid Sokolinsky Couverture souple
80,50 $
2 formats offerts
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part III

Haiqin Yang Couverture souple
160,95 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Laure Petrucci Couverture souple
80,50 $
2 formats offerts
Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part II

Haiqin Yang Couverture souple
160,95 $
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: 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: 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: 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
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
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
Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings

Fabrizio Biondi 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
Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings

Alfons Laarman Couverture souple
80,50 $
2 formats offerts
Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings

Fabio Gadducci 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 $
Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

David Parker Couverture souple
80,50 $
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
Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part Ii

Alexandra Silva Couverture souple
72,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
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
Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Vlad Rusu 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
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

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 Vii

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 V

Augmented Reality, Virtual Reality, And Computer Graphics: 7th International Conference, Avr 2020, Lecce, Italy, September 7-10, 2020, Proceedings, Part I

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

Electronic Government And The Information Systems Perspective: 10th International Conference, Egovis 2021, Virtual Event, September 27-30, 2021, Proceedings

Electronic Participation: 6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014, Proceedings

Machine Learning and Knowledge Discovery in Databases: European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II

Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part III

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

Adaptive Instructional Systems: 6th International Conference, AIS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings

Adaptive Instructional Systems: 6th International Conference, AIS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings

Data Warehousing and Knowledge Discovery: 5th International Conference, DaWaK 2003, Prague, Czech Republic, September 3-5,2003, Proceedings

Augmented Reality, Virtual Reality, And Computer Graphics: 7th International Conference, Avr 2020, Lecce, Italy, September 7-10, 2020, Proceedings, Part Ii

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

Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part II

Parallel Computational Technologies: 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019, Revised Selected Papers

Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part III

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23-27, 2020, Proceedings, Part II

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

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

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

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

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

Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings

Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings

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

Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

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

Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part Ii

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

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

Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

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

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