Вы здесь

Главная

структура

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

FIAT: A Framework for Interprocedural Analysis and Transformation
Fibrational control structures
File organizations with shared overflow blocks for variable length objects
File-System Development with Stackable Layers
Finding Advantageous Orders for Argument Unification for the Prolog WAM
Finding Maximal Similar Paths Between XML Documents Using Sequential Patterns
First-Class Structures for Standard ML
Fixed Points on Abstract Structures without the Equality Test
Formal Concept Analysis: Proc./13th International Conference, ICFCA 2015. Nerja, Spain, June 2015
Formal Derivation of Multilayered Hardware/Software Structures
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Foundations of Software Science and Computational Structures:Proc./10th Intl Conference FOSSACS 2007, part of Joint European Conferences on Theory & Practice of Software, ETAPS 2007. Braga, Portugal, March/April 2007
Foundations of Software Science and Computational Structures: Proc./11th International Conference, FOSSACS 2008, Part of ETAPS 2008
Frameworks in the Financial Engineering Domain an Experience Report
From Lens to Flow Structure
Fully Persistent Graphs - Which One To Coose?
Functional Data Structures
Functional Development of Massively Parallel Programs
Fusion in Practice
Fuzzy Dynamic Systems
Gatekeepers in the Action Structure of Software Contracting: A Case Study of the Evolution of User-Developer Relationships
GB-Ordering: A Dynamic & Efficient 2-d Spatial Access Method
Generalized Markovian Cause-Effect Structures
Generating Memory-Efficient Imperative Data Structures from Systolic Programs
Generic Model Management : A Database Infrastructure for Schema Manipulation
Generic Model Management: Concepts and Algorithms
Generic Programming: Proc./Intern. Seminar on Generic Programming, Dagstuhl Castle, Germany, April-May 1998
Geometrische Datenstrrukturen in einer Nicht-Standard-Datenbank
GLEF atinf: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics
Graph Algorithms=Iteration+Data Structures?
Graph-Based Representation and Reasoning: Proc./21st International Conference on Conceptual Structures, ICCS 2014, Iasi, Romania, July 2014
Graph-Based Representation and Reasoning: Proc./24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 2019
Graph-Based Representations in Pattern Recognition: Proc./6th IAPR-TC-15 International Workshop, GbRPR 2007. Alicante, Spain, June 2007
Graphical Interface for Design of Geometric Data Structures
Grid Computing - GRID 2000: Proc./First IEEE/ACM Intern. Workshop, Bangalore, India, December 2000
Handles and Reachability Analysis of Free Choice Nets
Haskore Music Tutorial
Hausdorff Reduction to Sparse Sets and to Sets of High Information Content
HDM- A Model-Based Approach to Hypertext Application Design
Hector: A Hierarchically Structured Shared-Memory Multiprocessor
Heterogeneous Data Structures and Cross-Classification of Objects with Ada95
Hierarchial Cause-Effect Structures
Hierarchical Cause-Effect Structures
Hierarchical Modularity
Hierarchical Structure of 1-Safe Petri Nets
High-level Nets and Linear Logic
High Performance Computing for Computational Science - VECPAR 2002: Proc./5th Intern. Conf., Porto, Portugal, June 2002
Hopfield Networks, Neural Data Structures and the Nine Flies Problem: Neural Network Programming Projects for Undergraduates
How to Write Parallel Programs: A Guide to the Perplexed
HPFIT: A Set of Integrated Tools for the Parallelization of Applications using High Performance Fortran. PART II: Data-Structure Visualization and HPF Extensions for Irregular Problems