Вы здесь

Главная

структура

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

Techniques for Debugging Parallel Programs with Flowback Analysis
Techniques for Implementing Contexts in Logic Programming
Temporal Structures
Test Template Framework: A Specification-Based Testing Case Study
The Amendments to PHIGS
The Apertos Reflective Operating System: The Concept and Its Implementation
The ATREE: A Data Structure to Support Very Large Scientific Databases
The Chellenges of Massive Information System
The Complexity of the Falsifiability Problem for Pure Implicational Formulas
The Computational value of Joint Consistency
The content-addresable page manager of SABRE. A multi-micro database computer
The Design, Implementation, and Evaluation of Jade
The Devnet: A Petri Net for Discrete Event Simulation
The Dual Structure of Ordered Trees
The Euclidean Definition of the Functions div and mod
The Family of Concurrent Logic Programming Languages
The ffgraph Library
The Geneic Graph Component Library
The Generation of Binary Trees as a Numerical Problem
The Gr_Tree: The Use of Active Regions in G-Trees
The Indispensability of Dispensable Indexes
The Item-Set Tree: A Data Structure for Data Mining
The Lattice of Data Refinement
The Logical Structure of Sequential Prolog
The LOGIDATA+ Language and Semantics
The Nested Interpolation Based Grid File
The Newton-Cauchy Framework. A Unified Approach to Unconstrained Nonlinear Minimization
The optimal encoding of search trees in single-forward-reference lists
Theoretical Aspects of Computing - ICTAC 2014: Proc./11th International Colloquium, Bucharest, Romania, September 2014
Theoretical Computer Science: Proc./8th Italian Conf., ICTCS 2003, Bertinoro, Italy, October 2003
Theories = Signatures + Propositions Used as Types
Theory and Applications of Relational Structures as Knowledge Instruments II: Selected Revised Papers/International Workshops of COST Action 274,TARSKI,2002-2005
Theory and Applications of Relational Structures as Knowledge Instruments: Proc./COST Action 274, TARSKI
Theory and Practice in Distributed Systems
Theory and Practice of Sequential Algorithms: The Kernel of the Applicative Language CDS
Theory of 2-Structures
The Paradigms of Programming
The Path Length of Random Skip Lists
The Performance of Current B-Tree Algorithms
The Performance of Three Database Storage Structures for Managing Large Objects
The Program Structure Tree: Computing Control Regions in Linear Time
The Quad View Data Structure - a Representation for Planar Subdivisions
The Relative Strength of Topological Properties for Event Structures
The Retrieval of Direction Relations using R-trees
The R-Link Tree: A Recoverable Index Structure for Spatial Data
The Role of Knowledge in Software Development
The Role of Lazy Evaluation in Amortized Data Structures
The SB-Tree. An Undex-Sequential Structure for High-Performance Sequential Access
The set union problem with dynamic weighted backtracking
The Snack Powerdomain for Database Semantics