Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=программы для эвм<.>)
Общее количество найденных документов : 12
Показаны документы с 1 по 12
1.
Булычев П.Е. Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ/П. Е. Булычев. - 2010
2.
Дроздов А.Ю. Компонентный подход к построению оптимизирующих компиляторов/А. Ю. Дроздов. - 2010
3.
Моряков А.В. Разработка методик и программ для решения уравнения переноса излучения на основе параллельных вычислений/А. В. Моряков. - 2011
4.
Ключников И.Г. Выявление и доказательство свойств функциональных программ методами суперкомпиляции/И. Г. Ключников. - 2010
5.
Макошенко Д.В. Аналитическое предсказание времени исполнения программ и основанные на нем методы оптимизации/Д. В. Макошенко. - 2011
6.
Щербаков А.А. Расчет рассеяния света в плоско-слоистых диэлектрических средах, содержащих микро- и наночастицы/А. А. Щербаков. - 2012
7.
Марьясов И.В. Верификация C-программ с помощью смешанной аксиоматической семантики/И. В. Марьясов. - 2012
8.
Захаров В.А. Проблема эквивалентности программ: модели, алгоритмы, сложность/В. А. Захаров. - 2011
9.
Шеенок Д.А. Многокритериальная оптимизация отказоустойчивой программной архитектуры специализированными эволюционными алгоритмами/Д. А. Шеенок. - 2013
10.
Исходжанов Т.Р. Автоматический поиск ошибок в компьютерных программах с применением динамического анализа/Т. Р. Исходжанов. - 2013
11.
Бирюкова А.А. Методы и алгоритмы поддержки процессов жизненного цикла программного продукта с большим количеством профессиональных пользователей/А. А. Бирюкова. - 2014
12.
Подымов В.В. Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой/В. В. Подымов. - 2015
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)