Электронный каталог

Книга
32.97 S 24

Satisfiability Problem : Theory and Applications : DIMACS Workshop, March 11-13, 1996 / editors Dingzhu Du, Jun Gu, Panos M. Pardalos . - Providence, Rhode Island, USA : American Mathematical Society, 1997 ($m) . - 724 p. - (DIMACS Series in Discrete Mathematics and Theoretical Computer Science, ISSN 1052-1798 ; V. 35) . - На английском языке . - ISBN 0-8218-0479-0 .

Проблема выполнимости является основной в теории вычислений, ядром обработки результатов вычислений, в решении многих проблем применения: автоматизированном проектировании, базах данных, роботах, построении графиков, интегрального проектирования, проектирования архитектуры компьютера и компьютерных сетей

ББК 32.973-02
ББК 32.97
ББК S 24

ПРЕДМЕТНЫЕ РУБРИКИ = ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА : КОМПЬЮТЕРЫ
КЛЮЧЕВЫЕ СЛОВА = КОМПЬЮТЕРЫ
КЛЮЧЕВЫЕ СЛОВА = ПРОЕКТИРОВАНИЕ СЕТИ
КЛЮЧЕВЫЕ СЛОВА = ПРОЕКТИРОВАНИЕ АЛГОРИТМОВ
КЛЮЧЕВЫЕ СЛОВА = КОМПЬЮТЕРНЫЕ СЕТИ
КЛЮЧЕВЫЕ СЛОВА = КОМПЬЮТЕРНЫЕ СИСТЕМЫ
КЛЮЧЕВЫЕ СЛОВА = ВЫЧИСЛЕНИЯ
КЛЮЧЕВЫЕ СЛОВА = ПРОБЛЕМА ВЫПОЛНИМОСТИ
КЛЮЧЕВЫЕ СЛОВА = АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ
КЛЮЧЕВЫЕ СЛОВА = ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ ПРОЕКТИРОВАНИЕ
КЛЮЧЕВЫЕ СЛОВА = ПРИКЛАДНАЯ МАТЕМАТИКА