Passer au contenu principal Passer au contenu du pied de page

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

Édition : Pat Morin

28 août 2023

120,99 $ ~~Réduction sur le prix courant 150,97 $ à~~

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: 9783031389061

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 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
58,50 $
AIxIA 2022 - Advances in Artificial Intelligence: XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings

Agostino Dovier Couverture souple
102,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
Information Security Practice and Experience: First International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings

Robert H. Deng Couverture souple
80,50 $
Similarity Search And Applications: 12th International Conference, Sisap 2019, Newark, Nj, Usa, October 2-4, 2019, Proceedings

Giuseppe Amato Couverture souple
109,50 $
2 formats offerts
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Christoph Benzmüller Couverture souple
116,95 $
2 formats offerts
Energy Minimization Methods in Computer Vision and Pattern Recognition: 8th International Conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011, Proceedings

Yuri Boykov Couverture souple
80,50 $
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Christoph Benzmüller Couverture souple
58,50 $
Intelligent Human Computer Interaction: 12th International Conference, IHCI 2020, Daegu, South Korea, November 24-26, 2020, Proceedings, Part II

Madhusudan Singh Couverture souple
80,50 $
2 formats offerts
Flexible Query Answering Systems: 6th International Conference, Fqas 2004, Lyon, France, June 24-26, 2004, Proceedings

Henning Christiansen Couverture souple
80,50 $
Networked Digital Technologies, Part II: Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings

Filip Zavoral Couverture souple
160,95 $
Computational Science - ICCS 2022: 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III

Derek Groen Couverture souple
175,50 $
2 formats offerts
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 27th Iberoamerican Congress, CIARP 2024, Talca, Chile, November 26-29, 2024, Proceedings, Part I

Ruber Hernández-Garc Couverture souple
94,95 $
Management of Digital EcoSystems: 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers

Richard Chbeir Couverture souple
175,50 $
2 formats offerts
Graph-Based Representation and Reasoning: 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1-4, 2019, Proceedings

Dominik Endres Couverture souple
80,50 $
2 formats offerts
AI*IA 2015 Advances in Artificial Intelligence: XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings

Marco Gavanelli Couverture souple
80,50 $
Risks and Security of Internet and Systems: 18th International Conference, CRiSIS 2023, Rabat, Morocco, December 6-8, 2023, Revised Selected Papers

Abderrahim Ait Wakrime Couverture souple
72,95 $
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

Évaluation éditoriale

pat morin

Auteur

Web and Wireless Geographical Information Systems: 20th International Symposium, W2GIS 2023, Quebec City, QC, Canada, June 12-13, 2023, Proceedings

Mir Abolfazl Mostafavi Couverture souple
87,95 $
2 formats offerts
Metaheuristics: 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings

Luca Di Gaspero Couverture souple
131,50 $
2 formats offerts
AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings

Taylor T. Johnson Couverture souple
189,95 $
2 formats offerts
Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings

Martin Kutrib Couverture souple
102,50 $
2 formats offerts
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Couverture souple
80,50 $
2 formats offerts
Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montreal, QC, Canada, August 5-9, 2024, Proceedings

Andrea Kohlhase Couverture souple
109,50 $
2 formats offerts
Web and Wireless Geographical Information Systems: 19th International Symposium, W2GIS 2022, Constance, Germany, April 28-29, 2022, Proceedings

Farid Karimipour Couverture souple
87,95 $
2 formats offerts
Electronic Government and the Information Systems Perspective: 13th International Conference, EGOVIS 2024, Naples, Italy, August 26-28, 2024, Proceedings

Couverture souple
80,50 $
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 and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings

Belgacem Ben Hedia Couverture souple
80,50 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Vijay Ganesh Couverture souple
72,95 $
2 formats offerts
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Vijay Ganesh Couverture souple
72,95 $
2 formats offerts
Algorithmic Aspects of Cloud Computing: 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

Ioannis Chatzigiannakis Couverture souple
94,95 $
2 formats offerts
Cooperative Information Systems: 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30-November 3, 2023, Proceedings

Mohamed Sellami 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
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Arie Gurfinkel Couverture souple
72,95 $
2 formats offerts
Web Information Systems Engineering - WISE 2023: 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings

Feng Zhang Couverture souple
189,95 $
2 formats offerts
Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings

Manuel V Hermenegildo Couverture souple
131,50 $
2 formats offerts
Collaboration Technologies and Social Computing: 29th International Conference, CollabTech 2023, Osaka, Japan, August 29-September 1, 2023, Proceedings

Hideyuki Takada Couverture souple
94,95 $
2 formats offerts
Collaboration Technologies and Social Computing: 30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings

Patricia Santos Couverture souple
94,95 $
2 formats offerts