Главная страница

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Автоматов теория<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
Вид документа : Однотомное издание
Шифр издания : 519.713/K58
Автор(ы) : Kluge W.
Заглавие : Abstract computing machines [Electronic resource] : a lambda calculus perspective
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Texts in theoretical computer science, an eatcs series
Вид и объем ресурса: Electronic text data
ISBN, Цена 3-540-21146-2: Б.ц.
ГРНТИ : 28.25.19
УДК : 519.713
Предметные рубрики: Автоматов теория
Найти похожие
2.
Вид документа : Однотомное издание
Шифр издания : 519.713/G64
Автор(ы) : Gopalakrishnan G.
Заглавие : Computation engineering [Electronic resource] : applied automata theory and logic
Выходные данные : Boston, Ma: Springer Science + Business Media LLC, 2006
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 0-387-32520-4: Б.ц.
ГРНТИ : 28.25 + 27.03.19 + 50.05.13
УДК : 519.713 + 510 + 004.415.5
Предметные рубрики: Автоматов теория
Математическая логика
Программы для ЭВМ-- Верификация
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания : 519.179.2/P41
Автор(ы) : Penczek W., Polrola A.
Заглавие : Advances in verification of time petri nets and timed automata [Electronic resource] : a temporal logic approach
Выходные данные : Berlin; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Studies in computational intelligence, ISSN 1860-949X; 20
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32870-4: Б.ц.
ГРНТИ : 27.45.17 + 28.25
УДК : 519.179.2 + 519.713
Предметные рубрики: Петри сети-- Верификация
Автоматов теория
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)