Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Москва
Связанные издания:
Автоматический синтез правил коррекции текстовых документов формата LATEX
Автоматический синтез структурированных программ по примерам их выполнения
Автоматическое построение тестов для целей производственного контроля типовых элементов замены вычислительных комплексов
Автоматическое разрешение кореференции местоимений третьего лица русскоязычных текстов
Автоматное управление асинхронными процессами в ЭВМ и дискретных системах
Автономные модели поисковой оптимизации и управления
Адаптация и обучение системы общения с ЭВМ на естественном языке
Адаптивное распознавание и его применение к системе ввода печатного текста
Адаптивные методы извлечения информации из статистических таблиц, представленных в текстовом виде
Академик Борис Патон: труд на всю жизнь
Аксиомы модели данных СУБД Компас
Активные диаграммы - новые пользовательские возможности на основе недоопределенных вычислений
Алгебраическая модель императивной программы
Алгебраические замыкания обоб енной модели алгоритмов распознавания, основанных на вычислении оценок
Алгебраические, комбинаторные и криптографические свойства параметров аффинных ограничений булевых функций
Алгебраические методы исследования задач информационного поиска
Алгебраические операции над ортогональными рядами в задачах обработки данных
Алгебраические системы
Алгебра спектральных преобразований в задачах обработки данных
Алгол. Изд. 2-е, испр.
Алгоритмизация и программирование
Алгоритмизация и программирование статистических задач с помощью стандартных процедур
Алгоритмизация процессов анализа, диагноза и синтеза сложных информационных систем
Алгоритмический язык АЛГОЛ 60: Модифицированное сообщение
Алгоритмический язык ФОРТРАН
Алгоритм распознавания выполнимости формул логики ветвя егося времени и его применение
Алгоритм ретроанализа в суперкомпьютерных системах на примере задачи игры в шахматы
Алгоритм синтеза рабочих программ по записи на НОРМЕ
Алгоритмы (151-200)
Алгоритмы алгебраических преобразований функциональных выражений
Алгоритмы антиунификации и их применение для вычисления инвариантов программ
Алгоритмы и машинное решение задач
Алгоритмы и организация решения экономических задач. Выпуск 10
Алгоритмы и организация решения экономических задач. Выпуск 11
Алгоритмы и организация решения экономических задач. Выпуск 13
Алгоритмы и организация решения экономических задач. Выпуск 14
Алгоритмы и организация решения экономических задач. Выпуск 2
Алгоритмы и организация решения экономических задач. Выпуск 5
Алгоритмы и организация решения экономических задач. Выпуск 6
Алгоритмы и организация решения экономических задач. Выпуск 9
Алгоритмы и структуры данных
Алгоритмы поиска периодичностей и идентификации слов, работающие в реальном времени
Алгоритмы порождения и трансформации моделей в задачах нелинейной регрессии
Алгоритмы: построение и анализ
Алгоритмы построения однословной перезаписи регулярных путевых запросов
Алгоритмы + структуры данных = программы
Алгоритмы эффективного вычисления конъюнктивных регулярных путевых запросов в базах полуструктурированных данных
Александр Галич. Полная биография
Алексей Андреевич Ляпунов
Алфавитно-цифровые дисплеи ЕС-7920 в диалоговых системах
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »