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

Базы данных

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

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

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=конечные автоматы<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.
   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
Найти похожие
2.
   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
Найти похожие
3.
   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
Найти похожие
4.
   Pr869
   Pr869/415
Pr869/415 / Pr869/415-02

   
    STACS 90 : 7th Annu. symp. on theoretical aspects of computer science, Rouen, France, Febr. 22-24, 1990. Proc. / Ed. by C. Choffrut, T. Lengauer. - Berlin [et al.] : Springer, 1990. - VI, 312 p. : Ill. - (Lecture notes in computer science ; 415). - Bibliogr. at the end of the art.
- Ind. of auth. at the end of the book
Перевод заглавия: Труды 7-го ежегодного симпозиума по теоретическим аспектам вычислительной науки
28.25.15
50.07.03
ББК З 973.2-01в641я431 + З 813я431
Рубрики: Компьютеры--Теория
   Искусственный интеллект
Кл.слова (ненормированные):
искусственный интеллект -- конечные автоматы -- теория ЭВМ
Дескрипторы: сб пр -- конф

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

   
    Mathematical foundations of computer science 1992 : 17th intern. symp., Prague, Czechosl., Aug. 24-28, 1992 : Proc. / Ed. by I. M. Havel, V. Koubek. - Berlin [et al.] : Springer, 1992. - IX, 521 p. : Ill. - (Lecture notes in computer science ; 629). - Bibliogr. at the end of the art
Перевод заглавия: Математические основы вычислительной техники
50.07.03
ББК З 973.2-01я431
Рубрики: Компьютеры--Теория
Кл.слова (ненормированные):
конечные автоматы -- сети Петри -- алгебраические множества
Дескрипторы: сб пр -- конф

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