Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 103 results. Subscribe to this search

|
No cover image available
Recognizing edge replacement graph languages in cubic time / Walter Vogler Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 14 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Extrapolation and related techniques for solving elliptic equations / Ulrich Rüde Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 66 p. : il. gráficos ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Untersuchung des Einschwingverhaltens des M-G-1 Systems unter nichtstationarer Last / Jürgen Scholz Monografia Publication München : Institut für Informatik der Technische Universitat München, 1986 Description 66 p. : il. gráficos ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
No cover image available
Objektorientierte Datenhaltung für Wissensbasen unter Verwendung von B-Baumen / Ralph Meyfarth Monografia Publication München : Institut für Informatik der Technische Universitat München, 1988 Description 36 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Dynamische Dateiallokation innerhalb eines volltransparenten verteilten Dateisystems / Uwe M. Borghoff Monografia Publication München : Institut für Informatik der Technische Universitat München, 1990 Description 221 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Die explizite Losung der kinematischen Gleichung für eine Klasse von Industrierobotern / Hermann Heì Monografia Publication München : Institut für Informatik der Technische Universitat München, 1985 Description 212 p. : il. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Neue Ansatze zum Problem der Kollisionsvermeidung / H. Wendel Monografia Publication München : Institut für Informatik der Technische Universitat München, 1987 Description 103 p. : il. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Die Logiksprache Lola und ihre interne Darstellung durch Relationen / Günther Specht Monografia Publication München : Institut für Informatik der Technische Universitat München, 1989 Description 39 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Code generation phase models based on abstract machine descriptions / Robert Giegerich Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1984 Description 58 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Line-drawing on a discrete grid / Ralf Steinbrüggen Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1986 Description 40 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Relational algebraic semantics of functional programs / R. Berghammer, H. Zierer Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1985 Description 55 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Sprouts : Formalisierung eines topologischen Spiels / Joachim Draeger... [et al.] Monografia Publication München : Institut für Informatik der Technische Universitat München, 1990 Description 393 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Uniform circuits and exclusive read PRAMs / Inga Niepel, Peter Rossmanith Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 34 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Setheo-Partheo : users manual / Johann Schumann, Norbert Trapp, Martin van der Koelen Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 36 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
An adaptive poisson solver using hierarchical bases and sparse grids / Hans-Joachim Bungartz Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 21 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Splitting as a source of parallelism in disjunctive logic programs / Ulrich Furbach Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 7 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Transformation und Komposition von P-T - Netzen unter Erhaltung wesentlicher Eigenschaften / A. Heise, C. Dimitrovici Monografia Publication München : Institut für Informatik der Technische Universitat München, 1991 Description 78 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Endliche Implementierung algebraischer Spezifikationen / Michael Breu Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description IV, 144, 22 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
A simulator for VLIW architectures / G. Bockle, S. Trosch Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 50 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Modelling and performance analysis of a parallel theorem prover / M. Jobmann, J. Schumann Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 17 p. : il. gráficos ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart