Полное описание
>
Бельтюков, А. П. Дедуктивный синтез алгоритмов с учетом вычислительных ресурсов : автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:05.13.17 / А. П. Бельтюков. - СПб : [б. и.], 1993. - 20 с. - Текст : непосредственный.
В надзаг.: С.-Петербург.гос.ун-т. Библиогр.: с. 19-20(15назв.).
| ГРНТИ | УДК | |
| 50.41.17 | 004.421(043) |
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Копия: мкфш. Шифр МФ
Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.Руководство по обслуживанию линии связи организатора Пбмодель IQ-890 / ВЦП. - 135 с. - Текст : непосредственный.Программа связи для компьютеров IBM PC и совместимых с ними : Сжатое руководство пользователя. Версия 3.5Х / ВЦП. - 63 с. - Текст : непосредственный.Фирма Онлайн Софтвеа Интернэшнл. Семейство программного обеспечения Омнигад / ВЦП. - 26 c. - Текст : непосредственный.Система свободного программируемого управления на базе микро-ЭВМ / ВЦП. - 128 c. - Текст : непосредственный.Описание команд интерактивной лабораторной системы / ВЦП. - 128 с. - Текст : непосредственный.Языково-ориентированный редактор VAX : Руководство по работе с языком VAXELN-Паскаль / ВЦП. - 41 c. - Текст : непосредственный.Джокер. Система оценки и классификации. Верcия 2.0 / ВЦП. - 73 c. - Текст : непосредственный.Хусейн Мухсен.Исследование и разработка мобильного программного обеспечения для решения прикладных задач : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Хусейн Мухсен, 1991. - 16 с. - Текст : непосредственный.Бондарев М.Ю. Инструментально-методический комплекс оценки надежности прикладных программных средств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / М. Ю. Бондарев, 1991. - 17 с. - Текст : непосредственный.Липецкая Н.Д. Исследование и разработка интеллектуальных сервисных подсистем высокопроизводительных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Н. Д. Липецкая, 1991. - 16 с. - Текст : непосредственный.Бочков С.О. Автоматизация отладки программ на основе операционного описания их поведения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / С. О. Бочков, 1991. - 16 с. - Текст : непосредственный.Шербекова У.А. Программно-испытательный стенд для создания эффективных программ решения жестких задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / У. А. Шербекова, 1991. - 15 с. - Текст : непосредственный.Тарановский М.Р. Теоретические и прикладные аспекты генерации программ обработки данных : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / М. Р. Тарановский, 1991. - 16 с. - Текст : непосредственный.Терентьев И.В. Методы синтеза алгоритмов пространственно-распределенных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / И. В. Терентьев, 1992. - 36 с. - Текст : непосредственный.Кириенко Н.А. Оптимизация программ в процессе трансляции : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Н. А. Кириенко, 1992. - 16 с. - Текст : непосредственный.Бекетова Е.А. Методы и средства оценки качества программ имитационных моделей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Е. А. Бекетова, 1992. - 16 с. - Текст : непосредственный.Леохин Ю.Л. Методы и аппаратно-программные средства комплексной динамической отладки для систем управления реального времени : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05;05.13.13 / Ю. Л. Леохин, 1992. - 20 с. - Текст : непосредственный.
Показать все результатыИванова Е.А. Синтез корректных алгоритмов типа вычисления оценок : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / Е. А. Иванова, 1991. - 15 с. - Текст : непосредственный.Терентьев И.В. Методы синтеза алгоритмов пространственно-распределенных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / И. В. Терентьев, 1992. - 36 с. - Текст : непосредственный.Бельтюков А.П. Дедуктивный синтез алгоритмов с учетом вычислительных ресурсов : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:05.13.17 / А. П. Бельтюков, 1993. - 20 с. - Текст : непосредственный.Белоус С.А. Исследование методов сокращения вычислительных затрат в алгоритмах приема дискретных сообщений : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.12.02 / С. А. Белоус, 1993. - 16 с. - Текст : непосредственный.Мох'д Гассан Изеддин Абаза.Модели и методы поиска оптимальных программных реализаций простых зацикленных алгоритмов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Мох'д Гассан Изеддин Абаза, 1995. - 15 с. - Текст : непосредственный.Тиунчик А.А. Иерархический метод построения параллельных форм вычислительных алгоритмов для отображения на матричные процессоры с систолической архитектурой : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.07 / А. А. Тиунчик, 1995. - 16 с. - Текст : непосредственный.Лиходед Н.А. Методы построения параллельных алгоритмов для реализации на систолических матричных процессорах : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.07 / Н. А. Лиходед, 1996. - 31 с. - Текст : непосредственный.Осетрова Т.А. Алгоритмы исключения неизвестных, основанные на теории многомерных вычетов, и их компьютерная реализация : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.07 / Т. А. Осетрова, 1996. - 13 с. - Текст : непосредственный.Евневич Е.Л. Автоматизация выбора и синтеза комбинированных алгоритмов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Е. Л. Евневич, 1996. - 14 с. - Текст : непосредственный.Мамаев В.В. Построение корректных моделей алгоритмов ограниченной емкости : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / В. В. Мамаев, 1998. - 16 с. - Текст : непосредственный.Васильев Н.П. Разработка и исследование алгоритмов хэширования и генерации псевдослучайных последовательностей : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / Н. П. Васильев, 1998. - 20 с. - Текст : непосредственный.Левашенко В.Г. Параллельные алгоритмы анализа дискретных устройств на основе направленных логических производных и их аппаратно-программная реализация : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / В. Г. Левашенко, 1996. - 19 с. - Текст : непосредственный.Ермолаева Е.К. Разработка адаптивной экспертной системы сравнительного анализа алгоритмов и программ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Е. К. Ермолаева, 2000. - 28 с. - Текст : непосредственный.Дудов М.Х. Эффективные алгоритмы на кодированных графах и их применение : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.16 / М. Х. Дудов, 1999. - 15 с. - Текст : непосредственный.Исаев С.А. Разработка и исследование генетических алгоритмов для принятия решений на основе многокритериальных нелинейных моделей : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.17 / С. А. Исаев, 2000. - 19 с. - Текст : непосредственный.Селькин М.В. Методы измерения и оценки временных характеристик алгоритмов (на примере распределенной вычислительной сети) : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.11.16 / М. В. Селькин, 2000. - 19 с. - Текст : непосредственный.Свинцов А.А. Модели параметрического синтеза алгоритмов обмена информацией сетей передачи данных специального назначения : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / А. А. Свинцов, 2000. - 16 с. - Текст : непосредственный.Пономарев И.М. Разработка и исследование методов синтеза параллельных алгоритмов для многопроцессорных систем со структурно-процедурной организацией вычислений : автореф. дис. .. канд. техн. наук : 05.13.11 / И. М. Пономарев, 2003. - 16 с. - Текст : непосредственный.Баханович С.В. Методы пространственно-временного отображения алгоритмов с однородными и аффинными зависимостями : автореф. дис. .. канд. физ.-мат. наук : 01.01.07 / С. В. Баханович, 2003. - 21 с. - Текст : непосредственный.Shen H. Efficient design and implementation of parallel algorithms : Diss. / H.Shen, 1991. - 20 p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽