Creignou Theory and Applications of Satisfiability Testing

Варианты приобретения

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

Добавить в корзину

в Мои желания

Автор: Creignou
Название: Theory and Applications of Satisfiability Testing – SAT 2016
ISBN: 9783319409696
Издательство: Springer
Классификация:

Технология разработки программного обеспечения

Математическая теория вычислений

Искусственный интеллект

ISBN-10: 3319409697
Обложка/Формат: Paperback
Страницы: 564
Вес: 0.89 кг.
Дата издания: 2016
Серия: Theoretical Computer Science and General Issues
Язык: English
Иллюстрации: 119 black & white illustrations, biography
Размер: 156 x 236 x 36
Читательская аудитория: General (us: trade)
Основная тема: Computer Science
Подзаголовок: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.

Theory and Applications of Satisfiability Testing – SAT 2016, Creignou