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

Базы данных

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

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

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Теория автоматов<.>)
Общее количество найденных документов : 10
Показаны документы с 1 по 10
1.
   З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
Найти похожие
2.
   Б
   А45

    Аладьев, Виктор Захарович.
    Математическая теория классических однородных структур [Текст] / В.З. Аладьев; Под общ. ред. Урсула А.Д.; Tallinn research group, Рос. акад. ноосферы. Белорус. гос. ун-т трансп. - Таллин и др. : [б. и.], 1998. - 299 с.
Рез. англ. - Библиогр.: с. 279-293
28.25
43.01
ББК Б.в641 + З815в641
Рубрики: Теория автоматов
   Биология, естествознание, математическое моделирование
Дескрипторы: моногр


Доп.точки доступа:
Хунт, Ю.Я; Шишаков, М.Л
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 1-18-99
Найти похожие
3.
   З 81
   Т956

    Тьюринг, Алан М .
    Может ли машина мыслить? [Текст] / А.М. Тьюринг; Пер. с англ. Данилова Ю.А. - Саратов : Колледж, 1999. - 99 с.
С прил. ст. Дж.фон Неймана Общая и логическая теория автоматов. - Имен. указ.: с. 99
28.25
50.07.03
ББК З 815я43 + З 97я43
Рубрики: Теория автоматов
   Вычислительная техника
Дескрипторы: моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 90-19-2000
Найти похожие
4.
   З 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
Найти похожие
5.
   З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
Найти похожие
6.
   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
Найти похожие
7.
   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
Найти похожие
8.
   И-З 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
Найти похожие
9.
   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
Найти похожие
10.
   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)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН