| № | Дата |
Автор |
Заглавие |
|---|
|
1990 |
Бахирев, Андрей Владимирович (кандидат технических наук) |
Алгоритмические и программные средства логического проектирования управляющих устройств на основе программируемых БИС с матричной структурой : Автореф.дис.на соиск.учен.сткп.канд.техн.наук:(05.13.12) / АН БССР,Ин-т техн.кибернетики |
|
1985 |
|
Автоматизация технической подготовки производства : научно-технический сборник / Академия наук Белорусской ССР, Институт технической кибернетики ; [редколлегия: О. И. Семенков (главный редактор) и др.] |
|
2014 |
Тагави Афшорд, Саид Хосейн (кандидат технических наук) |
Algorithms for decomposition of Boolean functions based on the tabular method : thesis for the degree of doctor of philosophy in speciality 05.13.12 ― computer aided design = Алгоритмы декомпозиции булевых функций на основе табличного метода : диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.12 ― системы автоматизации проектирования / Taghavi Afshord Saeid Hossein ; scientific supervisor: Pottosin Yu. V. ; National Academy of Sciences of Belarus, United Institute of Informatics Problems |
|
2004 |
Чернов, Николай Иванович (кандидат физико-математических наук ; 1956—2014) |
Основы теории логического синтеза компонентов СБИС в линейных пространствах : автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.12 ; 05.13.05 / Чернов Николай Иванович ; [Таганрогский государственный радиотехнический университет] |
|
1989 |
Бибило, Петр Николаевич (доктор технических наук ; род. 1953) |
Автоматизация логического проектирования цифровых устройств на программируемых матричных БИС |
|
2005 |
Черемисинова, Людмила Дмитриевна (доктор технических наук ; род. 1947) |
Синтез и оптимизация комбинационных структур СБИС / Л.Д.Черемисина ; Национальная академия наук Беларуси, Объединенный институт проблем информатики |
|
1993 |
|
Система логического проектирования заказных СБИС на базе регулярных матричных структур / А. Д. Закревский [и др.] |
|
1994 |
Черемисинова, Людмила Дмитриевна (доктор технических наук ; род. 1947) |
Синтез логических сетей из вентилей / Л. Д. Черемисинова |
|
1991 |
|
Автоматизация логического проектирования дискретных систем : сборник научных трудов / Академия наук Беларуси, Институт технической кибернетики ; научный редактор А. Д. Закревский |
|
1987 |
Поляков, Александр Сергеевич (кандидат технических наук ; род. 1939) |
К задаче синтеза схем из секционированных ПЛМ / А. С. Поляков |
|
2001 |
Василькова, Ирина Владимировна (кандидат технических наук) |
Логико-комбинаторное обеспечение в системах логического проектирования и распознавания : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.18 / Василькова Ирина Владимировна ; Гос. науч. учреждение "Ин-т техн. кибернетики Нац. акад. наук Беларуси" |
|
1993 |
|
Структуры данных в исследовательских САПР логических устройств : материалы по математическому обеспечению ЭВМ / Академия наук Беларуси, Институт технической кибернетики ; [автор-составитель Н. А. Кириенко] ; научный редактор А. Д. Закревский |
|
2004 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Основы логического проектирования : в 3 кн. / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова ; Национальная академия наук Беларуси, Объединенный институт проблем информатики. — Кн. 1: Комбинаторные алгоритмы дискретной математики |
|
1993 |
|
Формализация и автоматизация логического проектирования : сборник научных трудов / Академия наук Беларуси, Институт технической кибернетики ; научный редактор А. Д. Закревский |
|
1985 |
|
Автоматизация проектирования в машиностроении : (направление: "Вычислительная техника в машиностроении") : научно-технический сборник / Академия наук Белорусской ССР, Институт технической кибернетики ; [редколлегия: О. И. Семенков (главный редактор) и др.] |
|
1981 |
Кулинец, Иосиф Менашевич |
Логическое проектирование баз данных при создании информационно-вычислительных систем : Обзор |
|
1977 |
Кирпичников, Виктор Михайлович |
Автоматизация логического синтеза цифровых устройств : Учеб. пособие по курсу "Автоматизация проектирования ЦВМ" для студентов специальности 0608 / Мин. радиотехн. ин-т, Каф. электрон. вычисл. машин |
|
1985 |
|
Автоматизация решения логико-комбинаторных задач : сборник научных трудов / Академия наук Белорусской ССР, Институт технической кибернетики ; [научный редактор А. Д. Закревский] |
|
2001 |
Василькова, Ирина Владимировна (кандидат технических наук) |
Логико-комбинаторное обеспечение в системах логического проектирования и распознавания : Дис. на соиск. учен. степ. канд. техн. наук : 05.13.18 : 20.11.2001 : 27.03.2002 / Василькова Ирина Владимировна ; Гос. науч. учреждение "Ин-т техн. кибернетики Нац. акад. наук Беларуси" |
|
1998 |
Евсиков, Игорь Алексеевич |
Применение спектральных методов линейной декомпозиции для синтеза на современной элементной базе : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.05 / Моск. энергет. ин-т |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ