Вы здесь

Главная

Univ.Passau

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

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
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
Разработка методов и средств спецификации взаимодействия распределенных систем на основе композициональных сетей Петри