Web ИРБИС

Базы данных

- результаты поиска

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=Автоматов теория<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

519.713
K58

Kluge, W.
Abstract computing machines [Electronic resource] : a lambda calculus perspective / W. Kluge. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Texts in theoretical computer science, an eatcs series). - ISBN 3-540-21146-2 : Б. ц.

ГРНТИ	28.25.19
УДК	519.713

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

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

519.179.2
P41

Penczek, W.
Advances in verification of time petri nets and timed automata [Electronic resource] : a temporal logic approach / W. Penczek, A. Polrola. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Studies in computational intelligence, ISSN 1860-949X ; 20). - ISBN 978-3-540-32870-4 : Б. ц.

ГРНТИ	27.45.17	28.25
УДК	519.179.2	519.713

Рубрики: Петри сети--Верификация
Автоматов теория

См. : Текст издания

Доп.точки доступа:
Polrola, A.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

519.713
G64

Gopalakrishnan, G.
Computation engineering [Electronic resource] : applied automata theory and logic / G. Gopalakrishnan. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2006. - ISBN 0-387-32520-4 : Б. ц.

ГРНТИ	28.25	27.03.19	50.05.13
УДК	519.713	510	004.415.5

Рубрики: Автоматов теория
Математическая логика
Программы для ЭВМ--Верификация

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)