Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 103 results. Subscribe to this search

|
No cover image available
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).

Place hold Add to cart
No cover image available
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).

Place hold Add to cart
No cover image available
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).

Place hold Add to cart
No cover image available
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).

Place hold Add to cart
No cover image available
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).

Place hold Add to cart
No cover image available
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).

Place hold Add to cart
No cover image available
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).

Place hold Add to cart
No cover image available
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).

Place hold Add to cart
No cover image available
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).

Place hold Add to cart
No cover image available
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).

Place hold Add to cart
No cover image available
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).

Place hold Add to cart
No cover image available
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).

Place hold Add to cart
No cover image available
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).

Place hold Add to cart
No cover image available
The treatment of macro expansions in the temporal logic of parallel programs / A. Kausche, F. Kroger Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1985 Description 34 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Erfahrungsbericht über den Einsatz von Ultrix-32 / Harry Halfar... [et al.] Monografia Publication München : Institut für Informatik der Technische Universitat München, 1986 Description 50 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Aktive Wissensbasen und Damonenkonzepte / Siegfried Bocionek, Ralph Meyfarth Monografia Publication München : Institut für Informatik der Technische Universitat München, 1988 Description 65 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Probabilistische Programme : Semantik und Anwendungen / Christian Herzog Monografia Publication München : Institut für Informatik der Technische Universitat München, 1985 Description 155 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
On local refinement higher order methods for elliptic partial differential equations / Steve McCormick, Ulrich Rüde Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 22 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Compiling exploratory and goal-directed deduction into sloppy delta-iteration / Helmut Schmidt... [et al.] Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1987 Description 28, [10] p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Discretizations for multigrid methods / Ulrich Rüde Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1985 Description 15 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart