Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Москва
Связанные издания:
2-мерные комплексы полностью описываемые степенями своих вершин
500 PC WEEK 1995-2005
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
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 и возможная альтернатива
ILEARN: An Intelligent System for Teaching and Learning about UNIX
Implementing and Automating Basic Number Theory in MetaPRL Proof Assistent
Inductive Reasoning Using Thesaurus
Information Technology in Education
Integration and Handling of Hypermedia Information as a Challenge for Multimedia and Federated Database Systems
Intuitionistic Logic with Classical Atoms
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »