Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Principles and Practice of Constraint Programming: 26th International Conference, Cp 2020, Louvain-La-Neuve, Belgium, September 7-11, 2020, Proceeding, Simonis Helmut


Варианты приобретения
Цена: 20962.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Simonis Helmut
Название:  Principles and Practice of Constraint Programming: 26th International Conference, Cp 2020, Louvain-La-Neuve, Belgium, September 7-11, 2020, Proceeding
ISBN: 9783030584740
Издательство: Springer
Классификация:



ISBN-10: 3030584747
Обложка/Формат: Paperback
Страницы: 972
Вес: 1.35 кг.
Дата издания: 30.11.2020
Серия: Programming and software engineering
Язык: English
Издание: 1st ed. 2020
Иллюстрации: 140 illustrations, color; 392 illustrations, black and white; xv, 972 p. 532 illus., 140 illus. in color.
Размер: 23.39 x 15.60 x 4.95 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 26th international conference, cp 2020, louvain-la-neuve, belgium, september 7-11, 2020, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neuve, Belgium, in September 2020.


Principles and Practice of Constraint Programing-CP 2013

Автор: 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.

Principles and Practice of Constraint Programming

Автор: 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.

Principles and Practice of Constraint Programming - CP 2009

Автор: 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.

Principles and Practice of Constraint Programming

Автор: 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;

Principles and Practice of Constraint Programming

Автор: 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;

Principles and Practice of Constraint Programming

Автор: 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.

Principles and Practice of Constraint Programming

Автор: 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.

Principles and Practice of Constraint Programming

Автор: 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.

Principles and Practice of Constraint Programming

Автор: 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;

Euro-Par 2020: Parallel Processing: 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020, Proceedin

Автор: Malawski Maciej, Rzadca Krzysztof
Название: Euro-Par 2020: Parallel Processing: 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020, Proceedin
ISBN: 3030576744 ISBN-13(EAN): 9783030576745
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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;

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe

Автор: Biere Armin, Parker David
Название: Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe
ISBN: 3030451895 ISBN-13(EAN): 9783030451899
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Program Verification.- SAT and SMT.- Timed and Dynamical Systems.- Verifying Concurrent Systems.- Probabilistic Systems.- Model Checking and Reachability.- Timed and Probabilistic Systems.

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe

Автор: Biere Armin, Parker David
Название: Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe
ISBN: 3030452360 ISBN-13(EAN): 9783030452360
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Bisimulation.- Verification and Efficiency.- Logic and Proof.- Tools and Case Studies.- Games and Automata.- SV-COMP 2020.



ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия