Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
структура
Связанные издания:
A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages
A Priority-Driven Inheritance Scheme for Temporal-Spatial Structures in Multimedia Databases
A ProbabilisticApproach to the Problem of Automatic Selection of Data Representations
A Program Manipulation System for Fine-grained Architectures
A proof of the Rank Theorem for Extended Free Choise Nets
APT: A Data Structure for Optimal Control Dependence Compulation
APT: A Data Structure for Optimal Control Dependence Computation
A Qualitative Comparison Study of Data Structures for Large Line Segment Databases
A Rapid Compiler Prototyping System for Fine-Grained Concurrence Architectures
Architecturing for Domanin Variability
A Region Inference Algorithm
A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs
A Relation-Algebraic Approach to Graph Structure Transformation
A Resource Brokering Infrastructure for Computational Grids
A Restricted Second Order Logic for Finite Structures
ARIS Toolset: A Software Product is Born
Arity vs. Alternation in Second Order Logic
A Robust and Efficient Spatial Data Structure
A Second Year Course on Data Structures Based on Functional Programming
A Simple File Structure for the Weighted Dictionary Problem
Assoziative Prozessoren
A Storage Manager for the Development of Spatial Data Structures
A Structural Numbering Scheme for XML Data
A Structure-Based Approach to Querying Semi-structured Data
A Structure to Decide Reachability in Petri Nets
A Superimposition Control Construct for Distributed Systems
A Survey of Basic Net Models and Modular Net Classes
A Systematic Analysis of Splaying
A Temporal Approach to Specification and Verification of Pointer Data-Structures
A Theory of Bunches
Attribute Specifications of Graphical Structured Documents
Auburn: A Kit for Benchmarking Functional Data Structures
Automated Benchmarking of Functional Data Structures
Automated reasoning about parallel algorithms using powerlists
Automatic Compiler-Inserted Prefetching for Pointer-Based Applications
Automatic Generation of Executable Data Structures
Automatic Inheritance Hierarchy Restructuring and Method Refactoring
Automatic Presentations of Structures
Axiomatising Uniform Properties of Recursive Data Structures
Basic Conceptual Structures Theory
Basic External Memory Data Structures
BATCES Solution #2: A Similated SA/OOD Approach
Bayesian Networks
Begriffsverzeichnis: a Concept Index
Bilingual Tests with Swedish, Finnish, and German Queries: Dealing with Morphology, Compound Words, and Query Structure
Binary-Radix Bucket-Region - Directory: Ein neues Directory fur das Grid File
Bistructures, Bidomains and Linear Logic
Block Structured Object Programming
Bottom-Up Evalution of Hierarchical Disjunctive Deductive Databases
Branching Programs - An Efficient Data Structure for Computer-Aided Circuit Design
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »