Вы здесь

Главная

Москва

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

SoFTool-91. СОФТУЛ-91. Каталог организаций и программных средств, экспонируемых на выставке. Москва, ВДНХ СССР, 29 октября- 2 ноября 1991 г.
Spatial Joins and R-trees
Specialization and Generalization in an Object Oriented Database
Stating Quality in Dynamic Information Systems
Strategies for the Development of Education and Informatics. Thailand Country Report
Tableaux for the Logic of Proofs
TAO: An Object-based Timed Concurrent Constraint Programming Technology
The MaStA I/O Cost Model and its Validation Strategy
The single-conclusion proof logic and inference rules specification
Time-EX/Windows - новое поколение недоопределенной технологии календарного планирования
Towards Integrated Computer Aided Systems and Software Engineering Tool
Transforming an Entity-Relationship Schema into Object-Oriented Database Schemas
Transforming Conceptual ER Schema into Object Oriented Databases
Transforming Curricula in the Transforming Countries: An Experience from Slovakia
Une ingenierie educative pour l integration des technologies
Unified Semantics for Modality and Lambda-terms via Proof Polinomials
UNIX and Open Systems in Romania: An Informal View on the Present State and Some Recent Developments
UNIX - технологии в ВУЗах России
Verification of Definite Interaction over Arrays with a Loop Exit in C Programms
V Всесоюзный коллоквиум по общей алгебре. Резюме сообщений и докладов
WORD 6.0 для Windows
X юбилейная конференция-выставка "Информационные технологии в образовани", 7-12 ноября 2000 г.
X юбилейная конференция-выставка "Информационные технологии в образовании", 7-12 ноября 2000 г. Официальный каталог
X юбилейная конференция-выставка "Информационные технологии в образовании", 7-12 ноября 2000 г. Сборник трудов. Часть III : Технологии открытого образования, Информационные технологии в управлении образовательными структурами, Информационные технологии в образовании для людей со специальными потребностями
X юбилейная конференция-выставка "Информационные технологии в образовании", 7-12 ноября 2000 г. Сборник трудов. Часть II : Информатика: стандарты и содержание, Интеграция информационных технологий в образовании
А.А.Ляпунов. Очерк жизни и творчества. Окружение и личность
Абстрактные типы данных и частичная корректность программ
Автокод ЭЛЬБРУС
Автоматизация аттестации подпрограмм численного анализа
Автоматизация издательской деятельности. Ч.1. Применение текстового процессора Microsoft Word в настольных издательских системах
Автоматизация имитационного моделирования сложных систем
Автоматизация испытаний вычислительных систем. Определение производительности центрального процессора на мультикомандных смесях
Автоматизация построения инструментария кросс-разработки программного обеспечения для расширяемых встраиваемых систем
Автоматизация проектирования АСУ организационного типа (на примере министерства образования Кубы)
Автоматизация проектирования вычислительных систем. Языки, моделирование и базы данных
Автоматизация проектирования вычислительных систем. Языки, моделирование и базы данных
Автоматизация проектирования печати выходных форм в задачах бухгалтерского учета
Автоматизация процессов накопления, поиска и обобщения информации
Автоматизация сборки программ расчёта разветвлённых объектов
Автоматизированная библиотека и информационные системы
Автоматизированная генерация фортранных программ
Автоматизированная подготовка планов и отчетов на ПЭВМ
Автоматизированная система информационного обеспечения разработок
Автоматизированное построение ЕЯ-интерфейса к прикладным базам данных
Автоматизированное построение системного теста на случайных кодах
Автоматизированное проектирование баз данных
Автоматизированные банки данных
Автоматизированные методы спецификации
Автоматизированные рабочие места на базе микроЭВМ "Искра 226"
Автоматизированные системы информационного обеспечения