Principles and Practice of Constraint Programming: 26th International Conference, Cp 2020, Louvain-La-Neuve, Belgium, September 7-11, 2020, Proceeding, Simonis Helmut
Автор: 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.
Автор: 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;
Автор: 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.
Описание: This book constitutes the proceedings of the 26th International Conference on Computing and Combinatorics, COCOON 2020, held in Atlanta, GA, USA, in August 2020. Due to the COVID-19 pandemic COCOON 2020 was organized as a fully online conference.
Автор: 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.
Автор: 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.
Bisimulation.- Verification and Efficiency.- Logic and Proof.- Tools and Case Studies.- Games and Automata.- SV-COMP 2020.
Автор: 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.
Описание: 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;
Автор: 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.
Program Verification.- SAT and SMT.- Timed and Dynamical Systems.- Verifying Concurrent Systems.- Probabilistic Systems.- Model Checking and Reachability.- Timed and Probabilistic Systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
