Principles and Practice of Constraint Programming: 26th International Conference, Cp 2020, Louvain-La-Neuve, Belgium, September 7-11, 2020, Proceeding, Simonis Helmut
Автор: Christian Schulte Название: Principles and Practice of Constraint Programing-CP 2013 ISBN: 3642406262 ISBN-13(EAN): 9783642406263 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013.
Автор: Peter J. Stuckey Название: Principles and Practice of Constraint Programming ISBN: 3540859578 ISBN-13(EAN): 9783540859574 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint Programming, CP 2008, Sydney, Australia, September, 2008. This title addresses the issues of computing with constraints ranging from methodological and foundational aspects - using algorithms, environments, languages and models.
Автор: Ian P. Gent Название: Principles and Practice of Constraint Programming - CP 2009 ISBN: 3642042430 ISBN-13(EAN): 9783642042430 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint Programming. Papers submitted as long papers were accepted at full length or not at all. It is important to note that papers submitted as short papers were held to the same high standards of qualityas long papers.
Автор: Rueher Название: Principles and Practice of Constraint Programming ISBN: 3319449524 ISBN-13(EAN): 9783319449524 Издательство: Springer Рейтинг: Цена: 14814.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016. The papers are grouped into the following tracks: technical track;
Автор: J. Christopher Beck Название: Principles and Practice of Constraint Programming ISBN: 3319661574 ISBN-13(EAN): 9783319661575 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. satisfiability & CP track, test and verification & CP track;
Автор: Barry O`Sullivan Название: Principles and Practice of Constraint Programming ISBN: 3319104276 ISBN-13(EAN): 9783319104270 Издательство: Springer Рейтинг: Цена: 14535.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014.The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions.
Автор: Gilles Pesant Название: Principles and Practice of Constraint Programming ISBN: 3319232185 ISBN-13(EAN): 9783319232188 Издательство: Springer Рейтинг: Цена: 12298.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015.
Автор: Hooker Название: Principles and Practice of Constraint Programming ISBN: 3319983334 ISBN-13(EAN): 9783319983332 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.The 41 full and 9 short papers presented in this volume were carefully reviewed and selected from 114 submissions.
Автор: Thomas Schiex; Simon de Givry Название: Principles and Practice of Constraint Programming ISBN: 3030300471 ISBN-13(EAN): 9783030300470 Издательство: Springer Рейтинг: Цена: 13695.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. multi-agent and parallel CP track;
Описание: This book constitutes the proceedings of the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, held in Warsaw, Poland, in August 2020. They deal with parallel and distributed computing in general, focusing on support tools and environments; theory and algorithms for parallel and distributed processing;
Program Verification.- SAT and SMT.- Timed and Dynamical Systems.- Verifying Concurrent Systems.- Probabilistic Systems.- Model Checking and Reachability.- Timed and Probabilistic Systems.