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

Базы данных

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

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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Конечные автоматы<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
   З 84
   С603
З 84 / С603-02


    Соловьев, Валерий Васильевич.
    Проектирование цифровых систем на основе программируемых логических интегральных схем [Текст] / В. В. Соловьев. - М. : Горячая линия-Телеком, 2001. - 636 с. : ил. - (Современная электроника). - 1 экз.
Предм. указ.: с. 625-630
ББК З 844.15-02 + З 815
Рубрики: конечные автоматы
   цифровые устройства, на основе программируемых интегральных схем

Дескрипторы: моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 84-10-2002но
Найти похожие

2.
   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
Перевод заглавия: Автоматы, языки программирования и программирование
ББК З 815я431 + З 973.2-018я431
Рубрики: Конечные автоматы
   Программное обеспечение--ЭВМ

Кл.слова (ненормированные):
конечные автоматы -- формальные языки -- теория баз данных
Дескрипторы: сб пр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 217-2-91+02
Найти похожие

3.
   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
Перевод заглавия: Конечное представление программ вычисления коммуникационных систем и коммуникационных последовательных процессов с помощью теории автоматов и сетей Петри
ББК З 811 + З 815
Рубрики: Теория информации
   Конечные автоматы

Кл.слова (ненормированные):
абстрактные языки программирования -- конечные автоматы -- сети Петри
Дескрипторы: сб пр

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

4.
   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
Перевод заглавия: Формальные свойства конечных автоматов и их применения
ББК З 815я431 + З 973.235-01я431
Рубрики: Конечные автоматы
   Системы для распознавания образов на основе ЭВМ

Кл.слова (ненормированные):
конечные автоматы -- распознавание образов -- программирование
Дескрипторы: сб пр

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

 
© 1997-2017 Отделение ГПНТБ СО РАН