Ваш поиск дал 4 результатов.

Результаты поиска
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 2008. № 26. A program specialization relation based on supercompilation and its properties / A. V. Klimov Климов, Андрей Валентинович 2008 Перевод заглавия: Отношение специализации программ, основанное на суперкомпиляции, и его свойства. Сводное описание: Препринты ИПМ имМВКелдыша - 2008 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им. М. В. Келдыша. - 2018. № 111. Суперкомпиляция: основные принципы и базовые понятия / А. В. Климов, С. А. Романенко Климов, Андрей Валентинович Романенко, Сергей Анатольевич 2018 Сводное описание: Препринты ИПМ им М В Келдыша - 2018 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 2012. № 19. Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции / А. В. Климов, И. Г. Ключников, С. А. Романенко Климов, Андрей Валентинович Ключников, Илья Григорьевич Романенко, Сергей Анатольевич 2012 Сводное описание: Препринты ИПМ имМВКелдыша - 2012 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)
			ПрепринтПрепринты ИПМ им.М.В.Келдыша. - 2012. № 24. Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC / А. В. Климов, И. Г. Ключников, С. А. Романенко Климов, Андрей Валентинович Ключников, Илья Григорьевич Романенко, Сергей Анатольевич 2012 Сводное описание: Препринты ИПМ имМВКелдыша - 2012 Онлайн доступ: Электронная копия Нет доступных экземпляров Добавить в подборку (удалить)