Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Tallinn
Связанные издания:
9th Nordic Workshop on Programming Theory. Tallinn, Estonia, October 15-17, 1997
A Case Study on Object-Oriented Database Schema Design
A Common Data Model for Meta-Data in Interoperable Environments
Active and Deductive Rules in an Object-Oriented Database Programming Language
A Forth-oriented Compiler Compiler
A Generic Model for Reusable Components
Algebraic Graph-Based Approach to Schema Integration
A Logic Approach for Schema Integration
A method for annotated programming
A method for constructing quality program versions
An algorithm for testing sufficient completeness of a simple class of conditional specifications
An Algorithm for Vertical Fragmentation in Distributed Object Database Systems
An Architecture to Support Interoperability of Autonomous Database Systems
An Integrated Information Systems Framework to Support Survey Studies in Socio-Human Systems
A Specification Formalism for Interacting Objects
Attribute Specifications of Graphical Structured Documents
Automation of Knowledge Base Development Using Model Supported Knowledge Acquisition
Boolean Techniques applied to knowledge bases
Business Modeling Language GRAPES-BM and Related CASE Tools
Clarifying Concepts of Information Security Management
COLOG-88 Papers presented at the International conference in computer logic. Part II. Tallinn, December, 12-16, 1988
COLOG-88 Papers presented at the International conference in computer logic. Part I. Tallinn, December, 12-16, 1988
Compiling logic programs into dataflow processes
Component Analysis: An Approach to Non-functional Requirements Modeling
Confluent Macro Expansion for Optimizing Code Generation
Database and Information Systems: Proc./Second Intern. Baltic Workshop, Tallinn, June 12-14, 1996
Databases and Information Systems: Proc. of the Second Intern. Baltic Workshop, Tallinn, June 12-14, 1996
Databases and Information Systems: Proc./Second International Baltic Workshop. Tallinn, June 12-14, 1996
Databases and Information Systems: Proc./Second International Baltic Workshop. Tallinn, June 12-14, 1996
Deductive and Active Processing in Database and Knowledge Base Systems
Estonian Phonetic Database: Development and Realisation
Formal Verification of Distributed Protocols with PVS
Framework for Potential Latvian Software Engineering Standards
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics
Functional Programming with Apomorphisms (Corecursion)
Generalised mixed computation examplified on programs with stacks
Informatics 89
Informatics '89: Proc./Soviet-French Symposium, Tallinn, May 1989
Informatics '89: Proc./Soviet-French Symposium, v. 2, Tallinn, May 1989
Information Systems Development on the Basis of the Role-Model
Institute of Cybernetics of the Estonian Academy of Sciences 1990
Integrated University Information System as Part of National Information Infrastructure
Knowledge-based Programming Environments
Languages, Tools and Methods for Conceptual Modelling
MSCPDL - A Language for Behavioural Abstraction
mT-Tree: An Indexing Structure for OODBs
Multi-Level Specification of Data Types and Data Models
On Ensuring Keys and Referential Integrity in the Temporal Database Language TSQL2
On Program Construction in a Programmer s Working Site
On the Border between Functional Programming and Program Synthesis
1
2
следующая ›
последняя »