Авторизация
 

Базы данных


Основная база библиотеки - результаты поиска

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=КОНЕЧНЫЕ АВТОМАТЫ<.>)
Общее количество найденных документов : 39
Показаны документы с 1 по 20
 1-10    11-20   21-30   31-39 
1.
519
П 231


    Певзнер, Леонид Давидович.
    Практикум по математическим основам теории систем [Электронный ресурс] : учебное пособие / Л. Д. Певзнер ; рец. Л. В. Бабко. - Электрон. текстовые дан. - СПб. : Лань, 2022. - on-line : рис., граф., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 393. - Указ.: с. 394-397. - ISBN 978-5-8114-1411-6 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://reader.lanbook.com/book/211259#1
Постоянная гиперссылка
2.
519
Ш 785


    Шоломов, Лев Абрамович.
    Основы теории дискретных логических и вычислительных устройств [Электронный ресурс] : учебное пособие / Л. А. Шоломов. - 3е изд., испр. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : табл., рис. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 410-413. - Указ. обозн.: с. 414-418. - Предм. указ.: с. 419-427. - ISBN 978-5-8114-1197-9 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://reader.lanbook.com/book/167882#1
Постоянная гиперссылка
3.
004
М 219


    Малявко, Александр Антонович.
    Формальные языки и компиляторы [Электронный ресурс] : учебное пособие для вузов / А. А. Малявко ; рец.: А. В. Гунько, Е. Л. Романов ; Новосибирский государственный технический университет. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 430. - ISBN 978-5-534-04288-7 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/formalnye-yazyki-i-kompilyatory-453250#page/1
Постоянная гиперссылка
4.
004
Т 560


    Томас, Дональд.
    Логическое проектирование и верификация систем на SystemVerilog [Электронный ресурс] = Logic Design and Verihcation Using SystemVerilog : учебное пособие / Д. Томас ; ред. Д. А. Мовчан ; пер.: А. А. Слинкин, А. С. Камкин, М. М. Чупилко. - Электрон. текстовые дан. - М. : ДМК Пресс, 2019. - on-line : рис., схемы, табл. - Предм. указ.: с. 374-382. - ISBN 978-5-97060-619-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/131680/#1
Постоянная гиперссылка
5.
519
Г 248


    Гашков, Сергей Борисович.
    Дискретная математика [Электронный ресурс] : учебник и практикум для вузов / С. Б. Гашков, А. Б. Фролов ; рец.: А. В. Бабаш, В. Н. Вагин. - 3-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2019. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 480-481. - ISBN 978-5-534-11613-7 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://biblio-online.ru/viewer/diskretnaya-matematika-445753#page/1
Постоянная гиперссылка
6.
004
П 140


    Паласиос, Хорхе.
    Unity 5.x. Программирование искусственного интеллекта в играх [Электронный ресурс] : переводное издание / Х. Паласиос ; ред. Д. А. Мовчан ; пер. Р. Н. Рагимов. - Электрон. текстовые дан. - М. : ДМК Пресс, 2017. - on-line : ил., рис. - Пер. с англ. - Предм. указ.: с. 269-271. - ISBN 978-5-97060-436-6 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/97348/#1
Постоянная гиперссылка
7.
004
С 771


    Стариченко, Борис Евгеньевич.
    Теоретические основы информатики [Электронный ресурс] : учебник для вузов / Б. Е. Стариченко. - 3-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Горячая линия - Телеком, 2017. - on-line : ил., табл., рис. - Библиогр.: с. 391-393. - ISBN 978-5-9912-0462-0 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/111107/#1
Постоянная гиперссылка
8.
519
Ш 371


    Шевелев, Юрий Павлович.
    Дискретная математика [Электронный ресурс] : учебное пособие / Ю. П. Шевелев ; рец.: Я. Н. Нужин, Ю. В. Карякин ; худож. А. Ю. Лапшин. - 3-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2018. - on-line : ил., рис., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 577-579. - Предм. указ.: с. 580-584. - ISBN 978-5-8114-0810-8 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/107270/#1
Постоянная гиперссылка
9.
004
Х 218


    Харрис, Дэвид М..
    Цифровая схемотехника и архитектура компьютера [Электронный ресурс] / Д. М. Харрис, С. Л. Харрис ; ред., худож. Д. А. Мовчан. - Электрон. текстовые дан. - М. : ДМК Пресс, 2017. - on-line : ил., портр., рис. - Пер. с англ. Imagination Technologies. - Предм. указ.: с. 772-791. - ISBN 978-5-97060-522-6 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/97336/#4
Постоянная гиперссылка
10.
62-5
С 176


   
    Самоорганизующиеся системы [Текст] : научное издание / пер.: В. Г. Бородулина, В. П. Евменов ; ред. Т. Н. Соколов. - М. : Мир, 1964. - 436 с : граф., рис., схемы, табл. - Пер с англ. - Библиогр. в конце ст. - 01.74 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
11.
62-5
С 176


   
    Самообучающиеся автоматические системы [Текст] / Академия наук СССР. - М. : Наука, 1966. - 432 с : граф., рис., схемы, табл. - Библиогр. в конце ст. - 02.37 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
12.
51
С 524


   Смыслова, Зинаида Александровна

    Спецглавы математики : учебное пособие / З. А. Смыслова, Н. В. Пермякова ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизации обработки информации. - Томск : ТМЦДО, 2002 - .
   Ч. 3 : Математическая логика. Булевы функции. - Томск : ТМЦДО, 2002. - 80 с. : ил, табл. - Библиогр.: с. 69. - 40.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (5 экз.)
Свободны: счз1 (1), аунл (5)
Постоянная гиперссылка
13.
519.8
К 265


    Карпов, Александр Георгиевич.
    Математические основы теории систем [Текст] : учебное пособие / А. Г. Карпов ; Министерство образования и науки Российской Федерации, Томский государственный университет систем управления и радиоэлектроники (Томск), Кафедра компьютерных систем в управлении и проектировании. - Томск : ТМЛ-Пресс, 2013. - 316 с. - Библиогр.: с. 313. - ISBN 978-5-91302-152-6 : 200.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (10 экз.)
Свободны: аунл (10)
Постоянная гиперссылка
14.
Шифр: И515367/2012/55/10
   Журнал

Приборостроение : журнал информационных технологий, механики и оптики. Известия ВУЗов/ Министерство образования Российской Федерации (М.), Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики. - СПб. : ЦНИИ " Электроприбор", 1958 - . - ISSN 0021-3454. - Выходит ежемесячно
2012г. т.55 N 10
Содержание:
Бессмертный, И. А. Управление контекстом в информационных системах / И. А. Бессмертный. - С.7-13
Кл.слова: онтология, информационный поиск, индексация
Косяков, М. С. Применение технологии CUDA для ускорения расчета цен опционов европейского типа сеточным методом / М. С. Косяков, Д. Н. Шинкарук, А. В. Торопов. - С.13-19
Кл.слова: редукция, торговля, схема Кранка-Николсона
Шинкарук, Д. Н. Анализ эффективности применения технологии CUDA для решения систем линейных уравнений с трехдиагональными матрицами в задачах расчета цен опционов / Д. Н. Шинкарук, Ю. А. Шполянский, М. С. Косяков. - С.20-25
Кл.слова: редукция, прогонка, СЛАУ
Рубина, И. С. Исследование алгоритмов кодирования преобразованием в рамках задач сжатия опорных и остаточных кадров видеопоследовательности / И. С. Рубина, А. Ю. Тропченко. - С.26-30
Кл.слова: преобразование Хартли, матрица, пространственная модель
Тропченко, А. А. Нейросетевые методы идентификации человека по изображению лица / А. А. Тропченко, А. Ю. Тропченко. - С.31-36
Кл.слова: распознавание, личность, биометрические системы
Щеглов, К. А. Модель контроля доступа к создаваемым файловым объектам / К. А. Щеглов, А. Ю. Щеглов. - С.37-40
Кл.слова: защита информации, разграничение доступа, информационный поток
Поляков, В. И. Преобразование моделей алгоритмов / В. И. Поляков, В. И. Скорубский. - С.41-46
Кл.слова: регулярные языки, выражения, конечные автоматы
Алиев, Т. И. САПР маршрутизируемой компьютерной сети на основе компонентов с открытыми исходными кодами / Т. И. Алиев, В. В. Соснин, Д. Н. Шинкарук. - С.47-52
Кл.слова: туннелирование, дисциплины обслуживания, имитационное моделирование
Богатырев, В. А. Функциональная надежность вычислительных систем с перераспределением запросов / В. А. Богатырев, С. В. Богатырев, А. В. Богатырев. - С.53-57
Кл.слова: отказоустойчивость, перераспределение запросов, кластер
Алиев, Т. И. Задачи синтеза систем с потерями / Т. И. Алиев. - С.57-63
Кл.слова: накопитель, емкость, вероятность
Муравьева-Витковская, Л. А. Обеспечение качества обслуживания в мультисервисных компьютерных сетях за счет приоритетного управления / Л. А. Муравьева-Витковская. - С.64-68
Кл.слова: трафик, модель, функция
Ожиганов, А. А. Композиционные кодовые шкалы для преобразователей линейных перемещений / А. А. Ожиганов. - С.69-73
Кл.слова: считывание, элементы, габариты
Болгаров, И. С. Проектирование приборных контроллеров / И. С. Болгаров, Н. А. Маковецкая, А. Е. Платунов. - С.73-77
Кл.слова: эксперименты, зондовые микроскопы, заказное проектирование
Николаенков, А. В. Аспектные технологии в системах с преобладающей программной компонентной / А. В. Николаенков. - С.78-80
Кл.слова: программирование, фильтры, связи
Ожиганов, А. А. Система автоматизированного проектирования псевдорегулярных кодовых шкал / А. А. Ожиганов, И. Д. Захаров. - С.80-84
Кл.слова: преобразователь, перемещение, элементы
Чураев, С. О. Метод реверсивной случайной выборки для измерения с пикосекундным разрешением времени задержки в элементах интегральных схем / С. О. Чураев. - С.84-88
Кл.слова: разделение, фронт, спад
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
15.
Шифр: М101216/2012/5
   Журнал

Мехатроника, автоматизация, управление : теоретический и прикладной научно-технический журнал. - М. : Новые технологии. - ISSN 1684-6427. - Выходит ежемесячно
2012г. N 5
Содержание:
Миронов, В. И. Определение характеристик точности вариационных оценок параметров состояния нелинейных динамических систем / В. И. Миронов, Ю. В. Миронов, Р. М. Юсупов. - С.2-5
Кл.слова: статистика, матрицы, корреляция
Кравченко, П. П. Синтез алгоритмов управления перевернутым маятником на тележке с использованием аппарата дельта-преобразований второго порядка / П. П. Кравченко. - С.6-14
Кл.слова: уравнения, оптимизация, трение
Сергеев, С. Ф. Адаптивная автоматизация деятельности оператора в среде иммерсивного интерфейса мехатронного подвижного объекта / С. Ф. Сергеев. - С.15-20
Кл.слова: деятельность, мехатроника, виртуальность
Обознов, А. А. Образно-концептуальные модели в деятельности операторов сложных эргатических систем / А. А. Обознов, Э. В. Волков, Е. Д. Чернецкая. - С.21-30
Кл.слова: атомные станции, психосемантика, методы
Подерно, П. И. Развитие функционально-структурной теории для оценки качества деятельности операторов эргатических систем / П. И. Подерно, И. С. Павлухин, А. В. Смирнов. - С.31-35
Кл.слова: алгоритмы, структуры, ошибки
Дударенко, Н. А. Представление производственной деятельности антропокомпонента-оператора непрерывной динамической моделью с интервальными параметрами / Н. А. Дударенко, (Полякова) М. В. Сержантова, А. В. Ушаков. - С.36-43
Кл.слова: экспоненция, аппроксимация, производительность
Макаров, И. М. Модели и алгоритмы планирования действий и распределения заданий в мультиагентных робототехнических системах / И. М. Макаров, В. М. Лохин, С. В. Манько. - С.44-49
Кл.слова: управление, роботы, конечные автоматы
Малолетов, А. В. О походках реконфигурируемой модульной шагающей машины с ортогонально-поворотными движителями / А. В. Малолетов, Е. С. Брискин, А. М. Колесов. - С.50-55
Кл.слова: походка, управление, методы
Иванов, В. М. Идентификация параметров и алгоритмы самонастройки в системах стабилизации усилия резания / В. М. Иванов. - С.56-63
Кл.слова: станкостроение, ЧПУ, адаптивность
Кушнир, А. П. Исследование динамических процессов в уплотнительных устройствах мехатронных шпиндельных узлов / А. П. Кушнир. - С.64-64
Кл.слова: герметичность, моделирование, электрошпиндели
Виттих, В. А. Онтологии в интерсубъективных теориях / В. А. Виттих, М. В. Игнатьев, С. В. Смирнов. - С.69-70
Кл.слова: факторы, проблемы, ситуация
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
16.
62-5
К 230


    Карибский, Вячеслав Владимирович.
    Техническая диагностика объектов контроля (методы анализа непрерывных и дискретных объектов) [Текст] : научное издание / В. В. Карибский, П. П. Пархоменко, Е. С. Согомонян. - М. : Энергия, 1967. - 80 с. : ил., табл. - (Библиотека по автоматике ; вып. 261). - Библиогр.: с. 78. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
17.
62-5
З-382


    Захаров, Валерий Николаевич.
    Автоматы с распределенной памятью [Текст] : / В. Н. Захаров. - М. : Энергия, 1975. - 136 с. : ил., табл. - Библиогр.: с. 133-134. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
18.
681.5
Д 482


   
    Дискретные, самонастраивающиеся и обучающиеся системы [Текст] : труды III Международного Конгресса Международной Федерации по автоматическому управлению. Лондон, 20-25 июня 1966 г. / Академия наук СССР, Международная федерация по автоматическому управлению, Национальный комитет СССР по автоматическому управлению. Международный Конгресс Международной Федерации по автоматическому управлению (III ; 20-25 июня 1966 г. ; Лондон) ; ред. Я. З. Цыпкин . - М. : Наука, 1971. - 444 с. : ил., табл. - Библиогр. в конце ст. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
19.
62-50
Д 426


    Джордж, Фрэнк.
    Мозг как вычислительная машина [Текст] : / Ф. Джордж ; пер. Ю. И. Лашкевич, пер. Э. Н. Трифонов, ред. пер., предисл. П. К. Анохин. - М. : Издательство иностранной литературы, 1963. - 528 с. : ил., табл. - Пер. с англ. - Библиогр.: с. 502-523. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
20.
62-5
Д 259


    Девятков, Владимир Валентинович.
    Методы реализации конечных автоматов на сдвиговых регистрах [Текст] : / В. В. Девятков. - М. : Энергия, 1974. - 80 с. : ил., табл. - (Библиотека по автоматике ; вып. 523). - Библиогр.: с. 78-79. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
 1-10    11-20   21-30   31-39 
 
Статистика
за 26.06.2024
Число запросов 103196
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)