Вы здесь

Главная

Univ.Passau

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

Constraint Propagation in Explicitly Parallel Programs
Constructing List Homomorphisms
Convex Polytopes and Related Complexes
Cool: A Control-flow Generator for System Analysis
Database Application Development as an Object Modeling Activity
Dataflow Computation for Knowledge-Based Control of Autonomous Systems
Deadlock Detection Agents: A Distributed Deadlock Detection Scheme
Deciding Linear-Transcendental Problems
Deciding Linear-Trigonometric Problems
Deductive Integrity Maintenance in an Object-Oriented Setting
Dependence and Independence Results for (Impredicative) Calculi of Dependent Types
Design Aspects of Access Control in a Knowledge Base System
Design Assistance for Complex Information Systems
Designing Data Flow Graphs by Graph Grammars
Deterministic Permutation Routing on Meshes
Differential-Term Orders
Dual-Buffering Strategies in Object Bases
DYNAMICS 98: Proc. of the Post-Conf. Workshop on Transactions and Change in Logic Databases, Joint Intern. Conf. and Symp. on Logic Programming JICSLP 98. Manchester, UK, June 1998
DYNAMICS 98: Proc. of the Post-Conf. Workshop on Transactions and Change in Logic Databases. Joint Intern. Conf. and Symp. on Logic Programming JICSLP 98, Manchester, UK, June 20, 1998
Eliminating Partially Dead Code in Explicitly Parallel Programs
Eliminiting Partially Dead Code in Explicitly Parallel Programs
Ersatzarithmetiken fur die fehlerstabile Implementation numerischer Algorithmen
EXPANDER: Manual and Implementation
Fast Computation of the Minimum Covariance Determinant Estimator
Finite Model Checking and Beyond
First-order Lax Logic as a Framework for Constraint Logic Programming
From a Tabular Classification to Parallel Implementations of Lineary Recursive Functions
From Transformations to Methodology in Parallel Program Development: A Case Study
Group Work in Software Projects: Integrated Conceptual Models and Collaboration Tools
Guarded Expressions in Practice
Heterogeneous Analysis and Verification for Distributed Systems
Hierarchical Graph Design Using HiGraD
How to Execute ULTRA Transactions
Incremental Formalization: A Key to Industrial Success
Index Set Splitting
Inductive Theorem Proving for Algebraic Specifications - TIP System User s Manual
INFINITY - International Workshop on Verification of Infinite State Systems. Pisa, Italy, August 30-31, 1996
Information Systems Development as Knowledge Engineering: A review of the DAIDA Project
Jackson s Theorems and the Number of Hidden Units in Neural Networks for Uniform Approximation
Kolloquium: Programmiersprachen und Grundlagen der Programmierung. Adalbert Stifter Haus, Alt Reichenau. 11-13 Oktober 1995
Left and Right Grobner Bases in Ore Extensions of Polynomial Rings
Linear Problems in Valued Fields
Local Quantifier Elimination
Logical Transactions and Serializability
Loop Parallelization in the Polytope Model
Mathematical Independencies in the Pure Calculus of Constructions
Method Resolution and Virtual Classes in a Deductive Object-Oriented Database
Migrating Autonomous Objects in a WAN Environment
Minimum Spanning Trees in Bipartite Graphs
Mixed Real-Integer Linear Quantifier Elimination