Гуртовцев, Аркадий Лазаревич. Логическое проектирование устройств автоматики [Text] / А. Л. Гуртовцев, А. Ф. Петренко, В. П. Чапенко. - Рига : Зинатне, 1978. - 210 с. - ^aБиблиогр.: с. 204-205. - Б. ц.
ТРИГГЕРЫ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ДИСКРЕТНЫЕ УСТРОЙСТВА АВТОМАТИКА Доп.точки доступа: Петренко, Александр Федорович; Чапенко, Виктор Петрович Свободных экз. нет |
Танаевские чтения [Text] : доклады Четвертой Международной научной конференции (Минск, 29-30 марта 2010 года). - Минск : ОИПИ НАН Беларуси, 2010. - 188 с. - ISBN 978-985-6744-61-0 : Б. ц. ; В надзаг.: Нац. акад. наук Беларуси, Объед. ин-т проблем информатики, Белорус. о-во исслед. операций. ; Часть текста на англ. яз.
ГРАФОВ ТЕОРИЯ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ РАСПИСАНИЙ ТЕОРИЯ КОНФЕРЕНЦИИ Беларусь, Республика Минск, город Свободных экз. нет |
Автоматизация проектирования дискретных систем [Text] : материалы 7-й Международной конференции, 16-17 ноября 2010 г., Минск. - Минск : ОИПИ НАН Беларуси, 2010. - 386 с. - ^aБиблиогр. в конце ст. - ISBN 978-985-6744-63-4 : Б. ц. ; В надзаг.: Объед. ин-т проблем информатики Нац. акад. наук Беларуси. ; Часть ст. на англ. яз. Содержание:
ПРОЕКТИРОВАНИЕ ЭКСПЕРТНЫЕ СИСТЕМЫ АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ КОНФЕРЕНЦИИ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ 2010 Беларусь, Республика Свободных экз. нет |
Леончик, Павел Вацлавович. Оптимизация представлений систем булевых функций для снижения сложности и энергопотребления комбинационных схем [Text] : автореферат диссертации на соискание ученой степени кандидата технических наук / Леончик Павел Вацлавович ; ГНУ "Объединенный ин-т проблем информатики НАН Беларуси". - Минск : [s. n.], 2012. - 21 с. : ил., табл. - ^aБиблиография: с. 17—18 (16 назв.). - Б. ц.
ЛОГИЧЕСКИЕ ФУНКЦИИ ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ АЛГОРИТМЫ (математика, информатика) ДИЗЪЮНКТИВНЫЕ НОРМАЛЬНЫЕ ФОРМЫ АВТОРЕФЕРАТЫ Свободных экз. нет |
Пухальский, Геннадий Иванович. Проектирование цифровых устройств [Text] : учебное пособие для студентов высших учебных заведений, обучающихся no направлению подготовки 210400 - "Радиотехника" / Г. И. Пухальский, Т. Я. Новосельцева. - Санкт-Петербург [и др.] : Лань, 2012. - 896 с. + CD. - (Учебники для вузов. Специальная литература). - ^aБиблиография: с. 871—872 (44 назв.). - ^aПредметный указатель: с. 873—878. - ISBN 978-5-8114-1265-5 (в переплете) : Б. ц.
ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ПЛИС ЦИФРОВЫЕ УСТРОЙСТВА КОНЕЧНЫЕ АВТОМАТЫ МИКРОПРОГРАММНЫЕ АВТОМАТЫ ПРОЕКТИРОВАНИЕ Доп.точки доступа: Новосельцева, Татьяна Яковлевна Свободных экз. нет |
Закревский, Аркадий Дмитриевич (доктор технических наук ; род. 1928). Логический синтез каскадных схем [Text] / А. Д. Закревский. - Москва : Наука, Главная редакция физико-математической литературы, 1981. - 414 с. - ^aПредметный указатель: с. 411—414. - Б. ц.
ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ СИНТЕЗ ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА Свободных экз. нет |
Маркова, Валентина Петровна. Применение аппарата гармонического анализа для синтеза логических функций [Text] : автореферат диссертации на соискание ученой степени кандидата технических наук / Маркова Валентина Петровна ; Уральский политехнический институт им. С. М. Кирова. - Свердловск : [s. n.], 1979. - 16 с. - ^aБиблиография: с. 15—16 (5 назв.). - Б. ц.
ЛОГИЧЕСКИЕ ФУНКЦИИ БОЛЬШИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ АВТОРЕФЕРАТЫ Свободных экз. нет |
Шоу, Алан. Логическое проектирование операционных систем [Text] : перевод с английского / А. Шоу. - Москва : Мир, 1981. - 360 с. : ил. - Б. ц.
ЭЛЕКТРОННЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ОПЕРАЦИОННЫЕ СИСТЕМЫ Свободных экз. нет |
Танаевские чтения [Text] : доклады Шестой Международной научной конференции (27—28 марта 2014 года, Минск) / [научный редактор Я. М. Шафранский]. - Минск : ОИПИ НАН Беларуси, 2014. - 206 с. [1] л. портр. : ил., табл. - ^aБиблиография в конце отдельных докладов. - ISBN 978-985-6744-82-5 : Б. ц. ; В надзаголовке: Национальная академия наук Беларуси, Объединенный институт проблем информатики, Институт математики, Белорусский государственный университет. ; Часть текста на английском языке
ДИСКРЕТНАЯ МАТЕМАТИКА РАСПИСАНИЙ ТЕОРИЯ ГРАФОВ ТЕОРИЯ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ДИСКРЕТНЫЕ УСТРОЙСТВА ЗАКАЗНЫЕ СВЕРХБОЛЬШИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ ПАМЯТНЫЕ ДАТЫ УЧЕНЫЕ АКАДЕМИКИ МЕЖДУНАРОДНЫЕ КОНФЕРЕНЦИИ Беларусь, Республика Кл.слова (ненормированные): 0 ; 2014 Доп.точки доступа: Шафранский, Яков Михайлович (кандидат физико-математических наук ; род. 1950) \.\; Танаев, Вячеслав Сергеевич (доктор физико-математических наук ; 1940—2002) \в. С.\; Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) \а. Д.\ Свободных экз. нет |
Кибернетика и информатика в Национальной академии наук Беларуси [Text] : очерки развития / Объединенный институт проблем информатики Национальной академии наук Беларуси ; [научные редакторы: С. В. Абламейко, А. В. Тузиков, О. И. Семенков]. - Минск : Тэхналогія, 2015. - 346 с. : ил., цв. ил., портр. - ^aБиблиография в конце глав. - ISBN 978-985-458-258-0 (в переплете) : Б. ц. ; На переплете: к 50-летию Объединенного института проблем информатики
ИССЛЕДОВАНИЯ АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ КОМПЬЮТЕРНАЯ ГРАФИКА МАТЕМАТИЧЕСКИЕ МОДЕЛИ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ГЕОИНФОРМАЦИОННЫЕ СИСТЕМЫ ИНФОРМАЦИОННО-КОММУНИКАЦИОННЫЕ ТЕХНОЛОГИИ КОСМИЧЕСКИЕ ИССЛЕДОВАНИЯ СУПЕРКОМПЬЮТЕРЫ КИБЕРНЕТИКА ИНФОРМАТИКА Беларусь, Республика Доп.точки доступа: Абламейко, Сергей Владимирович (доктор технических наук ; род. 1956) \.\; Тузиков, Александр Васильевич (доктор физико-математических наук ; род. 1958) \.\; Семенков, Олег Игнатьевич (кандидат технических наук ; род. 1935) \.\; Академия наук БССР; Объединенный институт проблем информатики Свободных экз. нет |
Танаевские чтения [Text] : доклады Восьмой Международной научной конференции (27—30 марта 2018 года, Минск) / [научные редакторы: Б. М. Розин, М. Я. Ковалев]. - Минск : ОИПИ НАН Беларуси, 2018. - 211, [1] с., [1] л. портр. : ил., табл., схемы. - ^aБиблиография в конце статей. - ISBN 978-985-6744-98-6 : Б. ц. ; В надзаголовке: Национальная академия наук Беларуси, Объединенный институт проблем информатики, Институт математики, Белорусский государственный университет. ; Часть текста на английском языке Содержание:
ИССЛЕДОВАНИЕ ОПЕРАЦИЙ МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ РАСПИСАНИЙ ТЕОРИЯ ГРАФОВ ТЕОРИЯ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ МАТЕМАТИЧЕСКАЯ ТЕОРИЯ МЕЖДУНАРОДНЫЕ КОНФЕРЕНЦИИ Доп.точки доступа: Розин, Борис Матвеевич (кандидат технических наук ; род. 1950) \.\; Ковалев, Михаил Яковлевич (доктор физико-математических наук ; род. 1959) \.\ Свободных экз. нет |
Колдаев, Виктор Дмитриевич (доктор технических наук). Основы логического проектирования [Text] : учебное пособие для студентов, обучающихся по группе специальностей "Программное обеспечение вычислительной техники и автоматизированных систем", "Вычислительные машины, комплексы, системы и сети", "Системы автоматизированного проектирования" / В. Д. Колдаев. - Москва : Форум, 2019. - 447 с. : ил., табл. - (Высшее образование). - ^aБиблиография: с. 441—442. - ISBN 978-5-8199-0458-9 Форум) (в переплете. - ISBN 978-5-16-004643-3 (Инфра-М) : Б. ц.
ЛОГИЧЕСКИЕ ФУНКЦИИ ЛОГИЧЕСКИЕ ОПЕРАЦИИ МАТЕМАТИЧЕСКАЯ ЛОГИКА АЛГОРИТМЫ (мат., информатика) АВТОМАТОВ ТЕОРИЯ ГРАФОВЫЙ ЯЗЫК ЦИФРОВЫЕ АВТОМАТЫ ДИСКРЕТНЫЕ АВТОМАТЫ МИКРОПРОГРАММНЫЕ АВТОМАТЫ АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ ТЬЮРИНГА МАШИНЫ РОБОТОТЕХНИКА ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ Свободных экз. нет |
Остроух, Андрей Владимирович (доктор технических наук). Проектирование информационных систем [Text] : монография / А. В. Остроух, Н. Е. Суркова. - Санкт-Петербург [и др.] : Лань, 2019. - 161 с. : ил., табл. - (Учебники для вузов. Специальная литература) (Бакалавриат и специалитет). - ^aБиблиография: с. 157—161 (56 назв.). - ISBN 978-5-8114-3404-6 (в переплете) : Б. ц.
ПРОЕКТИРОВАНИЕ КЛАССИФИКАЦИЯ (процесс) ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ИНТЕРФЕЙСЫ ПОЛЬЗОВАТЕЛЯ СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ КОНЦЕПТУАЛЬНОЕ ПРОЕКТИРОВАНИЕ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ CASE (технология) Доп.точки доступа: Суркова, Наталья Евгеньевна (кандидат педагогических наук) Свободных экз. нет |
Томас, Дональд. Логическое проектирование и верификация систем в SystemVerilog [Text] : [перевод с английского] / Дональд Томас. - Москва : ДМК Пресс, 2019. - 382 с. : ил., табл. - ^aПредметный указатель: с. 374—382. - ISBN 978-5-97060-619-3 : Б. ц.
ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ КОНЕЧНЫЕ АВТОМАТЫ РЕГИСТРЫ (вычисл. техника) ОПЕРАТОРЫ (программирование) ПРОЦЕДУРЫ (информатика) СТРУКТУРНЫЕ МОДЕЛИ ДАННЫХ (информатика) ПРОГРАММИРОВАНИЕ ВЕРИФИКАЦИЯ ТЕСТОВЫЙ КОНТРОЛЬ (вычисл. техника) ИНТЕГРАЛЬНЫЕ СХЕМЫ ЦИФРОВЫЕ СИСТЕМЫ Свободных экз. нет |
Осипов, Дмитрий Леонидович (кандидат технических наук, программирование). Технологии проектирования баз данных [Text] / Д. Л. Осипов. - Москва : ДМК Пресс, 2019. - 497 с. : ил., табл. - ^aБиблиография: с. 489—492 (58 назв.). - ^aПредметный указатель: с. 493—497. - ISBN 978-5-97060-737-4 (в переплете) : Б. ц.
СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ КОНЦЕПТУАЛЬНОЕ ПРОЕКТИРОВАНИЕ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ РЕЛЯЦИОННЫЕ МОДЕЛИ ДАННЫХ ПРЕДСТАВЛЕНИЕ ДАННЫХ БОЛЬШИЕ ОБЪЕМЫ ДАННЫХ SQL (язык запросов) ОБРАБОТКА ИНФОРМАЦИИ ЗАЩИТА ИНФОРМАЦИИ ОБЪЕКТНО-ОРИЕНТИРОВАННЫЕ БАЗЫ ДАННЫХ РАСПРЕДЕЛЕННЫЕ БАЗЫ ДАННЫХ КЛИЕНТ-СЕРВЕР ТЕХНОЛОГИЯ OLAP АДМИНИСТРИРОВАНИЕ Свободных экз. нет |
Бибило, Петр Николаевич (доктор технических наук ; род. 1953). Основы языка VHDL [Text] : учебное пособие для студентов учреждений, обеспечивающих получение высшего образования по специальностям вычислительной техники, радиоэлектроники и информатики / П. Н. Бибило. - Изд. 8-е, стереотипное. - Москва : URSS, 2020. - 325 с. : ил., табл., схемы. - ^aБиблиография: с. 290—294. - ISBN 978-5-9710-7134-1 : Б. ц.
ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ САПР ЦИФРОВЫЕ СИСТЕМЫ АППАРАТНЫЕ ИНТЕРФЕЙСЫ ПОДПРОГРАММЫ (вычисл. техника) СИНТАКСИС (программирование) ОПЕРАТОРЫ (программирование) ПРОГРАММНЫЕ МОДЕЛИ ТЕСТИРОВАНИЕ ПРОГРАММ Свободных экз. нет |
Танаевские чтения [Text] : доклады Девятой Международной научной конференции (Минск, 30 марта 2021 года) / [научные редакторы: Я. М. Шафранский, М. Я. Ковалев]. - Минск : ОИПИ НАН Беларуси, 2021. - 187 с., [1] л. портр. : ил., табл. - ^aБиблиография в конце статей. - ISBN 978-985-7198-06-1 : Б. ц. ; В надзаголовке: Национальная академия наук Беларуси, Объединенный институт проблем информатики, Институт математики, Белорусский государственный университет. ; Часть текста на английском языке
МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ ИССЛЕДОВАНИЕ ОПЕРАЦИЙ ПРИНЯТИЯ РЕШЕНИЙ ТЕОРИЯ МНОГОКРИТЕРИАЛЬНАЯ ОПТИМИЗАЦИЯ ГРАФОВ ТЕОРИЯ РАСПИСАНИЙ ТЕОРИЯ МНОГОПРОЦЕССОРНЫЕ СИСТЕМЫ ВИРТУАЛИЗАЦИЯ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ СТРУКТУРНЫЙ АНАЛИЗ Доп.точки доступа: Шафранский, Яков Михайлович (кандидат физико-математических наук ; род. 1950) \.\; Ковалев, Михаил Яковлевич (доктор физико-математических наук ; род. 1959) \.\ Свободных экз. нет |
Дыбой, Вячеслав Анатольевич. Автоматизация функционально-логического проектирования микроэлектронных устройств и аппаратуры на мини-ЭВМ [Text] : учеб. пособие / В. А. Дыбой, В. Е. Межов, А. А. Рындин. - Воронеж : [s. n.], 1990. - 78 с. - Б. ц.
МИКРОЭЛЕКТРОННЫЕ ПРИБОРЫ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ ФУНКЦИОНАЛЬНОЕ ПРОЕКТИРОВАНИЕ АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ Доп.точки доступа: Межов, В. Е.; Рындин, А. А. (микроэлектроника) Свободных экз. нет |
Киносита, К. Логическое проектирование СБИС [Text] : пер. с яп. / К. Киносита, К. Асада, О. Карацу. - М. : Мир, 1988. - 308 с. - Б. ц.
СВЕРХБОЛЬШИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ Доп.точки доступа: Асада, К.; Карацу, О. Свободных экз. нет |