Новиков, Дмитрий Яковлевич (род. 1983). Верификация логических описаний комбинационных устройств при наличии функциональной неопределенности [Text] : автореферат диссертации на соискание ученой степени кандидата технических наук / Новиков Дмитрий Яковлевич ; ГНУ "Объединенный ин-т проблем информатики Нац. акад. наук Беларуси". - Минск : [s. n.], 2011. - 22 с. - ^aБиблиогр.: с. 17-19 (25 назв.). - Б. ц.
ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ ЛОГИЧЕСКИЕ ФУНКЦИИ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ ВЕРИФИКАЦИЯ АВТОРЕФЕРАТЫ Свободных экз. нет |
Капуро, Павел Александрович (радиоэлектроника). Цифровые функциональные устройства в телекоммуникациях [Text] : учебно-методическое пособие для специальностей 1-45 01 01 "Многоканальные системы телекоммуникаций", 1-45 01 02 "Системы радиосвязи, радиовещания и телевидения" и направлений специальности 1-45 01 01-01 "Инфокоммуникационные технологии (системы телекоммуникаций)", 1-45 0101-03 "Инфокоммуникационные технологии (системы телекоммуникаций специального назначения)", 1-45 01 01-04 "Инфокоммуникационные технологии (цифровое теле- и радиовещание)" / П. А. Капуро ; Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра систем телекоммуникаций. - [S. l. : s. n.], 2014. - 64 с. : ил., табл., схемы. - ^aБиблиография: с. 63 (8 назв.). - ISBN 978-985-543-022-4 : Б. ц.
ТЕЛЕКОММУНИКАЦИОННОЕ ОБОРУДОВАНИЕ ЦИФРОВЫЕ УСТРОЙСТВА БУЛЕВА АЛГЕБРА ЛОГИЧЕСКИЕ ФУНКЦИИ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ ПОСЛЕДОВАТЕЛЬНЫЕ ЦИФРОВЫЕ УСТРОЙСТВА ТРИГГЕРЫ РЕГИСТРЫ (техн.) Свободных экз. нет |
Шестеркин, Алексей Николаевич (доктор технических наук). Введение в электротехнику. Элементы и устройства вычислительной техники [Text] : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 230105 — "Программное обеспечение вычислительной техники и автоматизированных систем" и по направлению 231000 — "Программная инженерия" / А. Н. Шестеркин. - Москва : Горячая линия — Телеком, 2015. - 251 с. : ил., схемы, табл. - (Учебное пособие для высших учебных заведений. Специальность). - ^aБиблиография: с. 245—246 (22 назв.). - ISBN 978-5-9912-0359-3 : Б. ц.
ЭЛЕКТРИЧЕСКИЕ ЦЕПИ ЦЕПИ ПОСТОЯННОГО ТОКА ТРЕХФАЗНЫЕ ЦЕПИ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ РЕГИСТРЫ (техн.) СЧЕТЧИКИ ЗАПОМИНАЮЩИЕ УСТРОЙСТВА ПЕРЕДАЧА СИГНАЛОВ ЦИФРОВЫЕ УСТРОЙСТВА АНАЛОГО-ЦИФРОВЫЕ ПРЕОБРАЗОВАТЕЛИ ЦИФРОВО-АНАЛОГОВЫЕ ПРЕОБРАЗОВАТЕЛИ Свободных экз. нет |
Рабаи, Жан М.. Цифровые интегральные схемы [Text] : методология проектирования / Жан М. Рабаи, Ананта Чандракасан, Боривож Николич. - [2-е изд.]. - Москва [и др.] : Вильямс, 2016. - 911 с. : ил. - ^aБиблиография в конце глав. - ISBN 978-5-8459-1116-2 (в переплете) : Б. ц. ; На титульном листе: Серия книг Prentice Hall по электронике и СБИС
МОП-СТРУКТУРЫ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ МИКРОЭЛЕКТРОННАЯ ТЕХНОЛОГИЯ ПРОЕКТИРОВАНИЕ ТОПОЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ Доп.точки доступа: Чандракасан, Ананта; Николич, Боривож Свободных экз. нет |
Томас, Дональд. Логическое проектирование и верификация систем в SystemVerilog [Text] : [перевод с английского] / Дональд Томас. - Москва : ДМК Пресс, 2019. - 382 с. : ил., табл. - ^aПредметный указатель: с. 374—382. - ISBN 978-5-97060-619-3 : Б. ц.
ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ КОНЕЧНЫЕ АВТОМАТЫ РЕГИСТРЫ (вычисл. техника) ОПЕРАТОРЫ (программирование) ПРОЦЕДУРЫ (информатика) СТРУКТУРНЫЕ МОДЕЛИ ДАННЫХ (информатика) ПРОГРАММИРОВАНИЕ ВЕРИФИКАЦИЯ ТЕСТОВЫЙ КОНТРОЛЬ (вычисл. техника) ИНТЕГРАЛЬНЫЕ СХЕМЫ ЦИФРОВЫЕ СИСТЕМЫ Свободных экз. нет |
Соловьев, Валерий Васильевич (доктор технических наук ; род. 1956). Язык Verilog в проектировании встраиваемых систем на FPGA [Text] / В. В. Соловьев. - Москва : Горячая линия — Телеком, 2020. - 439 с. : ил., табл. - ^aБиблиография: с. 427 (13 назв.). - ^aПредметный указатель: с. 428—432. - ISBN 978-5-9912-0844-4 : Б. ц.
ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ ПРОЕКТИРОВАНИЕ ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ VERILOG (язык описания) ИНСТРУМЕНТАЛЬНЫЕ ПРОГРАММНЫЕ СРЕДСТВА АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ ТАЙМЕРЫ ДЕЛИТЕЛИ ЧАСТОТЫ ГЕНЕРАТОРЫ ИМПУЛЬСОВ АРИФМЕТИКО-ЛОГИЧЕСКИЕ УСТРОЙСТВА СУММАТОРЫ КОНЕЧНЫЕ АВТОМАТЫ ОЦЕНКА ЭФФЕКТИВНОСТИ Кл.слова (ненормированные): 0 ; FPGA (ПЛИС) Свободных экз. нет |
Соловьев, Валерий Васильевич (доктор технических наук ; род. 1956). Основы языка проектирования цифровой аппаратуры Verilog [Text] / В. В. Соловьев. - 2-е изд., [исправленное и дополненное]. - Москва : Горячая линия — Телеком, 2021. - 283 с. : ил., табл. - ^aБиблиография: с. 262—265 (39 назв.). - ^aПредметный указатель: с. 268—272. - ISBN 978-5-9912-0923-6 : Б. ц.
ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ ИНСТРУМЕНТАЛЬНЫЕ ПРОГРАММНЫЕ СРЕДСТВА ПРОГРАММНЫЕ МОДУЛИ БИБЛИОТЕКИ (программирование) ГРАФИЧЕСКИЕ ПРИМИТИВЫ ТИПЫ ДАННЫХ ЛОГИЧЕСКИЕ ОПЕРАЦИИ ОПЕРАТОРЫ (программирование) ТРАНСЛЯТОРЫ ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ КОНЕЧНЫЕ АВТОМАТЫ ЗАПОМИНАЮЩИЕ УСТРОЙСТВА ПРОЕКТИРОВАНИЕ ЭКСПЕРИМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ Свободных экз. нет |
Чернов, Евгений Александрович (доктор технических наук, электротехника). Электроавтоматика металлорежущих станков [Text] : монография / Е. А. Чернов. - [S. l. : s. n.], 2021. - 509 с. : ил., табл., цв. ил. - ^aБиблиография: с. 506—509 (60 назв.). - ISBN 978-5-9729-0586-7 : Б. ц. Примечание о содержании: 0 ^aСодержание^uhttp://rntbcat.org.by/Cont/2022/4_1/3_402698.pdf
МЕТАЛЛОРЕЖУЩИЕ СТАНКИ ЭЛЕКТРОАВТОМАТИКА ЭЛЕКТРООБОРУДОВАНИЕ ЭЛЕКТРИЧЕСКИЕ ПРИВОДЫ АВТОМАТИЧЕСКОЕ УПРАВЛЕНИЕ ТЕХНИЧЕСКАЯ ДИАГНОСТИКА ПРИНЦИПИАЛЬНЫЕ ЭЛЕКТРИЧЕСКИЕ СХЕМЫ ИСТОЧНИКИ ПИТАНИЯ УСТРОЙСТВА ЗАЩИТНОГО ОТКЛЮЧЕНИЯ АВТОМАТИЧЕСКИЕ ВЫКЛЮЧАТЕЛИ ТЕПЛОВЫЕ РЕЛЕ ТЕХНИЧЕСКИЕ ЧЕРТЕЖИ СБОРОЧНО-МОНТАЖНЫЕ РАБОТЫ ЭЛЕМЕНТНАЯ БАЗА ЧИСЛОВОЕ ПРОГРАММНОЕ УПРАВЛЕНИЕ ПРОГРАММИРУЕМЫЕ КОНТРОЛЛЕРЫ ЯЗЫКИ ПРОГРАММИРОВАНИЯ АНАЛОГОВЫЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ ДИСКРЕТНЫЕ УСТРОЙСТВА КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ РЕЛЕЙНО-КОНТАКТНЫЕ СХЕМЫ АСИНХРОННЫЕ ЭЛЕКТРОПРИВОДЫ Свободных экз. нет |
Сапожников, Валерий Владимирович (доктор технических наук ; род. 1940). Основы технической диагностики [Text] : учебник для студентов вузов железнодорожного транспорта / [В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов] ; под редакцией В. В. Сапожникова. - 2-е изд., переработанное и дополненное. - Москва : Учебно-методический центр по образованию на железнодорожном транспорте, 2019. - 421, [1] с. : ил., табл. - (Высшее образование) (Федеральный государственный образовательный стандарт) (Учебник для специалистов). - ^aБиблиография: с. 416—419 (48 назв.). - ^aАлфавитный указатель: с. 412—415. - ISBN 978-5-907055-70-4 (в переплете) : Б. ц.
МИКРОПРОЦЕССОРНЫЕ СИСТЕМЫ СХЕМОТЕХНИКА НЕИСПРАВНОСТИ ТЕХНИЧЕСКАЯ ДИАГНОСТИКА ТЕХНИЧЕСКОГО ДИАГНОСТИРОВАНИЯ СИСТЕМЫ ТЕСТОВОЕ ТЕХНИЧЕСКОЕ ДИАГНОСТИРОВАНИЕ ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ ДИСКРЕТНЫЕ УСТРОЙСТВА ДИСКРЕТНЫЕ СИСТЕМЫ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ НЕПРЕРЫВНЫЕ СИСТЕМЫ УПРАВЛЕНИЯ МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ТЕХНИЧЕСКИЙ КОНТРОЛЬ Доп.точки доступа: Сапожников, Владимир Владимирович (доктор технических наук ; род. 1940); Ефанов, Дмитрий Викторович (доктор технических наук ; род. 1985) Свободных экз. нет |
Программируемые логические интегральные схемы [Text] : учебное пособие / [Н. Ю. Сиротинина и др.] ; Министерство науки и высшего образования Российской Федерации, Сибирский федеральный университет, [Институт космических и информационных технологий]. - Красноярск : СФУ, 2020. - 223 с. : ил., цв. ил., табл. - ^aБиблиография: с. 219—223 (55 назв.). - ISBN 978-5-7638-4244-9 : Б. ц.
ИСТОРИЯ ВОПРОСА ПРОМЫШЛЕННОЕ ПРИМЕНЕНИЕ ТОВАРОПРОИЗВОДИТЕЛИ ЦИФРОВЫЕ УСТРОЙСТВА ЦИФРОВЫЕ АВТОМАТЫ ПРОЕКТИРОВАНИЕ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ ПРОГРАММИРОВАНИЕ СХЕМОТЕХНИКА Доп.точки доступа: Сиротинина, Наталья Юрьевна; Непомнящий, Олег Владимирович (кандидат технических наук); Постников, Александр Иванович; Недорезов, Дмитрий Александрович Свободных экз. нет |
Двузначные и многозначные токовые логические элементы и вычислительные модули [Text] : монография / Н. И. Чернов [и др.]. - Москва : СОЛОН-Пресс, 2022. - 367, [1] с. : ил., табл. - (Оценка "Отлично") (Библиотека студента). - ^aБиблиография: с. 351—368 (217 назв.). - ISBN 978-5-91359-481-5 : Б. ц.
ЦИФРОВЫЕ СХЕМЫ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ КМОП-СХЕМЫ ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ ЛОГИЧЕСКИЕ МОДУЛИ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ БУЛЕВА АЛГЕБРА ЛИНЕЙНАЯ АЛГЕБРА МНОГОЗНАЧНАЯ ЛОГИКА МАТЕМАТИЧЕСКИЕ ОСНОВЫ ФУНКЦИОНАЛЬНОЕ ПРОЕКТИРОВАНИЕ Доп.точки доступа: Чернов, Николай Иванович (доктор технических наук); Прокопенко, Николай Николаевич (доктор технических наук ; род. 1949); Бутырлагин, Николай Владимирович; Югай, Владислав Яковлевич (кандидат технических наук) Свободных экз. нет |
Практикум по электронике [Text] : пособие для студентов специальностей 1-43 01 01 "Электрические станции", 1-43 01 02 "Электроэнергетические системы и сети", 1-43 01 03 "Электроснабжение (по отраслям)", 1-43 01 09 "Релейная защита и автоматика" / Министерство образования Республики Беларусь, Белорусский национальный технический университет, Кафедра "Электротехника и электроника" ; [Ю. В. Бладыко и др.]. - [S. l. : s. n.], 2022. - 108, [1] с. : ил., табл. - ^aБиблиография: с. 108 (6 назв.). - ISBN 978-985-583-404-6 : Б. ц.
ЭЛЕКТРОННЫЕ ПРИБОРЫ ПОЛУПРОВОДНИКОВЫЕ ПРИБОРЫ УСТРОЙСТВО ЭЛЕКТРОННЫЕ СХЕМЫ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ ИНТЕГРАЛЬНЫЕ СХЕМЫ ЭКСПЕРИМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ Доп.точки доступа: Бладыко, Юрий Витальевич (кандидат технических наук ; род. 1958); Михальцевич, Георгий Александрович (электротехника); Жуковская, Татьяна Евгеньевна (электроника ; род. 1972); Новаш, Иван Владимирович (кандидат технических наук); Новикова, Людмила Ивановна (электротехника) Свободных экз. нет |
Соловьев, Валерий Васильевич (доктор технических наук ; род. 1956). Язык Verilog в проектировании встраиваемых систем на FPGA [Text] / В. В. Соловьев. - Москва : Горячая линия — Телеком, 2021. - 439 с. : ил., табл. - ^aБиблиография: с. 427 (13 назв.). - ^aПредметный указатель: с. 428—432. - ISBN 978-5-9912-0844-4 : Б. ц.
ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ ПРОЕКТИРОВАНИЕ ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ VERILOG (язык описания) КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ ТАЙМЕРЫ ДЕЛИТЕЛИ ЧАСТОТЫ ИМПУЛЬСНЫЕ ГЕНЕРАТОРЫ АРИФМЕТИКО-ЛОГИЧЕСКИЕ УСТРОЙСТВА СУММАТОРЫ КОНЕЧНЫЕ АВТОМАТЫ ОЦЕНКА ЭФФЕКТИВНОСТИ Кл.слова (ненормированные): 0 ; FPGA (ПЛИС) Свободных экз. нет |
Харрис, Сара Л. Цифровая схемотехника и архитектура компьютера [Text] : RISC-V / Сара Л. Харрис, Дэвид Харрис. - Москва : ДМК Пресс, 2022. - 809 с. : ил., цв. ил., табл. - ^aБиблиография: с. 801—802. - ^aПредметный указатель: с. 803—809. - ISBN 978-5-97060-961-3 (в переплете) : Б. ц.
RISC МИКРОПРОЦЕССОРЫ ЦИФРОВАЯ СХЕМОТЕХНИКА ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ ЭЛЕКТРОННЫЕ КОМПОНЕНТЫ КМОП (технология) КЭШ-ПАМЯТЬ ВИРТУАЛЬНАЯ ПАМЯТЬ ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ ПРОГРАММИРОВАНИЕ Доп.точки доступа: Харрис, Дэвид Мани (программист) Свободных экз. нет |
Тарасов, Илья Евгеньевич (кандидат технических наук). ПЛИС Xilinx [Text] : языки описания аппаратуры VHDL и Verilog, САПР, приемы проектирования / И. Е. Тарасов. - Москва : Горячая линия — Телеком, 2022. - 538 с. : ил., табл. - ^aБиблиография: с. 532 (8 назв.). - ISBN 978-5-9912-0802-4 : Б. ц.
ЦИФРОВЫЕ УСТРОЙСТВА ЦИФРОВАЯ СХЕМОТЕХНИКА АРХИТЕКТУРА ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ САПР ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ МУЛЬТИПЛЕКСОРЫ АРИФМЕТИЧЕСКИЕ ОПЕРАЦИИ ТРИГГЕРЫ (электроника) РЕГИСТРЫ (вычисл. техника) СЧЕТЧИКИ ДЕЛИТЕЛИ ЧАСТОТЫ ТАЙМЕРЫ ФЛЭШ-ПАМЯТЬ КОНЕЧНЫЕ АВТОМАТЫ КОНТРОЛЛЕРЫ (вычисл. техника) ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ОРГАНИЗАЦИЯ (процесс) ОПТИМИЗАЦИЯ ОТЛАДОЧНЫЕ ПЛАТЫ ТЕХНИЧЕСКИЕ ХАРАКТЕРИСТИКИ VERILOG (язык описания) Свободных экз. нет |