Passer au contenu principal Passer au contenu du pied de page

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Jasmin Blanchette Édition : Laura Kov , Dirk Pattinson

17 juillet 2022

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

Description

Langue

anglais

Pages

756

Lecture Notes in Artificial Intelligence

Publié par: Springer Nature

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

ISBN: 9783031107689

Mathematical Research For Blockchain Economy: 1st International Conference Marble 2019, Santorini, Greece

Panos Pardalos Couverture rigide
248,50 $
2 formats offerts
Advances in Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Revised Selected Papers

Nicholas Olenev Couverture souple
80,50 $
2 formats offerts
Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Proceedings

Nicholas Olenev Couverture souple
80,50 $
2 formats offerts
Rigorous State-based Methods: 8th International Conference, Abz 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Alexander Raschke Couverture souple
94,95 $
2 formats offerts
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Nicola Olivetti Couverture souple
131,50 $
2 formats offerts
Numerical Methods and Applications: 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings

Ivan Georgiev Couverture souple
124,50 $
2 formats offerts
Relational And Algebraic Methods In Computer Science: 19th International Conference, Ramics 2021, Marseille, France, November 2-5, 2021, Proceedings

Uli Fahrenberg Couverture souple
116,95 $
2 formats offerts
Logic, Language, Information, And Computation: 23rd International Workshop, Wollic 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Jouko Vä Couverture souple
80,50 $
2 formats offerts
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Jean Goubault-Larrecq Couverture souple
72,95 $
Principles And Practice Of Constraint Programing-cp 2013: 19th International Conference, Cp 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings

Christian Schulte Couverture souple
80,50 $
Computational Intelligence in Security for Information Systems: Cisis'09, 2nd International Workshop Burgos, Spain, September 2009 Proceedings

Paolo Gastaldo Couverture souple
248,50 $
Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Lev D. Beklemishev Couverture souple
80,50 $
Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings

YiXiang Chen Couverture souple
124,50 $
2 formats offerts
Numerical Geometry, Grid Generation and Scientific Computing: Proceedings of the 9th International Conference, NUMGRID 2018 / Voronoi 150, Celebrating the 150th Anniversary of G.F. Voronoi, Moscow, Russia, December 2018

Vladimir A. Garanzha Couverture souple
248,50 $
Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Anuj Dawar Couverture souple
80,50 $
Numerical Analysis: Proceedings of the Biennial Conference Held at Dundee, June 28 - July 1, 1977

Couverture souple
51,95 $
Logic, Language, Information, And Computation: 25th International Workshop, Wollic 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Lawrence S. Moss Couverture souple
109,50 $
2 formats offerts
Analytical And Stochastic Modelling Techniques And Applications: 25th International Conference, Asmta 2019, Moscow, Russia, October 21-25, 2019, Proceedings

Marco Gribaudo Couverture souple
80,50 $
2 formats offerts
Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I

Sheng Wen Couverture souple
80,50 $
2 formats offerts
Relational And Algebraic Methods In Computer Science: 18th International Conference, Ramics 2020, Palaiseau, France, October 26-29, 2020, Proceedings

Uli Fahrenberg Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

Auteur

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Nicola Olivetti Couverture souple
131,50 $
2 formats offerts
Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part I

Nicolas Peltier Couverture souple
131,50 $
2 formats offerts
Numerical Methods and Applications: 10th International Conference, NMA 2022, Borovets, Bulgaria, August 22-26, 2022, Proceedings

Ivan Georgiev Couverture souple
124,50 $
2 formats offerts
Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings

Anthony W. Lin Couverture souple
87,95 $
2 formats offerts
Reachability Problems: 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings

Olivier Bournez Couverture souple
94,95 $
2 formats offerts
Mathematical Optimization Theory and Operations Research: 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings

Anton Eremeev Couverture souple
116,95 $
2 formats offerts
Optimization and Applications: 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Nicholas Olenev Couverture souple
109,50 $
2 formats offerts
Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings

Ivan Varzinczak Couverture souple
116,95 $
2 formats offerts
Optimization and Applications: 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26-30, 2022, Revised Selected Papers

Nicholas Olenev Couverture souple
102,50 $
2 formats offerts
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Uwe Glässer Couverture souple
124,50 $
2 formats offerts
Big Data Analytics and Knowledge Discovery: 24th International Conference, DaWaK 2022, Vienna, Austria, August 22-24, 2022, Proceedings

Robert Wrembel Couverture souple
116,95 $
2 formats offerts
Big Data Analytics and Knowledge Discovery: 25th International Conference, DaWaK 2023, Penang, Malaysia, August 28-30, 2023, Proceedings

Robert Wrembel Couverture souple
109,50 $
2 formats offerts
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Didier Galmiche Couverture souple
80,50 $
2 formats offerts
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Arne Meier Couverture souple
116,95 $
2 formats offerts
Combinatorics on Words: 14th International Conference, WORDS 2023, Umea, Sweden, June 12-16, 2023, Proceedings

Anna Frid Couverture souple
124,50 $
2 formats offerts
Learning and Intelligent Optimization: 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers

Meinolf Sellmann Couverture souple
138,03 $ ~~Réduction sur le prix courant 145,95 $ à~~
2 formats offerts
Mathematical Optimization Theory and Operations Research: 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings

Michael Khachay Couverture souple
131,50 $
2 formats offerts
Database Systems for Advanced Applications: 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part VI

Makoto Onizuka Couverture souple
116,95 $
2 formats offerts
Big Data Analytics and Knowledge Discovery: 26th International Conference, DaWaK 2024, Naples, Italy, August 26-28, 2024, Proceedings

Robert Wrembel Couverture souple
109,50 $
2 formats offerts
Learning and Intelligent Optimization: 16th International Conference, LION 16, Milos Island, Greece, June 5-10, 2022, Revised Selected Papers

Dimitris E. Simos Couverture souple
145,95 $
2 formats offerts