Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Name: Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Price: 58.50 CAD
Availability: OutOfStock
Author: Laura Kov
ISBN: 9783031572500

Bernd Finkbeiner Édition : Laura Kov

5 avril 2024

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

Description

Langue

anglais

Pages

386

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031572500

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Bernd Finkbeiner Couverture souple
72,95 $
2 formats offerts
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Bernd Finkbeiner Couverture souple
72,95 $
2 formats offerts
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Bernd Finkbeiner Couverture souple
72,95 $
2 formats offerts
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Bernd Finkbeiner Couverture souple
58,50 $
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Bernd Finkbeiner Couverture souple
58,50 $
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II

Jan Friso Groote Couverture souple
72,95 $
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I

Jan Friso Groote Couverture souple
72,95 $
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

Helene Kirchner Couverture souple
80,50 $
Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 201: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011

Adrian-Horia Dediu Couverture souple
80,50 $
Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020, Siena, Italy, July 19-23, 2020, Revised Selected Papers, Part I

Giuseppe Nicosia Couverture souple
160,95 $
2 formats offerts
Software Reuse: Methods, Techniques, and Tools: 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002. Proceedings

Cristina Gacek Couverture souple
80,50 $
Uncertainty Quantification in Scientific Computing: 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

Couverture souple
71,50 $
2 formats offerts
Language And Automata Theory And Applications: 15th International Conference, Lata 2021, Milan, Italy, March 1-5, 2021, Proceedings

Alberto Leporati Couverture souple
80,50 $
2 formats offerts
Innovations in Digital Economy: Second International Scientific Conference, SPBPU IDE 2020, St. Petersburg, Russia, October 22-23, 2020, Revised Selected Papers

Dmitrii Rodionov Couverture souple
124,50 $
2 formats offerts
From Animals to Animats 17: 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings

Oliver Brock Couverture souple
109,50 $
2 formats offerts
Decision Tree And Ensemble Learning Based On Ant Colony Optimization

Jan Kozak Couverture souple
160,95 $
3 formats offerts
LATIN 2024: Theoretical Informatics: 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

José A. Soto Couverture souple
58,50 $
LATIN 2024: Theoretical Informatics: 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

José A. Soto Couverture souple
109,50 $
2 formats offerts
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Naoki Kobayashi Couverture souple
72,95 $
2 formats offerts
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies: First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers

Bo Chen Couverture souple
80,50 $

Évaluation éditoriale

laura kov

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Description

Vous aimerez peut-être aussi