Зведений каталог бібліотек Києва

• Класифікатори та каталоги
• Елементи та вузли ЕОМ дискретної дії

Арифметичні пристрої. Логічні схеми

Документи:

• Автоматизация анализа и моделирования логических сетей [Текст] : Сб. науч. трудов / АН БССР, Ин-т технической кибернетики. — Минск : ИТК, 1981. — 89с.
• Автоматизация проектирования сложных логических структур [Текст] / Под ред. В.А. Горбатова. — Москва : Энергия, 1978. — 352с.
• Алгебро-логічні методи опису арифметичних відношень та їх застосування при створенні раціональних структур обчислювачів [Текст] : Автореф...канд.техн.наук:01.05.03 / Ревенчук І.А.;ХДТУР. — Харків, 2001. — 19с.
• Алгебрологічні моделі морфології та їх застосування в логічних мережах [Текст] : Автореф. дис. ...канд. техн. наук: Спец. 05.13.23 / Роксана Валеріївна Мельніклва; Харківський нац. ун-т радіоелектроніки. — Харків, 2006. — 19с.
• Аналіз дискретних функцій та синтез логічних схем у штучному нейробазисі [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.23 / Гече Федір Елемирович ; М-во освіти і науки, молоді та спорту України, Нац. ун-т "Львів. політехніка". — Львів, 2013. — 36 с.
• Вопросы логического управления в моделях с переменной структурой [Текст] : Автореф. дис. ... канд. технич. наук / Самойлов В.Д. ; АН УССР , Ин-т кибернетики. — Киев, 1967. — 22 с.
• Дослідження і розробка методів підвищення продуктивності арифметичних пристроїв сигнальних процесів [Текст] : Автореф. дис. ... канд. техн. наук : 05.13.08 / Візор Я.Є. ; НАН України, Ін-т кібернетик. — Київ, 1996. — 16 с.
• Дослідження логічних схем з використанням шинних та комутаційних елементів [Текст] : Автореф... канд. фіз-матнаук: 01.05. 01 / Завадский І.О.; КУ. — К, 2000. — 22л.
• Дослідження логічних схем з використанням шинних та комутаційних елементів [Текст] : Дис... кандид. фізико-математ.наук: 01.05.01 / Завадський Ігор Олександрович; Міжнар. Науково-навч. центр інформ. техн. і сист. — Київ, 2000. — 157л.
• Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.03 / Тимофєєв Валентин Георгійович ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2013. — 19 с.
• Дослідження та розробка алгоритмів перевірки виконуваності в логіках композиційно-номінативного типу [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.03 / Тимофєєв Валентин Георгійович ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2013. — 165 л.
• Дослідження та розробка обчислювальних схем, базованих на комутаційних елементах [Текст] : Дис... кад. фіз.-мат.наук: 01.05.03 / Медведєв Михайло Геннадійович; КУ ім.Т.Шевченка. — К., 1999. — 111л.
• Еталонні моделі символьної обробки [Текст] : Автореф. дис. ... канд. фізико-математ. наук: 01.05.03 / Вінник В.Ю.; КНУТШ. — Київ, 2003. — 22с.
• Еталонні моделі символьної обробки [Текст] : Дис. ... канд. фізико-математ. наук: 01.05.03 / Вінник В.Ю.; МО і НУ. ЖДТУ. — Київ, 2003. — 139с.
• Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : Автореф. дис. ... канд. фіз.-мат. наук: 01.05.01 / Паскевич А.Ю.; КНУТШ. — Київ, 2005. — 20 с.
• Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : Дис. ... канд. фіз.-мат. наук: 01.05.01 / Паскевич А.Ю.; КНУТШ. — Київ, 2005. — 141 л. + Додатки: л.135-141.
• Исследование и разработка принципов построения магнитных адаптивных элементов на ферритовых трансфлюксорах и их применение [Текст] : Автореф... канд. технич.наук: 05.13.13 / Хуродзе Рамаз Адольфович; Грузинский политехнич. ин-т им. В.И.Ленина. — Тбилиси, 1975. — 24с.
• Інтепретація текстової інформації на основі нечітких концептуальних моделей [Текст] : Автореф. дис. ... канд. технічних наук. Спец. 05.13.06 - інформаційні технології / Парамонов А.І. ; Донецький національний університет. — Донецьк, 2008. — 20с.
• Комп"ютерна логіка [Текст] : навч. посібник для студентів вищих навч. закл. / Матвієнко М.П. ; М-во освіти і науки, молоді та спорту України. — Київ : Ліра-К, 2012. — 286, [2] с. : іл., табл.
• Кореляційні спецпроцесори опрацювання цифрових даних в кодових системах різних теоретико-числових базисів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Албанський Іван Богданович ; М-во освіти і науки Укрраїни, Терноп. нац. економ. ун-т. — Тернопіль, 2013. — 20 с.
• Логіко-алгебраічні моделі та програмна реалізація інформаційно-пошукових систем [Текст] : Автореф. дис... канд. фіз.-мат.наук: 01.05.03 / Гошко Б. М.; НАН України, Ін-т кібернетики. — Київ, 1997. — 15с.
• Логіко-обчислювальна семантична мережа як модель подання знань [Текст] : Автореф. дис. ... доктора технічних наук: 01.05.02 / Яловець А.Л.; НАНУ; Ін-т проблем моделювання в енергетиці ім. Г.Є. Пухова. — Київ, 2008. — 44с.
• Математическое моделирование и исследование интегральных логических схем типа ТТЛ [Текст] : Автореф... канд. техн.наук: / Филиппова Антонина Сергеевна; Ленингр. политехн. ин-т. — Ленинград, 1974. — 20л.
• Математичне моделювання перехідних процесів у квантових логічних елементах [Текст] : Автореф. дис. ... канд. технічних наук: 01.05.02 / Марецька М.М.; М-во транспорту та зв"язку України; НАНУ; Держ. НДІ інформаційної інфраструктури. — Львів, 2007. — 20с.
• Методи проектування нечітких контролерів для цифрових систем управління промислового призначення [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Герман Едуард Євгенович ; М-во освіти і науки, молоді та спорту України, Нац. техн. ун-т "Харків. політехн. ін-т". — Харків, 2013. — 20 с.
• Методи синтезу багаторівневих структур керуючих автоматів на програмованих логічних пристроях [Текст] : Автореф. дис. ... канд. технічних наук: 05.13.13 / Зеленьова І.Я.; Донецьк. нац. техн. ун-тет. — Донецьк, 2004. — 21с.
• Методи синтезу багаторівневих схем композиційних мікропрограмних пристроїв керування [Текст] : Автореф. дис. ... канд. техн. наук: 05.13.13 / Аднан Ібрахім Сулейман Аль-Рабіс ; Донецьк. нац. техн. ун-тет. — Донецьк, 2004. — 16с.
• Методи синтезу пристроїв керування із множинними джерелами кодів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Ларік Олександр Сергійович ; М-во освіти і науки молоді та спорту України ; Держ. вищий навчальний заклад "Донецьк. нац. техн. ун-т". — Донецьк, 2012. — 21 с.
• Методи синтезу структурних текстів для цифрових синхронних схем на основі апаратних засобів, що реконфігуруються [Текст] : Автореф. дис. ... канд. технічних наук. Спец. 05.13.05 - Комп"ютерні системи та компоненти / Борисевич О.В. ; Одеський національний політехнічний університет. — Одеса, 2008. — 19с.
• Методи та програмно-технічні засоби створення відмовостійких цифрових систем управління з програмованою логікою з використанням генетичних алгоритмів [Текст] : Автореф. дис. ... канд. технічних наук: 05.13.03 / Якимець Н.В.; МОНУ; Національний аерокосмічний ун-т ім. М.С. Жуковського "Харківський авіаційний інститут". — Харків, 2008. — 20с.
• Методи функціонально-логічного проектування швидкодіючих арифметичних пристроїв на основі симетричних булевих функцій. [Текст] : Автореф... канд. техн.наук: 05.13.05 / Ляховецький О.М.; Одес. держ. політехн. ун-тет. — Одеса, 1999. — 19с.
• Метод підвищення швидкодії арифметичних пристроїв на основі структурно-блочних кодів [Текст] : Автореф. дис. ... канд. техн. наук : спец.: 05.13.05. - комп"ютерні системи та компоненти / Бєсєдіна С.В. ; Черкас. держ. технол. ун-т. — Черкаси, 2009. — 20с.
• Метод підвищення швидкодії арифметичних пристроїв на основі суміщеного виконання операцій [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Федотова-Півень Ірина Миколаївна ; М-во освіти і нвуки, молоді та спорту України ; Черкаський держ. технол. ун-т. — Черкаси, 2012. — 21 с.
• Метод та засоби синтезу швидкодіючих арифметичних пристроїв на основі позиційних систем числення [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Купицька Світлана Юріївна ; М-во освіти і науки, молоді та спорту України ; Черкас. держ. технол. ун-т. — Черкаси, 2012. — 20 с.
• Моделі та алгоритми розробки логістичних інформаційно-управляючих систем [Текст] : Автореф. дис. ... канд. техн. наук: 05.13.06 / Сафван А.С.; Харк. держ. техн. ун-т радіоелектроніки. — Харків, 2001. — 19 с.
• Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях [Текст] : автореф. дис. ... канд. техн. наук : 01.05.02 / Кеберле Н.Г. ; Харк. нац. ун-т ім. В.Н. Каразіна. — Харків, 2011. — 20 с.
• Основы проектирования цифровых схем [Текст] / Барри Уилкинсон; Пер. с англ. М.В. Бойко. — Москва : Вильямс, издательский дом, 2004. — 320 с.
• Побудова та дослідження програмних логік [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Криволап Андрій Володимирович ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2016. — 20 с.
• Побудова та дослідження програмних логік [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.01 / Криволап Андрій Володимирович ; Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2016. — 130 арк.
• Повні методи пошуку виведення в системах логічного програмування [Текст] : автореф. дис. ... канд. фіз.-мат. наук. : 01.05.01 / Афонін А.О. ; КНУТШ. — Київ, 2011. — 18 с.
• Повні методи пошуку виведення в системах логічного програмування [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.01 / Афонін А.О. ; КНУТШ. — Київ, 2011. — 118 л.
• Повышение процента выхода функциональных логических схем с резистивными связями с использованием метода статистического проектирования [Текст] : Автореф... канд. технич.наук: / Доннер Б.Л.; Московск. ин-т электронного машиностроения. (Объединен. совет). — Москва, 1967. — 17л.
• Проектування комп"ютерних систем на основі мікросхем програмованої логіки [Текст] : монографія / С.А. Іванець [та ін.] ; М-во освіти і науки України, Сум. держ. ун-т, Чернігів. держ. технол. ун-т. — Суми : Сумський державний університет, 2013. — 312, [1] с. : іл., табл.
• Проектування тестів для послідовносних функціональних схем, що реалізовані у програмованій логіці [Текст] : Автореф. дис. ... канд. техн. наук: 05.13.12 / Скворцова О.Б.; ХНУ радіоелектроніки. — Харків, 2002. — 20 с.
• Просторове перетворення дискретних даних у базисі ДНФ булевих функцій [Текст] / Іванов Ю.Д. — Одеса, 2010. — 120 с. : іл.
• Радіочастотні та широтно-імпульсні елементи цифрової техніки [Текст] : монографія / В.М. Кичак, О.О. Семенова ; МОНУ ; Вінницький нац. техн. ун-т. — Вінниця : УНІВЕРСУМ-Вінниця, 2008. — 163 с.
• Розробка і дослідження методів синтезу мікропрограмних автоматів з перетворенням кодів об"єктів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Баркалов Олександр Олександрович ; Держ. екон.-технол. ун-т трансп. — Київ, 2014. — 20 с.
• Синтез структур из пороговых элементов [Текст] : Автореф. дис. ... канд. техн. наук : 255 / Редькин Н.П. ; Моск. физ.-техн. ин-т. — Долгопрудный, 1970. — 15 с.
• Синтез устройств управления на программируемых логических интегральных схемах [Текст] : Автореф... канд. техн.наук: 05.13.08 / Швец А. Г.; Дон. гос. техн. ун-т. — Донецк, 1995. — 19л.
• Синтез частотно-імпульсних елементів цифрової техніки [Текст] : Монографія / В.М. Кичак; Мін-во освіти і науки України; Вінницький нац. технічний ун-т. — Вінниця : УНІВЕРСУМ, 2005. — 292с.

1   2