Полное описание
Логическое проектирование : сб.науч.тр. / АН Беларуси.Ин-т техн.кибернетики. - Минск : [б. и.], 19 - . - Текст : непосредственный. В. 1 . - 1996. - 180 с. : ил. - 100 экз. - ISBN 5-7815-0858-9
ГРНТИ УДК 50.05.03 004.42.047(05) 47.14.07 621.3.049.771.14.001.2-52(043)
Рубрики: Программирование для ЭВМ логическое
Интегральные схемы большие -- Проектирование -- Автоматизация
Доп. точки доступа: Институт технической кибернетики (Минск)
Экз-ры полностью d15f655600ab1b2a61f039a272e034fe Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Н/15881/1)
Шифр в сводном ЭК: d15f655600ab1b2a61f039a272e034fe
Моделирование процессов и объектов проектирования в машиностроении : методический материал / Институт технической кибернетики (Минск), 1990. - 158 c. - Текст : непосредственный. Computer-aided design of discrete devices. CAD DD'97 : Second international conference: Proceedings, Minsk, November 12-14,1997 / Институт технической кибернетики (Минск), International conference on computer-aided design of discrete devices(2;1997;Minsk). Vol. 1, 1997. - 189 с. - Текст : непосредственный. Пакет прикладных программ для оценки надежности электронных систем при проектировании и испытаниях : методический материал / Институт технической кибернетики (Минск), 1992. - 36 с. - Текст : непосредственный. Клевенский А.Е. Моделирование геометрических понятий и технология проектирования, 1973. - 128 с. - Текст : непосредственный. Автоматизация доводки технических объектов. Система управления динамическими испытаниями. Моделирование и анализ процессов : монография / Институт технической кибернетики (Минск), 1992. - 50 с. - Текст : непосредственный. Автоматизация логического проектирования дискретных систем : сборник научных трудов / Институт технической кибернетики (Минск), 1991. - 123 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Система автоматизированного проектирования СБИС (функционально-логический уровень) : Сб. науч. тр. / АН БССР, Ин-т техн. кибернетики, 1991. - 135,5 с. с. - Текст : непосредственный. Инструментальная система поддержки процессов разработки технических заданий на проектирование в комплексе автоматизированного проектирования систем управления : Материалы по мат. обеспечению ЭВМ / Институт технической кибернетики (Минск), 1991. - 203 с. - Текст : непосредственный. Программные средства автоматизированной системы управления динамическими испытаниями. Управление устройством связи с объектом : Материалы по мат.обеспечению ЭВМ / Авт.-сост. Э. Б. Куновский, Н. Б. Шихов;Науч. ред. П. М. Чеголин., 1991. - 71 c. - Текст : непосредственный. Комплексная защита информации : Сб. науч. тр. / АН Беларуси.Ин-т техн.кибернетики. Вып. 2, 1999. - 213 с. - Текст : непосредственный. Логическое проектирование : Сб.науч.тр. / АН Беларуси.Ин-т техн.кибернетики. В. 1, 1996. - 180 с. - Текст : непосредственный. Рекурсивное представление и синтез графических изображений в системах проектирования и управления : Метод. рекомендации / АН БССР. Ин-т техн. кибернетики, 1990. - 101 с. - Текст : непосредственный. Система программирования ЛЕС-7 : Материалы по мат. обеспечению ЭВМ / АН БССР, Ин-т техн. кибернетики, 1990. - 64 c. - Текст : непосредственный. Моделирование процессов ввода и обработки двумерных и трехмерных объектов : Метод. рекомендации / АН БССР, Ин-т техн. кибернетики, 1990. - 102 c. - Текст : непосредственный. Автоматизированная система оптимальной упаковки изделий : Материалы по мат. обеспечению ЭВМ / О.В.Горох,Ю.Н.Сотсков,С.И.Андреев и др.;Науч. ред. В. С. Танаев, 1990. - 63 c. - Текст : непосредственный. Программно-методический комплекс средств факома для разработки САПР машиностроительных конструкций : Материалы по мат. обеспечению ЭВМ / АН БССР.Ин-т техн. кибернетики, 1991. - 81 с. - Текст : непосредственный. Графовые модели в автоматизированном проектировании механизмов : Инструктивно-метод. материалы / АН БССР. Ин-т техн. кибернетики, 1991. - 85 с. - Текст : непосредственный. Показать все результаты Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Евсиков И.А. Применение спектральных методов линейной декомпозиции для синтеза на современной элементной базе : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени канд. техн. наук / И. А. Евсиков, 1998. - 16 с. - Текст : непосредственный. Solid State Electronics. - Журнал. - Текст : непосредственный. Петухов Г.А. Автоматизация топологического проектирования БИС на базовых кристаллах / Г. А. Петухов, С. А. Арустамов, 1989. - 24 с. - Текст : непосредственный. Иванов Б.Н. Дискретная математика. Алгоритмы и программы / Б. Н. Иванов, 2003. - 288 с. - Текст : непосредственный. Лемешко Н.В. Основы проектирования интегральных микросхем : учебное пособие / Н. В. Лемешко, 2010. - 270 с. - Текст : непосредственный. Стемпковский А.Л. Системная среда САПР СБИС / А. Л. Стемпковский, В. А. Шепелев, А. В. Власов, 1994. - 251 c. - Текст : непосредственный. Руденко А.Г. Математические модели и методы решения задачи расчета сечений шин питания БИС/СБИС / А. Г. Руденко, 1991. - 43 с. - Текст : непосредственный. Design methodologies for VLSI and computer architecture : сборник / Ed. D. A. Edwards, 1989. - XIII,348 p. p. - Текст : непосредственный. Herczeg J. Methoden und Werkzeuge zur visuellen objektorientierten Programmierung / J. Herczeg, 1995. - 218 S. - Текст : непосредственный. Journal Microelectronic Systems Integration. - Журнал выходит с 1993г. - Текст : непосредственный. Калверт Ч. Программирование в Windows. Освой самостоятельно за 21 день : монография / Ч. Калверт, 1995. - 495 c. - Текст : непосредственный. Петухин В.А. Анализ логических программ и компиляция языка Флэнг : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / В. А. Петухин, 1993. - 13 с. - Текст : непосредственный. Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный. Шишкин В.М. Прогнозирование и оптимизация серийноспособности схем в интегрированной САПР микроэлектронных устройств : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени д-ра техн.наук / В. М. Шишкин, 1995. - 33 с. - Текст : непосредственный. Казеннов Г.Г. Основы проектирования интегральных схем и систем / Г. Г. Казеннов, 2005. - 295 с. - Текст : непосредственный. Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный. Eckgold F. Systemprogramierung OS/2 2.x : монография / F. Eckgold, 1993. - XV,959 p. p. - Текст : непосредственный. Показать все результаты Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный. Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный. Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный. Marchiori E. A methodology for proving termination of general logic programs / E. Marchiori, 1995. - 26 p. - Текст : непосредственный. Naidich D. On generic representation of implicit induction procedures / D. Naidich, 1996. - 31 p. - Текст : непосредственный. Marchiori E. Proving termination of logic programs with delay declarations / E. Marchiori, F. Teusink, 1996. - 17 p. - Текст : непосредственный. Marchiori E. Proving deadlock freedom of logic programs with dynamic scheduling / E. Marchiori, F. Teusink, 1996. - 19 p. - Текст : непосредственный. Тей А. Логический подход к искусственному интеллекту : монография / А. Тей, П. Грибомон, Ж. Луи, Ж. Луи ; ред. Г. П. Гаврилов, 1990. - 429 с. - Текст : непосредственный. Bossi A. A bottum-up semantics for constructive negation / A. Bossi, M. Fabris, M. C. Meo, 1994. - 22 p. - Текст : непосредственный. Fokkink W.J. Idempotent most general unifiers for infinite sets / W. J. Fokkink, 1994. - 7 p. - Текст : непосредственный. Klingler A. Datenparallele Auswertung rekursiver logischer Programme / A. Klingler, 1993. - 152 S. - Текст : непосредственный. s-semantics approach:theory and applications / A. Bossi, M. Gabbrielli, G. Levi, M. Martelli, 1994. - 49 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Малинаускас К.К. Разработка математического и программного обеспечения систем топологического проектирования СБИС с использованием диаграмм Вороного : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / К. К. Малинаускас, 2007. - 23 с. - Текст : непосредственный. Баринов С.В. Разработка и исследование комплекса генетических алгоритмов разбиения схем с учетом временных задержек / С. В. Баринов, 2008. - 16 с. - Текст : непосредственный. Венцов Н.Н. Исследование и разработка генетических алгоритмов и автоматов адаптации для повышения эффективности доступа к данным САПР СБИС : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)", 05.13.17 "Теоретические основы информатики" : диссертация на соискание ученой степени канд. техн. наук / Н. Н. Венцов, 2006. - 16 с. - Текст : непосредственный. Лежебоков А.А. Разработка и исследование алгоритмов решения задачи размещения компонентов СБИС с учетом временных задержек : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / А. А. Лежебоков, 2008. - 16 с. - Текст : непосредственный. Болоцкова И.А. Разработка и исследование интегрированных алгоритмов разбиения СБИС на фрагменты / И. А. Болоцкова, 2004. - 16 с. - Текст : непосредственный. Сергеев А.С. Исследование и разработка методов трассировки проводящих покрытий БИС на основе стратегии эволюционного поиска : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. С. Сергеев, 2000. - 16 с. - Текст : непосредственный. Башкиров А.В. Разработка моделей и алгоритмов верификации в САПР высокоразрядных СБИС спектрального анализа : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / А. В. Башкиров, 2006. - 17 с. - Текст : непосредственный. Сорока Д.В. Синтез топологии КМОП МАБИС на линейчатых БМК с одним переменным коммутационным слоем на основе детерминированной модели трассировки цепи : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / Д. В. Сорока, 1991. - 26 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Жуков А.В. Исследование и разработка математического алгоритмического и программного обеспечения входных многоязыковых трансляторов для САПР СБИС : автореф. дис. .. канд. техн. наук: 05.13.12 / А. В. Жуков, 2006. - 26 с. - Текст : непосредственный. Полупанов А.А. Исследование и разработка методов разбиения схем на основе адаптивных генетических процедур : автореф. дис. .. канд. техн. наук: 05.13.12 / А. А. Полупанов, 2003. - 16 с. - Текст : непосредственный. Кондратьев В.В. Нейросетевые модели обучаемых алгоритмов автоматизированного конструирования специализированных БИС : автореф. дис. .. канд. техн. наук: 05.27.01 / В. В. Кондратьев, 2002. - 23 с. - Текст : непосредственный. Слезкин В.В. Разработка автоматизированных методов идентификации параметров моделей элементов микромощных цифровых СБИС : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / В. В. Слезкин, 2000. - 27 с. - Текст : непосредственный. Ачкасов В.Н. Разработка средств автоматизации проектирования радиационно-стойкой микроэлектронной базы для нового поколения систем управления двойного назначения : автореф. дис. .. д-ра техн. наук: 05.13.12 / В. Н. Ачкасов, 2008. - 32 с. - Текст : непосредственный. Бородулин А.В. Исследование и разработка алгоритмов канальной трассировки цепей различной ширины в СБИС : автореф. дис. .. канд. техн. наук: 05.13.12 / А. В. Бородулин, 2004. - 16 с. - Текст : непосредственный. Ачкасов В.Н. Автоматизация проектирования конструкторско-технологического базиса комплектарных БИС двойного назначения : автореф. дис. .. канд. техн. наук: 05.13.12 / В. Н. Ачкасов, 2003. - 17 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
