Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
метод
Связанные издания:
Современные понятия и методы программирования
Спектрально-аналитические методы обработки данных и распознавания образов
Спецификация тестов на основе описания трасс
Сравнение системы "Discovery" c Microsoft Association Rules
Сравнительный анализ методов поиска регуляторных модулей в последовательностях ДНК, использую их данные микроэррэев
Средства огранизации параллельных вычислений и программирования в мультипроцессорах с динамической архитектурой
Средства поддержки супервычислений
Стандартные и новые подходы к архитектуре и методам обучения в среде SIGNIFICO. Основные направления развития среды
Стандартные и новые подходы к архитектуре и методам обучения в среде SIGNIFICO. Основные направления развития среды
Статический метод анализа программного обеспечения на наличие угроз переполнения буферов
Стохастический обоб енный градиентный метод для решения задач невыпуклых негладких задач стохастической оптимизации
Структурные методы разработки систем: от стратегического планирования до тестирования
Тенденции развития индустриальных методов создания программных продуктов
Теоретические применения методов математической логики. III
Трансформационные методы и средства конструирования эффективных и надежных программ
Трансформационные методы и средства конструирования эффективных и надежных программ
Труды Института Системного Программирования
Труды Первой Всероссийской научной конференции "Методы и средства обработки информации", 1-3 октября 2003 г.
Универсальная биометрия
Унифицированная реализация системы типов языка программирования баз данных
Унифицированная реализация системы типов языка программирования баз данных
Управление рисками - нормативный вакуум информационной безопасности
Усовершенствованный алгоритм восстановления интерферометрической фазы на базе технологии NVIDIA CUDA
Устойчивые методы решения экстремальных задач с приближенной информацией
Формальные методы верификации целостности макроструктуры Web-сайтов
Формальные методы в исследовании свойств программных систем
Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения
Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения
Формальные методы спецификации программ
Форт в школьной информатике: активный специальный метод
Численные методы решения нестационарных краевых задач анизотропной теплопроводности
« первая
‹ предыдущая
…
18
19
20
21
22
23
24
25
26