Passer au contenu principal Passer au contenu du pied de page

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Édition : Christoph Benzmüller

1 août 2024

0,00 $

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

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes in Artificial Intelligence

Publié par: Springer Nature Switzerland

ISBN: 9783031634987

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Christoph Benzmüller Couverture souple
58,50 $
Artificial Intelligence and Robotics: Ten Short Lessons

Peter J. Bentley Couverture souple
19,95 $
.NET and COM: The Complete Interoperability Guide

Adam Nathan Livre numérique Kobo
56,99 $ ~~Réduction sur le prix courant 71,21 $ à~~
Neural Information Processing. Models and Applications: 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part II

Kevin K.W. Wong Couverture souple
160,95 $
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 $
Digital Libraries for Open Knowledge: 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10-13, 2018, Proceedings

Eva Méndez 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
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
Human Mental Workload: Models and Applications: Third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14-15, 2019, Proceedings

Luca Longo Couverture souple
58,50 $
Computational Topology In Image Context: 6th International Workshop, Ctic 2016, Marseille, France, June 15-17, 2016, Proceedings

Alexandra Bac Couverture souple
80,50 $
2 formats offerts
Pattern Recognition and Artificial Intelligence: 4th International Conference, ICPRAI 2024, Jeju Island, South Korea, July 03-06, 2024, Proceedings, Part I

Christian Wallraven Couverture souple
364,95 $
Machine Learning, Multi Agent And Cyber Physical Systems - Proceedings Of The 15th International Flins Conference (Flins 2022)

Qinglin Sun Couverture rigide
274,50 $
Pattern Recognition and Artificial Intelligence: 4th International Conference, ICPRAI 2024, Jeju Island, South Korea, July 03-06, 2024, Proceedings, Part II

Christian Wallraven Couverture souple
248,50 $
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29-October 1, 2014. Proceedings

Christiano Braga Couverture souple
65,95 $
Graph-Based Representations in Pattern Recognition: 13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023, Proceedings

Mario Vento Couverture souple
80,50 $
2 formats offerts
Machine Learning, Optimization, And Data Science: 5th International Conference, Lod 2019, Siena, Italy, September 10-13, 2019, Proceedings

Giuseppe Nicosia Couverture souple
80,50 $
2 formats offerts
Cloud Computing and Security: 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V

Xingming Sun Couverture souple
80,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 II

Ruber Hernández-Garc Couverture souple
94,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
72,95 $

Évaluation éditoriale

christoph benzmuller

Auteur

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
Implementation and Application of Automata: 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings

Pascal Caron Couverture souple
102,50 $
2 formats offerts
Discovery Science: 24th International Conference, Ds 2021, Halifax, Ns, Canada, October 11-13, 2021, Proceedings

Carlos Soares Couverture souple
131,50 $
2 formats offerts
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 20th International Conference, CPAIOR 2023, Nice, France, May 29 -June 1, 2023, Proceedings

Andre Augusto Cire Couverture souple
145,95 $
2 formats offerts
PRIMA 2022: Principles and Practice of Multi-Agent Systems: 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

Reyhan Aydo Couverture souple
160,95 $
2 formats offerts
Artificial Intelligence in Healthcare: First International Conference, AIiH 2024, Swansea, UK, September 4-6, 2024, Proceedings, Part II

Xianghua Xie Couverture souple
109,50 $
2 formats offerts
Artificial Intelligence in Healthcare: First International Conference, AIiH 2024, Swansea, UK, September 4-6, 2024, Proceedings, Part I

Xianghua Xie Couverture souple
204,50 $
2 formats offerts
Discovery Science: 25th International Conference, DS 2022, Montpellier, France, October 10-12, 2022, Proceedings

Poncelet Pascal Couverture souple
145,95 $
2 formats offerts
Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Brigitte Pientka Couverture souple
72,95 $
2 formats offerts
Discovery Science: 18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015. Proceedings

Nathalie Japkowicz Couverture souple
80,50 $
2 formats offerts
Metaheuristics: 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I

Marc Sevaux Couverture souple
109,50 $
2 formats offerts
Diagrammatic Representation and Inference: 14th International Conference, Diagrams 2024, Munster, Germany, September 27 - October 1, 2024, Proceedings

Jens Lemanski Couverture souple
102,50 $
2 formats offerts
Pattern Recognition and Artificial Intelligence: Third International Conference, ICPRAI 2022, Paris, France, June 1-3, 2022, Proceedings, Part I

Moun El Yacoubi Couverture souple
248,50 $
2 formats offerts
Discovery Science: 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings

Albert Bifet Couverture souple
131,50 $
2 formats offerts
Pattern Recognition and Artificial Intelligence: Third International Conference, ICPRAI 2022, Paris, France, June 1-3, 2022, Proceedings, Part II

Moun El Yacoubi Couverture souple
248,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
Formal Concept Analysis: 16th International Conference, Icfca 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings

Agn Braud Couverture souple
80,50 $
2 formats offerts
Artificial Intelligence in Education: 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021, Proceedings, Part I

Ido Roll Couverture souple
145,95 $
2 formats offerts
Metaheuristics: 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II

Marc Sevaux Couverture souple
109,50 $
2 formats offerts
Artificial Intelligence in Education: 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021, Proceedings, Part II

Ido Roll Couverture souple
131,50 $
2 formats offerts