Вы здесь

Главная

Passau

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

Rewriting Skeleton Programs: How to Evaluate the Data-Parallel Stream-Parallel Tradeoff
Semantic Extraction for the Automatic Verification of VHDL Descriptions
Semilinear Motion Planning in REDLOG
Shape Analysis of Functional Programs with Algebraic Data Types
Simplification of Quantifier-free Formulas over Ordered Fields
Skalierung von Matrizen und numerische Stabilitat der Gauss-Elimination
Software Reengineering Based on Concept Lattices
Solving Geometric Problems with Real Quantifier Elimination
Solving Parametric Polynomial Equations and Inequalities by Symbolic Algorithms
Spezifikationen hoherer Ordnung
Structured Algebraic Specifications: a Kernel Language
Telos: A Language for Representing Knowledge About Information Systems
Ternary Simulation: A Refinement of Binary Functions or an Abstraction of Real-Time Behaviour?
The Chinese Remainder Problem, Multivariate Interpolation, and Grobner Bases
The Eventflow Model - A Concept for Real-time Control of Intelligent Autonomous Systems
The ffgraph Library
The Mechanical Parallelization of Loop Nests Containing while Loops
The Quantization Dimension of Self-Similar Probabilities
The Quantization Dimension of Self-Similar Sets
The Quantization of the Cantor Measure
The Specifier s Notepad - A Hypertext System tailored to the Design of Algebraic Specifications
The Specifier s Notepad- A Hypertext System tailored to the Design of Algebraic Specifications
Tool Coordination in MetaFrame
Towards a Naive Theory of Algebraic Specifications
Transformation-Based Bottom-Up Computation of the Well-Founded Model
Two-sided Grobner Bases in Iterated Ore Extensions
Unification in Conditional - Equational Theories
Verification of Systolic Arrays in M2L(Str)
Views of Distributed Systems