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

Базы данных

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

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

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=автоматы<.>)
Общее количество найденных документов : 23
Показаны документы с 1 по 10
 1-10    11-20   21-23 
1.
   Pr869
   Pr869/779
Pr869/778 / Pr869/779-02

   
    Algorithms and complexity : 2nd Italian conf., CIAC'94, Rome, Italy, Febr. 23-25, 1994 : Proc. / Eds.: M. Bonuccelli et al. - Berlin [et al.] : Springer, 1994. - VI, 222 p. : Ill. - (Lecture notes in computer science ; 778). - Bibliogr. at the end of the art
Перевод заглавия: Алгоритмы и сложность
50.05.03
ББК З 973.2-018я431
Рубрики: Компьютеры--Программное обеспечение
Кл.слова (ненормированные):
конечные автоматы -- теория графов
Дескрипторы: сб пр -- конф.м

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 90-6-95+02
Найти похожие
2.
   Pr869
   Pr869/372
Pr869/372 / Pr869/372-02

   
    Automata, languages and programming : 16th intern. colloquium Stresa, Italy, July 11-15, 1989. Proc. / Ed. by G.Ausiello a. o. - Berlin [et al.] : Springer, 1989. - XI,788 p. : Ill. - (Lecture notes in computer science ; 372). - Bibliogr. at the end of the art
Перевод заглавия: Автоматы, программирование и языки программирования
50.05
28.25
ББК З 815я431 + З 973.2-018я431
Рубрики: Дискретные автоматы--Теория
   Программное обеспечение--ЭВМ
Кл.слова (ненормированные):
дискретные автоматы -- языки программирования -- семантика
Дескрипторы: сб пр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 202-20-91+02
Найти похожие
3.
   Pr869
   Pr869/267
Pr869/267 / Pr869/267-02

   
    Automata, languages and programming : 14th intern. colloquium Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proc. / Ed. by Thomas Ottmann. - Berlin [et al.] : Springer, 1987. - X,565 p. : Ill. - (Lecture notes in computer science ; 267). - Bibliogr. at the end of the art.
Auth. ind.: p.564-565
Перевод заглавия: Автоматы, языки программирования и программирование
50.05
28.25
ББК З 815я431 + З 973.2-018я431
Рубрики: Конечные автоматы
   Программное обеспечение--ЭВМ
Кл.слова (ненормированные):
конечные автоматы -- формальные языки -- теория баз данных
Дескрипторы: сб пр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 217-2-91+02
Найти похожие
4.
   И-З 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
Найти похожие
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.
   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.
   Pr869
   Pr869/377
Pr869/377 / Pr869/377-02

   
    Electronic dictionaries and automata in computational linguistics [Text] : LITP Spring school on theoretical computer science Saint-Pierre d'Oleron, France, May 1987. Proc. / Ed. by M. Gross, D. Perrin. - Berlin [et al.] : Springer, 1989. - IV,110 p. : Ill. - (Lecture notes in computer science ; 377). - Bibliogr. at the end of the art
Перевод заглавия: Машинные словари и автоматы в вычислительной лингвистике
50.05.09
28.25
16.31.02
ББК З 973.205-018я431 + Ш112я431
Рубрики: Лингвистические автоматы
   Вычислительная лингвистика
Кл.слова (ненормированные):
вычислительная лингвистика -- грамматика -- машинные словари
Дескрипторы: сб пр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 202-24-91+02
Найти похожие
9.
   Pr869
   Pr869/369
Pr869/369 / Pr869/369-02

    Taubner, Dirk.
    Finite representations of CCS and TCSP programs by automata and Petri nets : сборник / D. Taubner. - Berlin [et al.] : Springer, 1989. - X,168 p. : Ill. - (Lecture notes in computer science ; 369)
Bibliogr.: p. 159-164. Ind.: p.166-168
Перевод заглавия: Конечное представление программ вычисления коммуникационных систем и коммуникационных последовательных процессов с помощью теории автоматов и сетей Петри
28.25
ББК З 811 + З 815
Рубрики: Теория информации
   Конечные автоматы
Кл.слова (ненормированные):
абстрактные языки программирования -- конечные автоматы -- сети Петри
Дескрипторы: сб пр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 202-17-91+02
Найти похожие
10.
   Pr869
   Pr869/386
Pr869/386 / Pr869/386-02

   
    Formal properties of finite automata and applications : LITP Spring school on theoretical computer science Ramatuelle, France, May 23-27, 1988. Proc. / Ed. by J. E. Pin. - Berlin [et al.] : Springer, 1989. - VIII,259 p. : Ill. - (Lecture notes in computer science ; 386). - Bibliogr. at the end of the art.
Auth. ind. at the end of the books
Перевод заглавия: Формальные свойства конечных автоматов и их применения
28.25
50.33.33
ББК З 815я431 + З 973.235-01я431
Рубрики: Конечные автоматы
   Системы для распознавания образов на основе ЭВМ
Кл.слова (ненормированные):
конечные автоматы -- распознавание образов -- программирование
Дескрипторы: сб пр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 202-26-91+02
Найти похожие
 1-10    11-20   21-23 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН