Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Новосибирск
Связанные издания:
Всесоюзная конференция по методам трансляции 3-5 февраля 1981 г. Тезисы докладов
Всесоюзная конференция по прикладной логике: Тезисы докладов. Новосибирск, 22-24 октября 1985 г.
Всесоюзн. конф. по проблемам теоретической кибернетики: Тез. докл. 9-13 июня 1969 г.
Всокопроизводительные вычислительные системы для комплексных центров математического моделирования: Архитектура и общесистемное математическое обеспечение. Сборник научных трудов
Всокопроизводительные вычислительные системы для комплексных центров математического моделирования: Прикладные аспекты их использования. Сборник научных трудов
Встроенные проблемно-ориентированные системы
Второй региональный семинар "Распределенная обработка информации", Новосибирск, июль 1987 г.: Тез. докл.
Второй региональный форум "Сибирская индустрия информационных систем"
Входной язык для систем автоматического программирования
Входной язык для системы АЛЬФА-6
Входные языки пакетов прикладных программ
Входные языки системы поддержки технологии нисходя его проектирования структурированных программ
Выделение начального инструментария программных средств для студента - буду его научного работника
Выполнение некоторых видов аналитических (буквенных) выкладок на электронных вычислительных машинах
Выпуклость относительно конуса и её приложения
Выпускники МГУ в Новосибирском научном центре СО РАН. 1957-2007
Высокопроизводительные вычислительные системы для комплексных центров математического моделирования. Архитектура и об есистемное математическое обеспечение
Высокопроизводительные вычислительные системы для комплексных центров математического моделирования. Прикладные аспекты их использования
Высокопроизводительные вычислительные системы и их программное обеспечение: Сборник научных трудов
Высокопроизводительные вычислительные средства для обработки данных. Сборник научных трудов
Высокоточные вычисления с динамической длиной операндов в многопроцессорных системах
Высший колледж информатики
Вычисления, управляемые потоками данных: модели, машины, языки (проблемы и перспективы развития)
Вычислимая сходимость метрик на вещественных числах
Вычислимые классы алгебр и конструктивизации абелевых групп
Вычислимые классы и алгебраические критерии автоустойчивости
Вычислительная информатика: открытие науки
Вычислительная математика и программирование. Сборник научных трудов
Вычислительная техника. (Сборник научных трудов)
Вычислительная технология метода конечных объемов
Вычислительные алгоритмы для задач с пограничными слоями в математических моделях гидродинамики водоемов
Вычислительные системы и программное обеспечение. Сборник научных трудов
Вычислительные системы коллективного пользования. Сборник научных трудов
Вычислительные системы: Труды I Всесоюзной конференции по вычислительным системам
Выявление статистических закономерностей в символьных последовательностях
Генератор задач по школьному курсу механики. Выпуск 5
Генератор программного обеспечения систем обработки данных СИГМА
Генерация и доказательство условий корректности предикатных программ
Генерация и метагенерация условий корректности в системе СПЕКТР-2
Генерация исполняемых тестов для компилятора
Генерация кода в трансляторе ЯРМО-3
Генерация пакетов доступа к большим таблицам
Генерация продукций, основанная на принципе смешанных вычислений А.П.Ершова
Генерирование молекулярных графов с заданными структурными ограничениями
Генетический алгоритм как альтернатива для решения некоторых np-полных задач
Геометрическое моделирование в САПР машиностроения: Состояние и перспективы развития
Геометрическое моделирование трёхмерных объектов на ЭВМ
Гипертекст как среда разработки программного обеспечения
Гипертекстовая среда разработки программ и документов
Гладкость слабых решений задачи Дарбу и обобщённой задачи Трикоми
« первая
‹ предыдущая
…
5
6
7
8
9
10
11
12
13
…
следующая ›
последняя »