|
|
Control for iterative evaluation of recursive rules in deductive database systems / U. Güntzer, R. Bayer
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1985
Description
15 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Techniken zum Zusammenschlu ̀von Rechnernetzen und deren Anwendung auf Protokolle des Transportsystems / Ernst Biersack
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1988
Description
282 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Response times of a real-time system with microprogrammed operating system kernel / Theodor Tempelmeier
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985
Description
47 p. :
il. gráficos ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
Lost (1).
|
|
|
On a class of BCMP consistent integrated performance-reliability models / Eike Jessen, Olaf Schoen
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985
Description
19 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
On the treatment of singularities in the multigrid method / U. Rüde, Chr. Zenger
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985
Description
11 p. :
il. gráficos ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The Munich project CIP / A. Horsch... [et al.]
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985-19--
Description
v. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Ein Zuteilungsmodell für Multiprozessor-Echtzeitsysteme / Gerhard Schrott
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1986
Description
132 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Trajektorienplanung bei Handhabungssystemen / Bernhard Glavina
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1988
Description
50 p. :
il. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Deklarativ erweiterte Attributgrammatiken : Funktionale Semantik und Implementierungskonzepte / Jürgen Walter Knopp
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1990
Description
183 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Zur verteilten Implementierung von Petrinetzen / Dirk Taubner
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1988
Description
32 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Graphentheoretische Ansatze für CAD-Werkzeuge in der CMOS-Technik / Michael Payer
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1989
Description
233 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
On the evaluation of recursion in (deductive) database systems by efficient differential fixpoint iteration / Urich Güntzer, Werner Kiessling, Rudolf Bayer
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1986
Description
29 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
On the combination of the ideas of multilevel solvers using hierarchical bases and the substructuring technique for the finite element method / Michael Griebel
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1987
Description
48 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
On the use of composition in transformational programming / Rudolf Berghammer
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985
Description
23 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
ITS - ein Programmsystem zur Simulation des Verhaltens von Betriebssystemen : Einführung für den Anwender / Stefan Eichholz, Bernhard Hoferer, Helma Schneider
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1985
Description
119 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Attributierte Transitionsnetze und ihre Anwendungen in Programmierumgebungen / Jürgen Knopp
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1987
Description
56 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Zur temporalen Logik von Baumen / Bernd-Holger Schlingloff
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1990
Description
189 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
A toolkit based approach for constructing gateways / Ernst Biersack
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1988
Description
35 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Time optimal left to right construction of position trees / Michael Kempf, Rudolf Bayer, Ulrich Güntzer
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1986
Description
30 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
A relation algebraic approach to modal correspondences / Wolfgang Heinle
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1991
Description
32 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|