Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996
Связанные издания:
A Bilingual Specification Environment for Software/Hardware Co-design
Adapting the Information Science Techniques to the Software Engineering Area: The Application to the Software Thesaurus
A Deductive Declarative Object-Oriented Data Model and Query Language Based on Narrowing
A Four Dimensional Reuse Maturity Model
A Graph-Theoretical Metric for Object-Oriented Software Complexity
A Hierarchical View Mechanism for Supporting Navigation
Algebraic Specification of an Oberon Compiler
An Assertional Verification Method for Z Specifications of Concurrent Systems
An Interface Implementation using a Formal Compiler Specification Method
An Interoperability Infrastructure for Developing Multidatabase Systems
An M-Net Semantics for B(PN) with Procedures
A Postscript Document Management System
A Query Language for a Multilevel Object-Oriented Database
A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol
Building a Multimedia Web Site by Using Java and Java Applets
Consistent Equivalence Notion for Class of High Level Petri Nets
Equivalence of the Concave Optimisation Method and d"Agostino s Tableaux for Propositional Logic
Finding Small Stubborn Sets Automatically
Formal Specification from NIAM Model:A Bottom Up Approach
Improving Programming Re-usability via an Object-Oriented Approach in Multi-Sensor System Evaluation
Incorporating Real Time into a Concurrent Temporal Logic of Actions
Incremental Constraints Maintenance in Concurrent Logic Programming
Inheritance Hierarchy Metric
Object Migration: A Constraint-Driven Approach
On Automating Process Algebra Proofs
On Operation Synchronization in Cooperative Database Processing Environments
ROSE: A Practical Higher-Order Functional/Logic Language
Suitability of Object-Oriented Concepts for Computer Supported Cooperative Work
Terminological Database Design: An Approach Based on the Use of Conceptual Graphs
Theoretical Framework Towards Quality Software Development
Transactions Classification and a Concurrency Control Algorithm in a Multidatabase System
UDOOM: Uncertainty in Deductive Object-Oriented Data Modeling