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

Базы данных

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

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

Вид поиска

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


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

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

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


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


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

3.
   З97
   Ш187


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

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

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

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

4.
   З 973.2
   Ф887


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

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


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

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


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

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

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

6.
   З 973.2
   М747


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

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

7.
   Пр50
   Пр50/231
Пр50/231 / Пр50/231-02


   
    Динамические системы, автоматы и бесконечные группы : сб. ст. / под ред. Григорчука Р.И. - Москва : Наука-Интерпериодика, 2000. - 367 с. : ил. - (Труды Математического института им. В. А. Стеклова / Математический ин-т им. В.А. Стеклова (Москва)., ISSN 0371-9685 ; т. 231). - Библиогр. в конце ст. -
ББК В162.7я43 + В152.3я43 + З 815в641я43
Рубрики: Динамические системы--В функциональном анализе
   Эргодическая теория

   Бесконечные группы

   Теория автоматов--Математические методы

Дескрипторы: сб пр -- сб


Доп.точки доступа:
Григорчук, Р. И. \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 8-18-2001но
Найти похожие

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/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-го ежегодного симпозиума по теоретическим аспектам вычислительной науки
ББК З 973.2-01в641я431 + З 813я431
Рубрики: Компьютеры--Теория
   Искусственный интеллект

Кл.слова (ненормированные):
искусственный интеллект -- конечные автоматы -- теория ЭВМ
Дескрипторы: сб пр -- конф

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

10.
   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
Перевод заглавия: Математические основы вычислительной техники
ББК З 973.2-01я431
Рубрики: Компьютеры--Теория
Кл.слова (ненормированные):
конечные автоматы -- сети Петри -- алгебраические множества
Дескрипторы: сб пр -- конф

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

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