Приложение
для AndroidПолное описание
Логическое проектирование : сб.науч.тр. / АН Беларуси.Ин-т техн.кибернетики. - Минск : [б. и.], 19 - . - Текст : непосредственный.
Вып. 2. - 1997. - 182 с. : ил. - 100 экз. - Б. ц.
Библиогр.в конце ст.
| ГРНТИ | УДК | |
| 50.05.03 | 004.42.047(05) | |
| 47.14.07 | 621.3.049.771.14.001.2-52(043) |
Рубрики:
Программирование для ЭВМ логическое
Интегральные схемы большие -- Проектирование -- Автоматизация
Доп. точки доступа:
Институт технической кибернетики (Минск)
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Заказаны экз-ры для отделов: ХР
Руководство по программированию контроллера Sinumerik 8N. Издание 6.86 / ВЦП. - 100 с. - Текст : непосредственный.Взгляд на экран. Серия по программированию. Последовательное описание программирования для ПЭВМ ZX Spectrum / ВЦП. - 212 c. - Текст : непосредственный.Ханна Джабр.Разработка средств автоматизации обеспечения мобильности типовых системных программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ханна Джабр, 1991. - 16 с. - Текст : непосредственный.Жаков В.И. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. И. Жаков, 1991. - 16 с. - Текст : непосредственный.Марков А.С. Математическое,программное и научно-методическое обеспечение прикладного программирования в аспекте архитектурной и субархитектурной зависимости : Дис..д-ра техн.наук в форме науч.докл.:05.13.11 / А. С. Марков, 1990. - 68 с. - Текст : непосредственный.Галкин И.М. Семантические сети в разработке и сопровождении программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. М. Галкин, 1991. - 15 с. - Текст : непосредственный.Маслов В.Ю. Разработка векторизатора для системы кросс-программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. Ю. Маслов, 1991. - 15 с. - Текст : непосредственный.Попрыгаев Е.В. Разработка ядра системы обосновательного гиперпрограммирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Е. В. Попрыгаев, 1991. - 12 с. - Текст : непосредственный.Крушняков В.Н. Средства автоматизации построения компонентов систем программирования на базе языкоориентированной архитектуры МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. Н. Крушняков, 1991. - 13 с. - Текст : непосредственный.Аджиев В.Д. Проектирование системы программирования для интегрированных систем машинной геометрии и графики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. Д. Аджиев, 1992. - 20 с. - Текст : непосредственный.Панкратов С.А. Интегрированная операционная среда параллельного программирования для крупноблочных многопроцессорных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. А. Панкратов, 1992. - 18 с. - Текст : непосредственный.Борщев В.Б. Семантика языков логического программирования и абстрактная машина для их реализации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.11 / В. Б. Борщев, 1992. - 47 с. - Текст : непосредственный.Григорьев С.Г. Реализация системы логического программирования для персональных компьютеров с ограниченными ресурсами и ее применения : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.11 / С. Г. Григорьев, 1993. - 35 с. - Текст : непосредственный.Смешанно-целочисленное программирование для персонального компьютера IBM PC : Руководство пользователя системы MILP88. Версия 5.02 / ВЦП. - 67 c. - Текст : непосредственный.Данг Чыонг Шон.Разработка интеллектуальной системы программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Данг Чыонг Шон, 1992. - 15 с. - Текст : непосредственный.Хамисов О.В. Минимизация функций,имеющих вогнутую миноранту на компактном множестве,и их свойства : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / О. В. Хамисов, 1993. - 18 с. - Текст : непосредственный.Стекольников А.Ф. Численное моделирование процессов в корпускулярно-оптических системах и реакторных камерах оборудования для модификации поверхностных свойств материалов : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.27.02 / А. Ф. Стекольников, 1993. - 35 с. - Текст : непосредственный.Руководство для администратора системы Омнибодс / ВЦП. - 122 c. - Текст : непосредственный.Руководство для пользователя программного изделия VAXELN. Ч.1 / ВЦП. - 211 c. - Текст : непосредственный.Шевкун И.М. Автоматизация терхмерного моделирования элементов микроэлектронных структур : Автореферат диссертации на соискание ученой степени канд. техн. наука:05.13.16 / И. М. Шевкун, 1993. - 19 с. - Текст : непосредственный.
Показать все результатыColussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Apt K.R. A new definition of SLDNF-resolution / K.R.Apt,H.C.Doets, 1992. - 12 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Teusink F. A characterization of stable models using a non-monotonic operator / F.Teusink, 1993. - 21 p. - Текст : непосредственный.Apt K.R. Modular termination proofs for logic and pure Prolog programs / K.R.Apt,D.Pedreschi, 1993. - 35 p. - Текст : непосредственный.Bonsangue M. Isomorphisms between predicate and state transformers / M.Bonsangue,J.N.Kok, 1993. - 30 p. - Текст : непосредственный.Bostrom H. Explanation-based transformation of logic programs : Diss / H.Bostr@:om, 1993. - 178 p. - Текст : непосредственный.Walter J. Parallele Abarbeitung logischer Programme auf einem Multi- Transputer-System : Diss. / J.Walter, 1993. - 221 S. - Текст : непосредственный.Bossi A. Simultaneous replacement in normal programs / A.Bossi,N.Cocco,S.Etalle, 1993. - 34 p. - Текст : непосредственный.Teusink F. proof procedure for extended logic programs / F.Teusink, 1993. - 12 p. - Текст : непосредственный.Differential logic programs:semantics and programming methodologies / A.Bossi,M.Bugliesi,M.Gabbrielli и др., 1993. - 49 p. - Текст : непосредственный.Apt K.R. Logic programming and negation:a survey / K.R.Apt,R.N.Bol, 1994. - 62 p. - Текст : непосредственный.Tick E. Parallel logic programming / E.Tick, 1991. - 486 p. - Текст : непосредственный.s-semantics approach:theory and applications / A.Bossi,M.Gabbrielli,G.Levi,M.Martelli, 1994. - 49 p. - Текст : непосредственный. Breugel F.van Solving domain equations in a category of compact metric spaces / F.van Breugel,J.Warmerdam, 1994. - 24 p. - Текст : непосредственный.Jacquet J.-M. Conclog:A methodological approach to concurrent logic programming / J.-M.Jacquet, 1991. - XII,781 p. p. - Текст : непосредственный.Bibel W. Deduktion : Automatisierung der Logik / W.Bibel;Unter Mitarbeit von S.Holldobler, 1992. - 269 S. - Текст : непосредственный.Bossi A. Transforming acyclic programs / A.Bossi,S.Etalle, 1993. - 14 p. - Текст : непосредственный.Apt K.R. Declarative interpretations reconsidered / K.R.Apt,M.Gabbrielli, 1994. - 16 p. - Текст : непосредственный.Bossi A. A bottum-up semantics for constructive negation / A.Bossi,M.Fabris,M.C.Meo, 1994. - 22 p. - Текст : непосредственный.
Показать все результатыАпанович З.В. Системный подход к синтезу топологии СБИС в системе типа"Кремниевый компилятор" : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:05.13.11 / З. В. Апанович, 1992. - 17 с. - Текст : непосредственный.Юнес М.Ф. Разработка метода автоматизированного проектирования персональных суперЭВМ и его приложение к задаче многомерного моделирования элементов СБИС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16:05.13.13 / М. Ф. Юнес, 1992. - 16 с. - Текст : непосредственный.Ведерникова О.Г. Разработка и исследование комбинированного алгоритма генетического поиска и имитации отжига для задачи размещения элементов СБИС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / О. Г. Ведерникова, 1999. - 16 с. - Текст : непосредственный.Гладков Л.А. Разработка и исследование генетических алгоритмов определения планарности схем ЭВА : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / Л. А. Гладков, 1999. - 15 с. - Текст : непосредственный.Рыбаков В.В. Разработка подсистемы САПР тестопригодного проектирования СБИС и МЭА : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / В. В. Рыбаков, 1998. - 26 с. - Текст : непосредственный.Данилин А.А. Многокритериальный синтез топологии цифровых и аналоговых БИС на основе операторной модели свичбокса : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.12 / А. А. Данилин, 1999. - 26 с. - Текст : непосредственный.Щеглов С.Н. Разработка и исследование генетических методов расслоения топологии СБИС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / С. Н. Щеглов, 1998. - 16 с. - Текст : непосредственный.Щукин А.В. Разработка и исследование подсистемы трассировки заказных СБИС : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / А. В. Щукин, 2000. - 15 с. - Текст : непосредственный.Жмурин А.В. Разработка САПР для корпусирования СБИС : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / А. В. Жмурин, 2000. - 33 с. - Текст : непосредственный.Пономарев Д.П. Разработка и исследование нейросетевых алгоритмов распознавания изоморфизма и изоморфного вложения моделирующих графов топологий БИС : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.12:05.13.16 / Д. П. Пономарев, 2000. - 12 с. - Текст : непосредственный.Сергеев А.С. Исследование и разработка методов трассировки проводящих покрытий БИС на основе стратегии эволюционного поиска : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / А. С. Сергеев, 2000. - 16 с. - Текст : непосредственный.Слезкин В.В. Разработка автоматизированных методов идентификации параметров моделей элементов микромощных цифровых СБИС : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / В. В. Слезкин, 2000. - 27 с. - Текст : непосредственный.Егоров Ю.Б. Разработка методов, алгоритмов и макромоделей для многоуровневых систем автоматизации схемотехнического проектирования : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.12 / Ю. Б. Егоров, 2001. - 23 с. - Текст : непосредственный.Лебедев Б.К. Разработка теории и принципов поисковой адаптации для решения оптимизационных задач топологического синтеза : Автореферат диссертации на соискание ученой степени д-ра техн. наук :05.13.18,05.13.12 / Б. К. Лебедев, 2001. - 32 с. - Текст : непосредственный.Лузин С.Ю. Математическое обеспечение синтеза минимальных форм представления переключательных функций для САПР БИС : Автореферат диссертации на соискание ученой степени д-ра техн. наук :05.13.12 / С. Ю. Лузин, 2001. - 32 с. - Текст : непосредственный.Каплин А.В. Проектирование топологии СБИС с использованием метода инкапсулированных библиотек : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.12 / А. В. Каплин, 2000. - 18 с. - Текст : непосредственный.Селиверстов М.Н. Проектирование топологии СБИС методом иерархической декомпозиции в среде распределенных вычислений : автореф. дис. .. канд. техн. наук : 05.13.12 / М. Н. Селиверстов, 2002. - 16 с. - Текст : непосредственный.Садыков А.А. Автоматический синтез топологии МаБИС на основе иерархического подхода : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / А. А. Садыков, 1990. - 18 с. - Текст : непосредственный.Сорока Д.В. Синтез топологии КМОП МАБИС на линейчатых БМК с одним переменным коммутационным слоем на основе детерминированной модели трассировки цепи : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / Д. В. Сорока, 1991. - 26 с. - Текст : непосредственный.Анцыгин Д.Н. Поэтапная оптимизация временных и конструктивных параметров матричных БИС при их автоматизированном проектировании : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.27.05 / Д. Н. Анцыгин, 1990. - 16 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽