Passer au contenu principal Passer au contenu du pied de page

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

Nicola Olivetti Édition : Ashish Tiwari

12 juin 2016

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

Description

Langue

anglais

Pages

580

Lecture Notes in Artificial Intelligence

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783319402284

Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Jochen Koenemann Couverture souple
94,95 $
2 formats offerts
Optimization and Operations Research: Proceedings of a Workshop Held at the University of Bonn, October 2-8, 1977

Couverture souple
142,95 $
Approximation and Online Algorithms: 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers

Evripidis Bampis Couverture souple
94,95 $
2 formats offerts
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Jasmin Blanchette Couverture souple
72,95 $
2 formats offerts
Advances in Optimization and Applications: 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 - October 1, 2021, Revised Selected Papers

Nicholas N. Olenev Couverture souple
124,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
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Javier Cámara Couverture souple
94,95 $
2 formats offerts
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part III

Meikang Qiu Couverture souple
160,95 $
2 formats offerts
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
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part II

Meikang Qiu Couverture souple
160,95 $
2 formats offerts
Algebraic Geometry: Proceedings of the International Conference held in Bucharest, Romania, August 2-7, 1982

L. Badescu Couverture souple
67,50 $
2 formats offerts
Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I

Meikang Qiu Couverture souple
160,95 $
2 formats offerts
Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings

Daniela Petri Couverture souple
80,50 $
2 formats offerts
Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Cezar C-mpeanu Couverture souple
80,50 $
2 formats offerts
Logic, Language, Information, and Computation: 21st International Workshop, Wollic 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings

Ulrich Kohlenbach Couverture souple
80,50 $
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
Theory And Applications Of Models Of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

T.v. Gopal Couverture souple
80,50 $
2 formats offerts
Logic, Language, Information, And Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings

Valeria de Paiva Couverture souple
65,95 $
2 formats offerts
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings

Couverture souple
142,95 $
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

Évaluation éditoriale

ashish tiwari

Auteur

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
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Jasmin Blanchette Couverture souple
72,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
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
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
Optimization and Applications: 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 - October 1, 2021, Proceedings

Nicholas N. Olenev Couverture souple
124,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
Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings

Kevin Buzzard Couverture souple
80,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
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

Nicolas Peltier Couverture souple
116,95 $
2 formats offerts
Advances in Optimization and Applications: 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 - October 1, 2021, Revised Selected Papers

Nicholas N. Olenev Couverture souple
124,50 $
2 formats offerts
Inductive Logic Programming: 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Gerson Zaverucha Couverture souple
65,95 $
2 formats offerts
Advances in Optimization and Applications: 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Nicholas Olenev Couverture souple
116,95 $
2 formats offerts
Advances in 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
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
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
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
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