Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>S=Теория автоматов<.>)
Общее количество найденных документов
:
10
Показаны документы
с 1 по 10
1.
Pr869
Pr869/630
Pr869/630 / Pr869/630-02
CONCUR '92
: Third intern. conf. on concurrency theory, Stony Brook, USA, Aug. 24-27, 1992 : Proc. / Ed. by W. R. Cleaveland. - Berlin [et al.] : Springer, 1992. - 580 p. : Ill. - (Lecture notes in computer science ; 630). - Bibliogr. at the end of the art.
- Auth. ind.: p. 580
Перевод заглавия:
Труды 3-й международной конференции по теории параллелизма
50.07.03
ББК
З 973.22-01Я431
Рубрики:
Теория автоматов
Вычислительные системы--Теория
Кл.слова (ненормированные):
семантика
--
вероятностные процессы
--
временная логика
--
автоматы
Дескрипторы:
сб пр -- конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
199-11-93+02
Найти похожие
2.
Pr869
Pr869/626
Pr869/626 / Pr869/626-02
Computer science logic
: 5th workshop, CSL'91 Berne, Switzerland, Oct. 7-11, 1991. Proceedings / Ed. by E. Borger et al. - Berlin [et al.] : Springer, 1992. - VII, 428 p. : Ill. - (Lecture notes in computer science ; 626). - Bibliogr. at the end of the art
Перевод заглавия:
Логика вычислительных машин и систем
50.05.09
28.25
ББК
З 973.205-018.12я431 + З 815я431
Рубрики:
Логическое программирование
Теория автоматов
Кл.слова (ненормированные):
семантика
--
автоматы
--
сети Петри
Дескрипторы:
сб пр -- конф
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
68-15-94+02
Найти похожие
3.
И-З 81
C38
И-З 81 / C38-02
Cellular automata
/ ed.: T. M. Li. - New York : Nova science publ., 2011. - XII,295 p. : ill. - (Mathematics research developments) (Computer science, technology and applications). - Bibliogr. at the end of the chapters. - Ind.: p. 289-295
Перевод заглавия:
Ячеистые автоматы
ГРНТИ
28.25
ББК
З 815
Рубрики:
Теория автоматов
Доп.точки доступа:
Li, Thomas M. \ed.\
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
13-1-2014+02
Найти похожие
4.
Pr1100
Pr1100/949
Pr1100/949 / Pr1100/949-02 ВМИ
Wozna, Bozena
.
Checking reachability properties for timed automata via SAT / B. Wozna, W. Penczek, A. Zbrzezny. - Warszawa : [s. n.], 2002. - 19 p. : tab. - (Prace / Instytut podstaw informatyki PAN (Warszawa), ISSN 0138-0648 ; n 949). - Res. also Pol. - Bibliogr.: p. 17-18
Перевод заглавия:
Проверка доступности для временных автоматов через SAT
28.25
ББК
З 815
Рубрики:
Теория автоматов
Дескрипторы:
сб пр -- моногр
Доп.точки доступа:
Penczek, W. ; Zbrzezny, A.
Экземпляры всего:
1
02 ВМИ (1)
Свободны:
02 ВМИ (1)
Найти похожие
5.
Pr869
Pr869/N7495
Pr869/7495 / Pr869/N7495-02
Cellular automata
: 10th Intern. conf. on cellular automata for research and industry, ACRI 2012, Santorini Island, Greece, Sept. 24-27, 2012: Proceedings / ed.: G. Ch. Sirakoulis, S. Bandini. - Berlin ; Heidelberg : Springer, 2012. - XVIII,859 p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; 7495). - Bibliogr. at the end of the art. - Auth. ind.: p. 857-859
Перевод заглавия:
Клеточные автоматы
ГРНТИ
28.25
ББК
З 815я431
Рубрики:
Теория автоматов
Перейти:
Оглавление
Доп.точки доступа:
Sirakoulis, Georgios Ch. \ed.\; Bandini, Stefania \ed.\
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
70-12-2014+02
Найти похожие
6.
Б
А45
Аладьев, Виктор Захарович
.
Математическая теория классических однородных структур [Текст] / В.З. Аладьев; Под общ. ред. Урсула А.Д.; Tallinn research group, Рос. акад. ноосферы. Белорус. гос. ун-т трансп. - Таллин и др. : [б. и.], 1998. - 299 с.
Рез. англ. - Библиогр.: с. 279-293
28.25
43.01
ББК
Б.в641 + З815в641
Рубрики:
Теория автоматов
Биология, естествознание, математическое моделирование
Дескрипторы:
моногр
Доп.точки доступа:
Хунт, Ю.Я; Шишаков, М.Л
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
1-18-99
Найти похожие
7.
З97
Ш187
Шалыто, Анатолий Абрамович
.
Switch-технология. Алгоритмизация и программирование задач логического управления [Текст] / А. А. Шалыто. - СПб. : Наука, 1998. - 626 с. : ил
Библиогр.: с. 606-617. - Предм. указ.: с. 620-626
28.25.23
50.05.03
ББК
З973.2-018.23 + З815
Рубрики:
теория автоматов
управляющие автоматы
логические системы автоматики, программное обеспечение
Дескрипторы:
моногр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
21-11-99
Найти похожие
8.
З 81
Т956
Тьюринг, Алан М
.
Может ли машина мыслить? [Текст] / А.М. Тьюринг; Пер. с англ. Данилова Ю.А. - Саратов : Колледж, 1999. - 99 с.
С прил. ст. Дж.фон Неймана Общая и логическая
теория автоматов
. - Имен. указ.: с. 99
28.25
50.07.03
ББК
З 815я43 + З 97я43
Рубрики:
Теория автоматов
Вычислительная техника
Дескрипторы:
моногр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
90-19-2000
Найти похожие
9.
З81
М294
Мартыненко, Борис Константинович
.
Языки и трансляции [Текст] : учеб. пособие / Б. К. Мартыненко ; С.-Петерб. гос. ун-т. - СПб. : Изд-во С.-Петерб. ун-та, 2004. - 225, [4] с. : ил. ; 26 см. - Библиогр.: с. 229. -
ГРНТИ
27.41
28.25.01
УДК
519.685.3(075.8)^V3
ББК
З 815я73 + З 973.2-018.13я73
Рубрики:
Теория автоматов
Синтаксический анализ в процессе трансляции языков программирования
Кл.слова (ненормированные):
Программирования языки - Синтаксис
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
45-3-2004
Найти похожие
10.
З 81
Х781
Хопкрофт, Джон Э
.
Введение в теорию автоматов, языков и вычислений [Текст] : переводное издание / Д.Э. Хопкрофт; [Пер. с англ. Васылык О.И. и др.]. - 2-е изд. - М. и др. : Вильямс, 2002. - 527 с. : ил. - (Теория вычислений). -
Пер. изд. :
Introduction to automata theory, languages, and Computation/ Hopcroft J.E
Библиогр. в конце гл. - Предм. указ.: с. 523-527
50.05.09
28.25
ББК
З 815 + З 973.2-018
Рубрики:
Теория автоматов
Теория программирования
Языки программирования
Дескрипторы:
моногр
Доп.точки доступа:
Мотвани, Р; Ульман, Д
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
17-21-2003
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН