Enrico Giunchiglia; Toby Walsh SAT 2005 9789400787155

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

Цена: 18904.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2026-06-01
Ориентировочная дата поставки: Июль
При условии наличия книги у поставщика.

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

в Мои желания

Автор: Enrico Giunchiglia; Toby Walsh
Название: SAT 2005
ISBN: 9789400787155
Издательство: Springer
Классификация:

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

Теория вычислительных машин и систем, кибернетика

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

ISBN-10: 9400787154
Обложка/Формат: Paperback
Страницы: 293
Вес: 0.42 кг.
Дата издания: 03.12.2014
Язык: English
Размер: 234 x 156 x 16
Основная тема: Computer Science
Подзаголовок: Satisfiability Research in the Year 2005
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification.

SAT 2005, Enrico Giunchiglia; Toby Walsh