Вы здесь

Главная

Москва

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

2-мерные комплексы полностью описываемые степенями своих вершин
500 PC WEEK 1995-2005
500 английских пословиц и поговорок
520 головоломок
90 лет служения науке: К 90-летию Фундаментальной библиотеки об ественных наук и 40-летию Института научной информации по об ественным наукм РАН
Abstract State Machines Capture Parallel Algorithms
ADBIS'95: Proc./Second International Workshop on Advances in Databases and Information Systems
A Dialogue-Based Approach for the Development of Information Systems
Algebraic Invariants of Database Schemes
A Method of Constraint Propagation Applied to Planning Route in GIS
A Model for Deployment of Information Infrastructure to Academic Community
An External Schema Mechanism for an Open Database System
An Ontological Approach to a System of Requairements Patterns
A Preprocessor Approach to Persistent C++
ARCHITEKA: информационная система для автоматизации историко-архивных исследований
A Semantics for the Logic of Proofs
ATKIS: топографическая информационная система как базис для ГИС и цифровой картографии в Западной Германии
Building Natural Language Interfaces for Environmental Data Bases
CASE: Машинное проектирование программного обеспечения. Аналитический обзор зарубежных публикаций по об им принципам построения, реализации и применения
ChorusToolbox: MacOS Running on Top of Chorus
CHRONOS: пространственно-временной сервер данных для ГИС
Composition Approach to Systematic Development of Database Systems
Computer Aided Engineering Education in a Changing Environment
Computer Games and Ethical Foundation of Sustainable Development
CONCEPT: a Language for Conceptual Modelling
Conceptual Similarity Measures for Trademark Retrieval
Cooperative Recognition of Interdatabase Dependencies
Data storage interpretation of labeted modal logic
dBASE IV: назначение, функции, применение
De l education et de l usage des technologies de l information
Distance Education, Current situation and problems
Document de travail principal
DPC++: Библиотека классов C++ для разработки параллельных программ с распределением по данным
Education and Informatics: EI 96)
Equivalence of Relational Databases
Evaluation of Technology-based Learning. A Social Science Approach tj Quality Assurance in Education
Evolving Algebras 1993: Lipari Guide
Excel 7 для Windows 95. Секреты и советы
Explicit Provability and Constructive Semantics
Flexible Checkpointing and Efficient Rollback-Recovery for Distributed Computing
Generating Finite State Machines from Abstract State Machines
GODOT: построение объектно-ориентированной географической системы
Handheld (О самых малых)
HM Data Model and its Formal Definition
Hypercard - новая объектно-ориентированная среда создания информационных систем
IBM AT Руководство для начинаю их
IDL C++ меппинг. CORBA и возможная альтернатива
II. Инструкция по выборкам для картотеки словарного отдела
ILEARN: An Intelligent System for Teaching and Learning about UNIX
Implementing and Automating Basic Number Theory in MetaPRL Proof Assistent