Passer au contenu principal Passer au contenu du pied de page

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings

Édition : Ewing Lusk , Ross Overbeek

4 mai 1988

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

Description

Langue

anglais

Pages

776

Lecture Notes In Computer Science

Publié par: Springer

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

ISBN: 9783540193432

Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers

Couverture souple
124,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
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
Mathematical Research For Blockchain Economy: 1st International Conference Marble 2019, Santorini, Greece

Panos Pardalos Couverture rigide
248,50 $
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
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
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
Optimization and Applications: 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Nicholas Olenev Couverture souple
58,50 $
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Holger H. Hoos Couverture souple
80,50 $
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
Polyhedra and Beyond: Contributions from Geometrias'19, Porto, Portugal, September 05-07

Vera Viana Couverture souple
160,95 $
Advances in Optimization and Applications: 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Nicholas Olenev Couverture souple
58,50 $
Polyhedra and Beyond: Contributions from Geometrias'19, Porto, Portugal, September 05-07

Vera Viana Couverture rigide
160,95 $
2 formats offerts
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Luke Ong Couverture souple
80,50 $
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
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
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
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
Formal Grammar 2018: 23rd International Conference, Fg 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Annie Foret 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

Évaluation éditoriale

ewing lusk

Auteur

Algorithm Engineering and Experiments: 4th International Workshop, ALENEX 2002, San Francicsco, CA, USA, January 4-5, 2002, Revised Papers

David M. Mount Couverture souple
80,50 $
Formal Aspects of Security: First International Conference, Fasec 2002, London, Uk, December 16-18, 2002, Revised Papers

Ali E. Abdallah Couverture souple
80,50 $
System Modeling and Optimization: Proceedings of the 10th Ifip Conference New York City, Usa, August 31-September 4,1981

Couverture souple
71,50 $
Operating Systems: Proceedings of an International Symposium Held at Rocquencourt, April 23-25, 1974

Couverture souple
71,50 $
Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers

Harrie C.M. de Swart Couverture souple
80,50 $
Rigorous State-based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Alexander Raschke Couverture souple
80,50 $
2 formats offerts
Algorithm Engineering and Experimentation: International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers

Couverture souple
71,50 $
COTS-Based Software Systems: Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings

Rick Kazman Couverture souple
80,50 $
Euro-Par 2001 Parallel Processing: 7th International Euro-par Conference Manchester, Uk August 28-31, 2001 Proceedings

Rizos Sakellariou Couverture souple
160,95 $
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Couverture souple
71,50 $
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

John Derrick Couverture souple
80,50 $
Cryptography and Lattices: International Conference, Calc 2001, Providence, Ri, Usa, March 29-30, 2001. Revised Papers

Joseph H. Silverman Couverture souple
80,50 $
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Couverture souple
71,50 $
FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II

Couverture souple
142,95 $
Conceptual Structures at Work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004, Proceedings

Karl Erich Wolff Couverture souple
80,50 $
Integer Programming and Combinatorial Optimization: 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002. Proceedings

William J. Cook Couverture souple
80,50 $
Ubicomp 2001: Ubiquitous Computing: International Conference Atlanta, Georgia, USA, September 30 - October 2, 2001 Proceedings

Gregory D. Abowd Couverture souple
80,50 $
Conceptual Modeling for Novel Application Domains: ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings

Manfred A. Jeusfeld Couverture souple
80,50 $
High Performance Computing Systems and Applications: 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers

Douglas J. K. Mewhort Couverture souple
80,50 $
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Kim G. Larsen Couverture souple
80,50 $