EUDML | Автоматический анализ рабочих программ

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “Автоматический анализ рабочих программ”

О некотором подходе к проблемной ориентации ЭВМ

Т.Н. Смирнова, Н.Б. Малышев (1973)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Спектры Маркова и Лагранжа (обзор литературы)

А.В. Малышев (1977)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Построение функции Ляпунова на модельной машине с крупноблочным режимом

Т.Ф. Кравец, Н.Б. Малышев, Т.Н. Смирнова (1976)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Калибровочная группа и калибровочное преобразование континуальной теории дефектов

К.Л. Малышев (1991)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Замечание о звездном множестве

А.В. Малышев (1973)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Прораб-машина

Т.Н. Смирнова, A.A. Александрова, Ю.В. Рыбакова, Н.А. Соловьева ([unknown])

Zapiski naucnych seminarov Leningradskogo

Similarity:

О применении дискретного эргодического метода в аналитической арифметике неопределенных тернарных квадратичных форм

А.В. Малышев (1980)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Об анализе программ некоторых вычислительных алгоритмов, реализованных на крупноблочной модельной машине

Т.Н. Смирнова (1974)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Об оценках неоднородного арифметического минимума произведения линейных форм

А.В. Малышев (1987)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Новый вариант эргодического метода Ю.В.Линника в теории чисел

А.В. Малышев (1975)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Пакет прикладных программ сафра

М. М. Горбунов-Посадов, В. Я. Карпов, Д. А. Корягин (1984)

Banach Center Publications

Similarity:

О волнах, прошедших высокоскоростной упругий слой

Н.С. Смирнова (1991)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Пакеты прикладных программ LTPBVP и SPARSE

А. А. Абрамов, H. Г. Бураго, В. В. Диткин, А. Л. Дышко, A. Ю. Еремин, А. Ф. Заболоцкая, H. В. Конюхова, H. Я. Марьяшкин, Б. С. Парийский, В. И. Ульянова, И. И. Чечель (1984)

Banach Center Publications

Similarity:

О взвешенном количестве целых точек, лежащих на поверхности второго порядка

А.В. Малышев (1966)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Об арифметике матриц второго порядка

А.В. Малышев, У.М. Пачев (1980)

Zapiski naucnych seminarov Leningradskogo

Similarity: