Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Теория автоматов<.>)
Общее количество найденных документов : 10
Показаны документы с 1 по 10
1.

Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления/А. А. Шалыто. - 1998
2.

Аладьев В.З. Математическая теория классических однородных структур/В.З. Аладьев; Под общ. ред. Урсула А.Д.; Tallinn research group, Рос. акад. ноосферы. Белорус. гос. ун-т трансп. - 1998
3.

Тьюринг А.М. Может ли машина мыслить?/А.М. Тьюринг; Пер. с англ. Данилова Ю.А. - 1999
4.

Хопкрофт Д.Э. Введение в теорию автоматов, языков и вычислений/Д.Э. Хопкрофт; [Пер. с англ. Васылык О.И. и др.]. - 2002
5.

Мартыненко Б.К. Языки и трансляции/Б. К. Мартыненко. - 2004
6.

Computer science logic/Ed. by E. Borger et al. - 1992
7.

CONCUR '92/Ed. by W. R. Cleaveland. - 1992
8.

Cellular automata/ed.: T. M. Li. - 2011
9.

Cellular automata/ed.: G. Ch. Sirakoulis, S. Bandini. - 2012
10.

Wozna B. Checking reachability properties for timed automata via SAT/B. Wozna, W. Penczek, A. Zbrzezny. - 2002
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН