Вы здесь

Главная

структура

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

Abstract Computability of Non-deterministic Programs over Various Data Structures
Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs
Abstract Structures for Communication
Abstract Structures for Communication between Processes
A -calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure
A Case Study in Systematic Hypermedia Design
Accurate Shape Analysis for Recursive Data Structures
A Class of Replacement Polices for Medium and High-Associativity Structures
A Complete Theory of Deterministic Event Structures
Action Calculi, or Syntactic Action Structures
Action refinement and equivalence notions for timed event structures
Active Documents in XML
A Data Abstraction Alternative to Data Structure/Algorithm Modularization
A Data Structure Oriented Monitoring Environment for Fortran OpenMP Programs
Adding Feature to Component-Based Systems
A Decidable Logic for Describing Linked Data Structures
Advanced Capabilities of the Outer Join
A Dynamic Storage Allocation Algorithm Suitable for File Structures
A Fast Triangular Matrix Inversion Algorithm
A Formal Pattern Language for Refactoring of Lisp Programs
A Framework for Parallel Composition of Protocols
A Framework for the Support of Connectionless Traffic over ATM Networks
A Functional Approach for Formalizing Regular Hardware Structures
A Functional Representation of Data Structures with a Hole
A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
A General Data Dependence Test for Dynamic, Pointer-Based Data Structures
A General Framework for the Optimization of Object-Oriented Queries
A Generalization of a Relational Structures Model of Concurrency
A Generalized Event Structure for the Muller Unfolding of a Safe Net
Agents: An Undistorted Representation of Problem Structure
A Glimpse of Paradise
A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets
A High-Performance Data Structure for Mobile Information Systems
A Kleene Analysis of Mobile Ambients
A Language Framework for Multi-Object Coordination
A Leaf-Cell Generator for Silicon Compilers
Algebraic Biology: Proc./Third International Conference, AB 2008. Castle of Hagenberg, Austria, July/August 2008
Algebraic Structures of Truth Values in Fuzzy Logic
Algebra of Two-level Cause-effect Structures
Algorithms and Computation: Proc./ 11th International Conference, ISAAC 2000 Taipei, Taiwan, December 2000
Algorithms and Computation: Proc./13th Intern. Symp., ISAAC 2002, Vancouver, BC, Canada, November 2002
Algorithms and Data Structures: Proc./4th International Workshop, WADS 95. Kingston, Canada, August 1995
Algorithms and Data Structures: Proc./5th Intern. Workshop, WADS 97. Halifax, Nova Scotia, Canada, August 1997
Algorithms and Data Structures: Proc./ 6th International Workshop, WADS 99, Vancouver, Canada, August 1999
Algorithms and Data Structures: Proc./7th Intern. Workshop, WADS 2001, Providence, RI, USA, August 2001
Algorithms and Data Structures: Proc./8th Intern. Workshop, WADS 2003, Ottawa, Ontario, Canada, July-August 2003
Algorithms and Models for the Web-Graph: Proc./5th International Workshop, WAW 2007. San Diego, CA, USA, December 2007
Algorithms and Models for the Web-Graph: Revised Papers/Fourth International Workshop, WAW 2006. Banff, Canada, November/December 2006
Algorithms for Computational Biology: Proc./3rd International Conference, ALCoB 2016, Trujillo, Spain, June 2016
Algorithms for Parallel Memory Allocation