Вы здесь

Главная

Москва

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

Генерация тестов для модулей проверки статической семантики в компиляторах
Генерация тестовых данных сложной структуры с учетом контекстных ограничений
Генерация тестовых последовательностей
Геометрические построения одним циркулем
Геометрия
Гибридные интегральные микросхемы: Учеб. пособие для ВТУЗов в 9 книгах. Книга 4.
Гибридные интегральные функциональные устройства: Учеб. пособие для ВТУЗов в 9 книгах. Книга 6.
Гносеологические особенности современной науки в свете системного подхода
Государство в XXI веке. Выпуск 20: Образование, наука и развитие кадрового потенциала. Часть 2. Информационные технологии в высшей школе. Информационный бюллетень Microsoft
Государство и эволюция
Грамматика современного русского литературного языка
Графика в байтах
Графические регистрирую ие устройства ЕС ЭВМ
Графические системы для СМ ЭВМ
Графические средства Turbo C и Turbo C++
Графические средства БК0010
ГРафический ИНтерфейс ГРИН операционной системы ТОС/М
Графический редактор CorelDRAW 4.0: практическое пособие
Графовое представление системы продукционных правил
ГРАФОР: Графическое расширение ФОРТРАНа
Данные в языках программирования
Два подхода к построению преобразователя моделей данных SQL
Двумерное стационарное распределение полурегенерируемого процесса и приложения к анализу систем массового обслуживания
Деление отрезка в данном отношении
Деловые игры
Диаграмма Хассе частичного порядка "быть фрагментом"
Диалог в автоматизированных системах. Материалы семинара
Диалоговая информационная система об его назначения ДИСОН (Версия 14-12.82) 7. Концепции и возможности
Диалоговая многотерминальная система для СМ ЭВМ
Диалоговая система программирования ДИСП
Диалоговые микро-компьютерные системы
Диалоговые системы "Человек-ЭВМ". Адаптация к требованиям пользователя.
Диалоговый комплекс программ КРАБ
Диалоговый монитор Димон
Динамическая настройка операционной среды в ОС ЕС
Динамическая поддержка расширений процессора в кросс-системе
Динамические блоковые модели экосистем
Динамические изображения на БК-0010
Динамические смешанные вычисления и распараллеливание программ
Дисковая операционная система поддержки процесса разработки
Дискретная математика и комбинаторика
Дискретный анализ
Дисциплина программирования
Дифракционная компьютерная оптика
Дифференциальная геометрия
Длина очереди в некоторых приоритетных моделях без прерываний обслуживания
Доказательные вычисления на ЭВМ
Доказательство свойств программ. Конечность выполнения и корректность
Документирование и управление конфигурацией программных средств. Методы и стандарты
Доменная модель нейронной сети и ее применение в задачах оптимизации