Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Lecture Notes in Computer Science
Связанные издания:
1.1 Why Spatio-temporal Databases?
12th Workshop for PhD Students in Object Oriented Systems
1-Bounded TWA Cannot Be Determinized
1-Dimensional Parallel FFT Benchmark on SUPRENUM
! = 1 Optimizing Optimal -calculus Implementations
1. Overwiew
1st Grade - A System for Implementation, Testing and Animation of Graph Algorithms
2-Categorical Specification of Partial Algebras
2-D Spatial Indexing Scheme in Optimal Time
2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks
2nd Workshop on Component-Oriented Programming (WCOP 97)
33 Examples of Termination
3. Conceptual Models for Spatio-temporal Applications
3D Visual Tool Supporting Derivation of Parallel Programs for MIMD Systems
4. Spatio-temporal Models and Languages: An Approach Based on Data Types
4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations
5. Spatio-temporal Models and Languages: An Approach Based on Constraints
6. Access Methods and Query Processing Techniques
7. Architectures and Implementations of Spatio-temporal Database Management Systems
8. Advanced Uses: Composing Interactive Spatio-temporal Documents
9. Spatio-temporal Databases in the Years Ahead
9th Workshop for PhD Students in Object-Oriented Systems
A 3D Based User Interface for Information Retrieval Systems
A 3-level Atomicity Model for Decentralized Process-centered Software Engineering Environments
A.A.Lyapunov and A.P.Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts
A "Bare-Machine" Implementation of Ada Multi-tasking beneath the Linux Kernel
A Basic Model of Typed Components
A Basic-Net Algebra for Program Semantics and its Application to OCCAM
A Basis for a Multilevel Metalogic Programming Language
ABC/ADL: An ADL Supporting Component Composition
A Behavioral Module System for the Pi-Calculus
A Behavioral Notion of Subtyping for Object-Oriented Programming in SPARK95
A Behavioural Algebraic Framework for Modular System Design with Reuse
A Better XML Parser through Functional Programming
A Bibliography of Ole-Johan Dahl
A Binding Architecture for Multimedia Networks
A Biography of Ole-Johan Dahl
A Bisimulation Method for Cryptographic Protocols
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language
A Bounded Graph-Connect Construction for LR-regular Parsers
A Bounded True Concurrency Process Algebra for Performance Evaluation
About Boundedness for Some DATALOG and DATALOGneg Programs
About Design and Efficiency of Distributed Programming: Some Algorithmic Aspects
About Selections and Joins Possibilitic Queries Addressed to Possibilitic Databases
About Synchronization Languages
About Synchronous Programming and Abstract Interpretation
About the "Correctness" and "Adequacy" of PLUSS Specifications
About the Difficulties of Building a Pretty-Printer for Ada
About Tours in the OTHY Hypermedia Design
A Branching/Merging Strategy for Parallel Software Development
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »