Principles And Practice Of Constraint Programming - Cp 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings

Name: Principles And Practice Of Constraint Programming - Cp 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings
Price: 160.95 CAD
Availability: InStock
Author: David Cohen
ISBN: 9783642153952

David Cohen

30 août 2010

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

Description

Langue

anglais

Pages

650

Programming and Software Engineering

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783642153952

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 $
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Jane Hillston Couverture souple
109,50 $
2 formats offerts
Adaptive Resource Management and Scheduling for Cloud Computing: First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers

Florin Pop Couverture souple
80,50 $
2 formats offerts
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, Proceedings

Thomas Stützle Couverture souple
80,50 $
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, Proceedings

Thomas Stützle Couverture souple
80,50 $
Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima Couverture souple
80,50 $
2 formats offerts
Recent Trends in Image Processing and Pattern Recognition: First International Conference, RTIP2R 2016, Bidar, India, December 16-17, 2016, Revised Selected Papers

K.c. Santosh Couverture souple
80,50 $
2 formats offerts
Product Focused Software Process Improvement: 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004, Proceedings

Frank Bomarius Couverture souple
80,50 $
Principles And Practice Of Constraint Programming: 26th International Conference, Cp 2020, Louvain-la-neuve, Belgium, September 7-11, 2020, Proceedings

Helmut Simonis Couverture souple
248,50 $
2 formats offerts
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Christoph Benzmüller Couverture souple
65,95 $
2 formats offerts
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Christoph Benzmüller Couverture souple
58,50 $
Human-Machine Interface Technology Advancements and Applications

Ravichander Janapati Couverture rigide
296,50 $
2 formats offerts
Recent Trends in Image Processing and Pattern Recognition: Second International Conference, RTIP2R 2018, Solapur, India, December 21-22, 2018, Revised Selected Papers, Part I

K. C. Santosh Couverture souple
160,95 $
2 formats offerts
Job Scheduling Strategies for Parallel Processing: 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers

Couverture souple
71,50 $
Sensing and Artificial Intelligence Solutions for Food Manufacturing

Daniel Hefft Couverture rigide
177,95 $
3 formats offerts
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Axel Legay Couverture souple
80,50 $
Towards the Automatization of Cranial Implant Design in Cranioplasty II: Second Challenge, AutoImplant 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, October 1, 2021, Proceedings

Jianning Li Couverture souple
87,95 $
2 formats offerts
Android 4.0: New Features for Application Development

Murat Aydin Couverture souple
33,99 $
New Trends in Image Analysis and Processing - ICIAP 2015 Workshops: ICIAP 2015 International Workshops, BioFor, CTMR, RHEUMA, ISCA, MADiMa, SBMI, and QoEM, Genoa, Italy, September 7-8, 2015, Proceedings

Vittorio Murino Couverture souple
80,50 $
Recent Trends in Image Processing and Pattern Recognition: Second International Conference, RTIP2R 2018, Solapur, India, December 21-22, 2018, Revised Selected Papers, Part III

K. C. Santosh Couverture souple
160,95 $
2 formats offerts

Évaluation éditoriale

Auteur

Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

Ian P. Gent Couverture souple
160,95 $
Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

Barry O'sullivan Couverture souple
160,95 $
Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005

Peter Van Beek Couverture souple
160,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 $
Principles and Practice of Constraint Programming - CP 2012: 18th International Conference, Cp 2012, Quebec City, Qc, Canada, October 8-12, 2012, Proceedings

Michela Milano Couverture souple
160,95 $
Principles And Practice Of Constraint Programming: 26th International Conference, Cp 2020, Louvain-la-neuve, Belgium, September 7-11, 2020, Proceedings

Helmut Simonis Couverture souple
248,50 $
2 formats offerts
Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Laurence Tratt Couverture souple
80,50 $
Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings

Andy Gill Couverture souple
80,50 $
Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Helmut Seidl Couverture souple
80,50 $
Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

David Schmidt Couverture souple
204,50 $
Static Analysis: 23rd International Symposium, Sas 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings

Xavier Rival Couverture souple
80,50 $
2 formats offerts
Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings

Robert Gl Couverture souple
80,50 $
Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Ricardo Rocha Couverture souple
80,50 $
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Oliver Kullmann Couverture souple
80,50 $
Tests and Proofs: First International Conference, Tap 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Bertrand Meyer Couverture souple
80,50 $
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings

T. C. Nicholas Graham Couverture rigide
80,50 $
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Jim Davies Couverture souple
160,95 $
Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Koen De Bosschere Couverture souple
72,95 $
Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

David Clarke Couverture souple
80,50 $
Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Paul Hudak Couverture rigide
80,50 $

Principles And Practice Of Constraint Programming - Cp 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings

Description

Vous aimerez peut-être aussi

Human Mental Workload: Models and Applications: Third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14-15, 2019, Proceedings

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Adaptive Resource Management and Scheduling for Cloud Computing: First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, Proceedings

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, Proceedings

Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Recent Trends in Image Processing and Pattern Recognition: First International Conference, RTIP2R 2016, Bidar, India, December 16-17, 2016, Revised Selected Papers

Product Focused Software Process Improvement: 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004, Proceedings

Principles And Practice Of Constraint Programming: 26th International Conference, Cp 2020, Louvain-la-neuve, Belgium, September 7-11, 2020, Proceedings

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

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

Human-Machine Interface Technology Advancements and Applications

Recent Trends in Image Processing and Pattern Recognition: Second International Conference, RTIP2R 2018, Solapur, India, December 21-22, 2018, Revised Selected Papers, Part I

Job Scheduling Strategies for Parallel Processing: 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers

Sensing and Artificial Intelligence Solutions for Food Manufacturing

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Towards the Automatization of Cranial Implant Design in Cranioplasty II: Second Challenge, AutoImplant 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, October 1, 2021, Proceedings

Android 4.0: New Features for Application Development

New Trends in Image Analysis and Processing - ICIAP 2015 Workshops: ICIAP 2015 International Workshops, BioFor, CTMR, RHEUMA, ISCA, MADiMa, SBMI, and QoEM, Genoa, Italy, September 7-8, 2015, Proceedings

Recent Trends in Image Processing and Pattern Recognition: Second International Conference, RTIP2R 2018, Solapur, India, December 21-22, 2018, Revised Selected Papers, Part III

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005

Principles And Practice Of Constraint Programing-cp 2013: 19th International Conference, Cp 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings

Principles and Practice of Constraint Programming - CP 2012: 18th International Conference, Cp 2012, Quebec City, Qc, Canada, October 8-12, 2012, Proceedings

Principles And Practice Of Constraint Programming: 26th International Conference, Cp 2020, Louvain-la-neuve, Belgium, September 7-11, 2020, Proceedings

Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings

Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Static Analysis: 23rd International Symposium, Sas 2016, Edinburgh, Uk, September 8-10, 2016, Proceedings

Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings

Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Tests and Proofs: First International Conference, Tap 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings