1
Characteristic formulae for processes with divergence.
Book
2
Natürliche Intelligenz oder: der Paralleligel.
Book
3
A new class of cryptosystems based on interconnection networks.
Book
Portz, M.
1991
4
Syntactic congruences for omega- languages.
Book
5
Randwertaufgaben der Maxwellschen Gleichungen des RN für inhomogene Medien.
Book
6
Wiederverwendbarkeit und Softwareentwicklung: Probleme, Lösungsansätze und Bibliographie.
Book
7
Extension of a graph storage for software documents with primitives for unco/redo and revision control.
Book
8
CNC/DNC communication with map.
Book
9
Local area networks for manufacturing environments with hard real time requirements.
Book
10
Integration of field bus and map networks: hierarchial communication systems in production environments.
Book
11
Suxess: towards a sound unification of extensions of the relational data model.
Book
12
Integrating structured analysis and information modelling.
Book
13
Synchronization and interdependence measures and their applications to the electroencephalogram of epilepsy patients and clustering of data /
Book
14
A call by need implementation of syntax directed functional programming.
Book
15
Modelling of software architectures: importance, notions, experiences.
Book
Nagl, M.
1990
16
A complete proof system for timed observations.
Book
17
A specification environment for graph grammars.
Book
Nagl, M.
1990
18
A short guide to the amore system: computing automata, monoids, and regular expressions.
Book
19
Directory services for mobile communications.
Book
Jakobs, K.
1990
20
What's beyond the interface - OSI network to support cooperative work.
Book
Jakobs, K.
1990