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

Базы данных

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

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

Вид поиска

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


    Шалыто, Анатолий Абрамович.
    Switch-технология. Алгоритмизация и программирование задач логического управления [Текст] / А. А. Шалыто. - СПб. : Наука, 1998. - 626 с. : ил
Библиогр.: с. 606-617. - Предм. указ.: с. 620-626
ББК З973.2-018.23 + З815
Рубрики: теория автоматов
   управляющие автоматы

   логические системы автоматики, программное обеспечение

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

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

2.
   З 84
   С603
З 84 / С603-02


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

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

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

3.
   З 973.2
   Ф887


    Фрике, К.
    Вводный курс цифровой электроники : [учеб. пособие в обл. проектирования цифровых интегр. схем] / К. Фрике ; пер. с нем. под ред. и с доп. В. Я. Кремлева. - 2-е испр. изд. - М. : Техносфера, 2004. - 426, [2] с. : ил. ; 24 см. - (Мир электроники ; VII-01). - Библиогр.: с. 427. - 5000 экз.. -
ГРНТИ
УДК
ББК З 973.2я73
Рубрики: Микропроцессоры
   Вычислительная техника

Кл.слова (ненормированные):
Цифровые автоматы - Логические схемы -- Микроэлектронные схемы интегральные цифровые


Доп.точки доступа:
Кремлев, В.Я. \пер.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 10-2-2006
Найти похожие

4.
   З 973.2
   М747


    Мозговой, М. В.
    Классика программирования: алгоритмы, языки, автоматы, компиляторы : практ. подход / М. В. Мозговой. - СПб. : Наука и техника, 2006. - 320 с. : ил. -
ГРНТИ
ББК З 973.2-018
Рубрики: программное обеспечение--ЭВМ

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

5.
   З 81(ВМИ)
   Ш59 вр.хр.


    Шилов, В. В.
    Игры, в которые играли автоматы. Исторические очерки / В.В. Шилов. - М. : Новые технологии, 2009. - 32 с. - (Прил. к журн. "Информационные технологии" ; n 8/2009). - : Информационные технологии. -
ББК З 815


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

6.
   З 81(ВМИ)
   Ш59 вр.хр.


    Прил. к журн. "Информационные технологии". - М. : Новые технологии.
   N 8/2009 : Игры, в которые играли автоматы. Исторические очерки / В.В. Шилов. - 2009. - 32 с. - : Информационные технологии

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

7.
   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
Найти похожие

8.
   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
Найти похожие

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

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

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

10.
   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
Перевод заглавия: Машинные словари и автоматы в вычислительной лингвистике
ББК З 973.205-018я431 + Ш112я431
Рубрики: Лингвистические автоматы
   Вычислительная лингвистика

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

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

 1-10    11-20   21-23 
 
© 1997-2017 Отделение ГПНТБ СО РАН