Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 103 results. Subscribe to this search

|
No cover image available
R-Lisp : eine erweiterte relationale Algebra in Lisp / Heribert Schütz Monografia Publication München : Institut für Informatik der Technische Universitat München, 1990 Description 33 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Application of algebraic multigrid (AMG) to constrained quadratic optimization / P. Muszynski, U. Rüde, Chr. Zenger Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1988 Description 30 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

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

Place hold Add to cart
No cover image available
Evaluation paradigms for deductive databases : from systolic to as-you-please / Ulrich Güntzer, Werner Kiessling, Rudolf Bayer Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1986 Description 27 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
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 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).

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

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

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

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

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

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

Place hold Add to cart
No cover image available
The performance of a type-insensitive runge-kutta code on a personal computer / Peter Rentrop Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1984 Description 13 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Towards a formalization of digital circuit design / Carlos Delgado Kloos Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1986 Description 157 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
No cover image available
A toolbox for multigrid methods / Michael Arbesmeier, Ulrich Rüde Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 41 p. : il. gráficos ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Die Graphik-Sichtgerate : GSG-12 und GSG-15 - GSG-17 : Technische Beschreibung Benutzeranleitung Programmieranleitung / A. Raith, Th. Schneider Monografia Publication München : Institut für Informatik der Technische Universitat München, 1986 Description 84 p., pag. var. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Regelbasierte Synchronisation von Roboter und Maschinen in der Fertigung / Klaus Fischer Monografia Publication München : Institut für Informatik der Technische Universitat München, 1988 Description 58 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart