Вы здесь

Главная

Новосибирск

Связанные издания:

Адаптивные методы и средства поддержки дистанционного обучения программированию
Адаптивные методы и средства поддержки дистанционного обучения программированию
Адаптивные педагогические средства технического обучения и профориентации
Адаптирую иеся диалоговые системы
Ада-Эльбрус. DIANA - основа промежуточного представления
Ада-Эльбрус. Программная библиотека
Ада-Эльбрус. Работа в системе программирования
Академики Юрий Ершов и Сергей Гончаров. Учитель и ученик
Академик Николай Николаевич Ворожцов
Аксель Иванович Берг - 110 лет. Вопросы истории информатики. Предварительные публикации. Выпуск 4
Аксель Иванович Берг. 110 лет. Вопросы истории информатики. Предварительные публикации. Выпуск 4
Аксиоматизация тотальной корректности программ с операторами перехода
Аксиоматизируемые классы квазигрупп и многосортная универсальная алгебра
Аксиоматика и численная интерпретация качественных моделей
Аксиоматика распределения памяти
Активные диаграммы - новые пользовательские возможности на основе недоопределенных вычислений
Активные типы данных
Актуальные проблемы вычислительной математики и математического моделирования
Актуальные проблемы информатики, прикладной математики и механики. Часть III. Информатика: Сборник научных трудов
Актуальные проблемы развития архитектуры и программного обеспечения ЭВМ и вычислительных систем: Труды Всесоюзной конференции
Актуальные экономические и правовые вопросы в сфере программных средств педагогического назначения
Алгебра AFLP : исчисление переменных недетерминированных параллельных процессов
Алгебра двухуровневых причинно-следственных структур
Алгебраически замкнутые группы
Алгебраическое исчисление для алгоритмов над графами и алгоритмов сортировки
Алгебра параллельных недетерминированных процессов: денотационная и операционная семантики
Алгол-68 для IBM PC
АЛГОЛ-68 для IBM PC
АЛГОЛ - БЭСМ-6 (Инструкция по применению)
Алгол - ГДР (Оперативно-информационный материал)
Алгоритм анализа свойств поведения временных сетей Петри с использованием темпоральной логики
Алгоритм верификации свойств поведения временных сетей Петри
Алгоритм Евклида при обучении работе с дробями с помо ью программируемого микрокалькулятора
Алгоритм и программная система для поиска объектов, расположенных на текстурированных поверхностях
Алгоритмические вопросы метабелевых групп
Алгоритмические вопросы применения теории графов в программировании
Алгоритмические вопросы решения больших структурных задач линейного программирования
Алгоритмические вопросы теории чисел
Алгоритмический и программный инструментарий для численного решения прямых задач химической кинетики с использованием супер-ЭВМ
Алгоритмический язык Модула 2 (оперативно-информационный материал)
Алгоритмическое и программное обеспечение решения некоторых экспериментальных задач
Алгоритмическое обеспечение трехмерной реконструкции в конусе лучей по томографическим данным, регистрируемым на плоском детекторе
Алгоритм отыскания минимального времени перевозок
Алгоритм построения алгебраической спецификации сетей Петри
Алгоритм потокового анализа с учетом точек доопределения переменных
Алгоритм разме ения стандартных элементов, реализованный в системе проектирования заказных и полузакрытых схем sills
Алгоритм распознавания достаточной полноты алгебраической спецификации абстрактного типа данных
Алгоритмы анализа для эффективной специализации алголоподобных программ
Алгоритмы быстрого поиска фрагментов фотографических изображений
Алгоритмы в современной математике и её приложениях. Часть 1. Материалы международного симпозиума, Ургенч, УзССР, 16-22 сентября 1979 г.