Вы здесь

Главная

структура

Связанные издания:

Local Event Structures and Petri Nets
Local Normal Forms for First-Order Logic with Applications to Games and Automata
L-One-Two-Three (L1:..L2:..L3:) Considered Harmful
Loop Transformations for Restructuring Compilers: The Foundations
Lossles Representation of Topological Spatial Data
Maintaining dictionaries: space-saving modifications of B-trees
Management and Processing of Complex Data Structures: Proc./Third Workshop on Information Systems and Artificial Intelligence. Hamburg, Germany, February/March 1994
Managing a Parallel Heap Efficiently
Managing Object-Oriented Framework Reuse
Managing Schemata for Semistructured Databases Using Constraints
Mapping of Time Cause-Effect Structures into Time Regular Petri Nets
Mathematical Morphology and Its Applicationas to Image and Signal Processing: Proc./10th International Symposium, ISMM 2011, Verbania-Intra, Italy, July 2011
Mathematics and Computation in Music: Proc./6th International Conference, MCM 2017, Mexico City, Mexico, June 2017
Maximal Static Expansion
May I Borrow Your Logic?
MCSE Designing a Microsoft Windows 2000 Network Infrastructure Training Kit: Exam 70-221
Memory Management: Proc./Intern. Workshop IWMM 92. St. Malo, France, September 1992
MIMD Dictionary Machines: from Theory to Practice
Minimizing Reference Count Updating with Deferred and Anchored Pointers for Functional Data Structures
MKL-Tree: A Hierarchical Data Structure for Indexing Multidimensional Data
Modelling Complex Structures in Object-Oriented Databases
Models and Paradigms for Distributed Systems Structuring (5th ACM SIGOPS European Workshop 92)
Models of Computation in Context: Proc./7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June/July 2011
MOF-Tree: A Spatial Access Method to Manipulate Multiple Overlapping Features
Monads for Functional Programming
Moving Specification Structures Between Logical Systems
mT-Tree: An Indexing Structure for OODBs
Multidimensional trees
Multiple Classifier Systems: Proc./12th International Workshop, MCS 2015, Gunzburg, Germany, June 2015
Multiple Interpretations of the Logical Structure of Legal Rules: Implement or Boon to Legal Expert Systems?
Naming and Causal Delivery in the Grasshopper Operating System
Needed: A Systematic Structuring Paradigm for Distributed Data (ACM SIGOPS 5th European Workshop 92)
Network Aspects of Broadband ISDN
New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2014 Workshops, LENLS, JURISIN, and Gaba, Kanagawa, Japan, October 2014
Nonfinite Axiomatizability of the Equational Theory of Shuffle
Nonuniform Alias Analysis of Recursive Data Structures and Arrays
Notes on Logical Axiomatization of Density Concepts
Notes on P-algebra 1: Process Structure
Object Invariants in Dynamic Contexts
Object Oriented Framework for Generating Machine Understanding of a Digital System Design
Observing Distribution in Processes
On a Symbolic Method of Verification for Definite Iteration Over Data Structures
On Binary Constraint Problems
On binary search trees
On Blocks: locality and asynchronous communication
On Constructing Multiple Spanning Trees in a Hypercube
On Distributed Languages and Models for Concurrency
On Liveness and Controlled Siphons in Petri Nets
On Locally Reflective Categories of Structures
On Optimal Multiversion Access Structures