Новосибирск

Вы здесь

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

Абстрактная интерпретация императивных программ

Абстрактные интерфейсы как структурный аналог множественного наследования

Абстрактные машины программ

Аванпроект АИСТ-1. Оборудование.

Аванпроект информационно-поисковой системы ИПС-0

Авто-аналитик

Автоматизация использования ситуативного подхода при обучении иностранному языку

Автоматизация исследований развития опорной транспортной сети

Автоматизация методов принятия решений на железнодорожном транспорте как гарантия обеспечения безопасности движения

Автоматизация научных исследований: Межвузовский сборник научных трудов

Автоматизация планирования геологоразведческих работ в производственном геологическом объединении (на примере ПГО "СЕВВОСТГЕОЛОГИЯ")

Автоматизация подготовки печатного материала на ЭВМ BURROUGHS-6700, Процессоры для подготовки текстов, формул и распечаток

Автоматизация построения трансляторов: учебное пособие

Автоматизация проверки правильности индексирования динамических массивов

Автоматизация программирования и подготовки заданий при обработке массовых геофизических данных

Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри

Автоматизация процессов межцехового управления в АСУ "СИГМА" на мини-ЭВМ

Автоматизация разработки пакетов прикладных программ

Автоматизация управления городским районом

Автоматизированная обработка видеоданных : Сборник научных трудов

Автоматизированная обучаю ая система "Дисфор" для IBM PC

Автоматизированная обучаю ая система "Престо"

Автоматизированное рабочее место программиста: Сборник научных трудов

Автоматизированные библиотечно-информационные системы. Сборник научных трудов

Автоматизированные библиотечно-информационные системы: Тезисы докладов и сообщений IV научного семинара с международным участием, Новосибирск, 14-16 мая 1991 г.

Автоматизированные рабочие места интеллектуальной деятельности (Сборник научных трудов)

Автоматизированные системы научных исследований, обучения и управления в ВУЗах. Межвузовский сборник научных трудов

Автоматизированные системы управления и их адаптация

Автоматизированный перевод текстов программ с одного языка программирования на другой

Автоматизированный учебный курс "Арифметические основы ЭВМ"

Автоматизированный учебный курс по основам информатики и вычислительной техники

Автоматическая разработка и моделирование структур потокового типа

Автоматический анализ и верификация распределенных систем реального времени

Автоматический анализ и моделирование систем систолического типа

Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями

Автоматический синтез программ с циклами и рекурсиями

Автоматическое восстановление бизнес-логики программ

Автоматическое выявление таксономии в области преобразований программ на основе анализа семантических связей в публикациях

Автоматическое выявление тематической карты документа

Автоматическое доказательство формул корректности предикатной программы в системе Russell

Автоматическое построение SQL запросов для объектных данных

Автоматная модель визуального описания синтаксического разбора

Автономные системы управления базами данных в центре коллективного пользования

Автооператор - система пакетной обработки задач на ЭВМ типа "М-20"

Агрегатный подход к созданию операционных систем для мини-ЭВМ

Адаптативные обучаю ие системы на основе экспертных технологий

Адаптация математического обеспечения АСУП (на примере АСУ "Сигма")

Адаптивная динамическая модель процесса обучения на основе экспертных систем

Адаптивность педагогических программных средств