Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
структура
Связанные издания:
On Structuring Cooperative and Competitive Concurrent Systems
On the Development of Environments for Developing Expert Systems
On the Lattice Structure of the Add-With-Carry and Subtract-With-Borrow Random Number Generators
On Variance-Based Subtyping for Parametric Types
On Weighted T-Systems
On Well Behavedness of BP Schemes
Open Maps and Trace Semantics for Timed Partial Order Models
Open maps and weak trace equivalence for timed event structures
Optimal Allocation of On-chip Memory for Multiple-API Operating Systems
Optimal Implementation of GeneraL Divide-and-Conquer on the Hypercube and Related Networks
Optimising Communication Structure for Model Checking
Optimization of Restricted Searches in Web Directories Using Hybrid Data Structures
Optimization of Storage Structures of Complex Types in Object-Relational Database Systems
Optimizing Spatial Data Structures for Static Data
Order-Preserving Minimal Perfect Hash Functions and Information Retrieval
Order-Sorted Feature Theory Unification
Padded String: Treating String as Sequence of Machine Words
PANTER - Knowledge Based Image Analysis System for Workpiece Recognition
PapaGraph: Graph Editor Support for Parallel Programming Environments
Paragon Specifications: Structure, Analysis and Implementation
Parallel Fractional Cascading on Hypercube Multiprocessors
Parallel Image Analysis: Proc./Second Intern. Conf., ICPIA 92, Ube, Japan, December 1992
Parallel isotropic access to tree-like data structures
Parallel Multiplication: A Case Study in Parallel Programmimg
Parlists - A Generalization of Powerlists
PARMA: A Multiattribute File Structure for Parallel Database Machines
Partial Continuations as the Difference of Continuations. A Duumvirate of Control Operators
Partial Dead Code Elimination using Slicing Transformations
Partial Evaluation for Hierarchies of Logic Theories
Path Analysis for Lazy Data Structures
Path Dictionary: A New Access Method for Query Processing in Object-Oriented Databases
Pattern Recognition in Bioinformatics: Proc./6th IAPR International Conference, PRIB 2011, Delft, The Netherlands, November 2011
Pattern Recognition: Proc./11th Mexican Conference, MCPR 2019, Queretaro, Mexico, June 2019
Patterns in Words versus Patterns in Trees: A Brief Survey and New Results
pC++/streams: a Library for I/O on Complex Distributed Data Structures
Performance Analysis of File Organizations that Use Multi-Bucket
Performance and Stability Analysis of Multilevel Data Structures with Deferred Reorganization
Performance Evaluation of Tree-Based Structures
Performance Oriented Development of SPMD Programs Based on Task Structure Specifications
Physical Database Design: A Decision Support Model
Physical Structure Design for Relational Databases
Place Bisimulations in Petri Nets
Pointer Analysis for Programs with Structures and Casting
Polymorphic Typed Defunctionalization
Pool: An Unbounded Array
Portable Parallel Irregular Applications
Practical Efficiencies of Planar Point Location Algorithms
Priority Queues and Sorting Methods for Parallel Simulation
Processes in Cause-Effect Structures
Programming Languages for Distributed Computing Systems
« первая
‹ предыдущая
…
6
7
8
9
10
11
12
13
14
…
следующая ›
последняя »