Your search returned 94 results. Subscribe to this search

|
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).