Приложение
для AndroidПолное описание
(Свободных экземпляров нет)
Бывалин, Ю. А. Об одном подходе к временной параметризации библиотечных элементов и его использовании в системе временного анализа / Ю.А.Бывалин,В.И.Константинов. - Новосибирск : [б. и.], 1991. - 41 с. - (Препринт / Институт систем информатики(Новосибирск) ; 3). - 299 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 47.14.07 | 621.3.049.77-047.56-52(04) |
Рубрики:
Интегральные схемы -- Проектирование -- Автоматизация
Доп. точки доступа:
Константинов, В.И.
Все экземпляры списаны
Замулин А.В. The database specification language Ruslan : A preliminary communication / А.В.Замулин, 1994. - 35 p. - Текст : непосредственный.Сабельфельд В.К. Анализ свойств рекурсивных схем и проблема древесной эквивалентности / В.К.Сабельфельд, 1994. - 42 c. - Текст : непосредственный.Вирбицкайте И.Б. Семантические модели потоковых вычислений / И.Б.Вирбицкайте,А.В.Вотинцева, 1993. - 29 c. - Текст : непосредственный.Черноножкин С.К. Меры сложности программ : Обзор / С.К.Черноножкин, 1994. - 35 c. - Текст : непосредственный.Городняя Л.В. Принципы конструирования электронного учебника по информационной стилистике русского языка / Л.В.Городняя,Г.П.Несговорова, 1994. - 19 c. - Текст : непосредственный.Городняя Л.В. Функциональный подход к системному представлению прикладных программ учебного назначения / Л.В.Городняя, 1994. - 24 c. - Текст : непосредственный.Загорулько Ю.А. Технология конструирования развитых систем обработки знаний на основе семантических сетей и систем продукций / Ю.А.Загорулько, 1994. - 65 c. - Текст : непосредственный.Поттосин И.В. О критериях добротности программ / И.В.Поттосин, 1966. - 35 с. - Текст : непосредственный.Колдаков В.В. Реализация распределенной базы данных в концепции информационного хранилища / В. В. Колдаков, В. В. Марусин, Е. М. Шаталов, 1996. - 26 с. - Текст : непосредственный.Ануреев И.С. Системы переписывания формул / И.С.Ануреев, 1997. - 22 с. - Текст : непосредственный.Кадач А.В. Эффективные алгоритмы неискажающего сжатия данных сортировкой блоков / А.В.Кадач, 1997. - 43 с. - Текст : непосредственный.Кадач А.В. Эффективные алгоритмы неискажающего сжатия данных сортировкой блоков / А.В.Кадач, 1997. - 39 с. - Текст : непосредственный.Кадач А.В. Свойства кодов Хаффмана и эффективные методы декодирования префиксных кодов / А.В.Кадач, 1997. - 44 с. - Текст : непосредственный.Леонов М.В. Эффективный алгоритм, реализующий замкнутый набор булевых операций над множествами многоугольников на плоскости / М.В.Леонов,А.Г.Никитин, 1997. - 24 с. - Текст : непосредственный.Вотинцева А.В. Исследование эквивалентностей для структур событий / А.В.Вотинцева, 1997. - 30 с. - Текст : непосредственный.Кадач А.В. Эффективные методы создания и передачи префиксных кодов / А.В.Кадач, 1997. - 27 с. - Текст : непосредственный.Устименко А.П. Причинно-следственные структуры с цветными фишками / А.П.Устименко, 1997. - 22 с. - Текст : непосредственный.Кауфман А.В. ОСТ: система контроля тестированности модула-2-программ / А.В.Кауфман,С.К.Черноножкин, 1997. - 46 с. - Текст : непосредственный.Черноножкин С.К. Средства профилирования программ в системе СОКРАТ / С.К.Черноножкин, 1998. - 20 с. - Текст : непосредственный.Ануреев И.С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул / И.С.Ануреев, 1998. - 43 с. - Текст : непосредственный.
Показать все результатыСтекольников А.Ф. Численное моделирование процессов в корпускулярно-оптических системах и реакторных камерах оборудования для модификации поверхностных свойств материалов : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.27.02 / А. Ф. Стекольников, 1993. - 35 с. - Текст : непосредственный.Руководство для администратора системы Омнибодс / ВЦП. - 122 c. - Текст : непосредственный.Шевкун И.М. Автоматизация терхмерного моделирования элементов микроэлектронных структур : Автореферат диссертации на соискание ученой степени канд. техн. наука:05.13.16 / И. М. Шевкун, 1993. - 19 с. - Текст : непосредственный.Муратов А.В. Моделирование и алгоритмизация процесса опережающего теплофизического проектирования в САПР микроэлектронных устройств и аппаратуры : Диссертация на соискание ученой степени д-ра техн. наук в форме науч. докл.:05.13.12 / А. В. Муратов, 1993. - 33 с. - Текст : непосредственный.Кодзасова Т.Л. Автоматизация проектирования герметиков заданной надежности для изделий электронной техники : автореф. дис. .. канд. техн. наук : 05.13.12 / Т. Л. Кодзасова, 2003. - 24 с. - Текст : непосредственный.Олендский О.З. Моделирование воздействия внешних электромагнитных полей на элементы наноструктур : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / О. З. Олендский, 1993. - 15 с. - Текст : непосредственный.Манукян К.П. Методы построения моделей чувствительности и их применение в САПР средств контроля : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12,05.13.16 / К. П. Манукян, 1993. - 19 с. - Текст : непосредственный.Шишкин В.М. Прогнозирование и оптимизация серийноспособности схем в интегрированной САПР микроэлектронных устройств : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.12 / В. М. Шишкин, 1995. - 33 с. - Текст : непосредственный.Власов С.Е. Разработка системы проектирования гибких полиимидных носителей на базе геометрических методов трассировки : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / С. Е. Власов, 1995. - 24 с. - Текст : непосредственный.Идея "бессеточной" многоступенчатой трассировки печатных плат со смешанным завершенным монтажом / ВЦП. - 21 c. - Текст : непосредственный.Язык - посредник для описания вентильных матриц (GAIL). В 5-ти кн. / ВЦП.Минская ред. - 292 c. - Текст : непосредственный.Питолин В.М. Алгоритмизация и моделирование надежностного схемотехнического проектирования аналоговых микроэлектронных устройств в рамках интегрированной САПР : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.12 / В. М. Питолин, 1997. - 32 с. - Текст : непосредственный.Рыбаков В.В. Разработка подсистемы САПР тестопригодного проектирования СБИС и МЭА : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / В. В. Рыбаков, 1997. - 25 с. - Текст : непосредственный.Зенин В.В. Обеспечение качества микросоединений в полупроводниковых изделиях в процессе их разработки и серийного производства : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.27.01 / В. В. Зенин, 1997. - 32 с. - Текст : непосредственный.Нисков В.Я. Разработка конструктивно-технологических методов создания высококачественных изделий кремниевой микроэлектроники : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.27.01 / В. Я. Нисков, 1998. - 34 с. - Текст : непосредственный.Бакшеев Д.Г. Моделирование влияния пространственных неоднородностей потенциала, высокочастотных полей и кулоновской блокады на электронный транспорт в наноструктурах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Д. Г. Бакшеев, 1998. - 19 с. - Текст : непосредственный.Евсиков И.А. Применение спектральных методов линейной декомпозиции для синтеза на современной элементной базе : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / И. А. Евсиков, 1998. - 16 с. - Текст : непосредственный.Гладков Л.А. Разработка и исследование генетических алгоритмов определения планарности схем ЭВА : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / Л. А. Гладков, 1999. - 15 с. - Текст : непосредственный.Мещеряков М.В. Оптимизация функциональных параметров аналоговых микросхем на этапе конструкторско-топологического проектирования : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / М. В. Мещеряков, 1998. - 16 с. - Текст : непосредственный.Петров В.Н. Программно-аппаратный комплекс измерения и идентификации параметров схемотехнических моделей полупроводниковых структур : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.12.17 / В. Н. Петров, 1998. - 18 с. - Текст : непосредственный.
Показать все результаты