Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
операция
Связанные издания:
A Belief-Consistent Multilevel Secure Relational Data Model
Algebraic Change Propagation for Semijoin and Outerjoin Queries
Algebraic Operations on Bags in a Web Warehouse
A Substitution Operation for Constraints
A Theory of Program Modifications
Conditions for the algorithmic completeness of system of operations
Contributions for Modeling UML State-Charts in B
Disconnected Operation in a Distributed File System
First-class Synchronous Operations
Grouped Processing of Relational Algebra Expressions over Data Streams
In-place Arithmetic for Polynomials over Zn
Integrating AOI and OR: An Industrial Engineering Perspective
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./Second International Conference, CPAIOR 2005. Prague, Czech Republic, May/June 2005
Modelling SIMD - Type Parallel Arithmetic Operations in Ada
Monads for Functional Programming
New Issues in Object Interoperability
Operations on Records
Parallelizing Tree Algorithms: Overhead vs. Parallelism
Prefetch unit for vector operations on scalar computers
probabilistic Spatial Database Operational
Relational Algebra Operations
Static Head Nodes in the Operations on Dynamic Structures
Suggestion for a Parametrized Class Model
The Generation and Execution of Plans for Multiple Agents
The Semantics of the OCL Action Clause
Trends in Functional Programming: Revised Selected Papers/15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 2014
Unified Transaction Model for Semantically Rich Operations
Weak Refinement in Z
Алгебра алгоритмов, базирую аяся на данных
Быстрая работа в Windows 95
Компютърна информатика: основи, данни, операции
Конструктивнi операцii
Критериии алгоритмической полноты систем операций
Метод адаптивного управляемого параллельного выполнения операций в объектных СУБД
Метод вертикальной обработки потока целочисленных групповых данных. II. Приложение к бинарным арифметическим операциям
Новая операция для ЭВМ
Об алгоритмической полноте систем операций
Операции над типами
О полноте операций в операторных алгоритмах
О сильной полноте систем операций
Параллельные вычисления
Реализация замкнутого набора булевых операций над полигональными областями на дискретной сетке
Эффективный алгоритм, реализую ий замкнутый набор булевых операций над множествами многоугольников на плоскости