Поиск по Электронному каталогу Книги

З81
Х 781
Хопкрофт, Джон Э.
    Введение в теорию автоматов, языков и вычислений : переводное издание / Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [пер. с англ. О. И. Васылык и др.]. - 2-е изд. - Москва : Вильямс, 2008. - 527 с. : ил. ; 25 см. - Предм. указ.: с. 523-527. - Библиогр. в конце глав. - Пер. изд. : Introduction to automata theory, languages, and computation / E. Hopcroft John, Motwani. - 1000 экз. - ISBN 978-5-8459-1347-0 (в пер.) : 300.00 р.
Загл. и авт. ориг.: Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman

ГРНТИ

28.15

50.05.09

ББК З815 + З973.2-018.1 + В19

Рубрики: Автоматы--Теория

   Формальные языки--Теория

   Вычислительная математика

Доп.точки доступа:
Мотвани, Раджив
Ульман, Джеффри Д
John, E. Hopcroft

Экземпляры всего: 1
ОТЛ (1)
Свободны: ОТЛ (1)

Ю4
К 601
Колдаев, Виктор Дмитриевич.
    Основы логического проектирования : учебное пособие для студентов, обучающихся по группе специальностей "Программное обеспечение вычислительной техники и автоматизированных систем", "Вычислительные машины, комплексы, системы и сети", "Системы автоматизированного проектирования" / В. Д. Колдаев. - Москва : ФОРУМ : ИНФРА-М, 2011. - 447 с. : ил. ; 22 см. - (Высшее образование). - Библиография: с. 441-442. - 1000 экз. - ISBN 978-5-8199-0458-9 (Форум) (в пер.). - ISBN 978-5-16-004643-3 (ИНФРА-М) : 289.00 р.

ГРНТИ

02.21

50.33.05

ББК Ю4я73 + З815я73

Рубрики: Автоматы--Теория--Учебные издания для высших учебных заведений

   Логическое проектирование--Учебники для высших учебных заведений

Кл.слова (ненормированные):
цифровые автоматы -- логическое проектирование -- искусственный интеллект -- автоматизация проектирования -- математическая логика
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)