Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 31 results. Subscribe to this search

|
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
No cover image available
Zur Losung von Finite-Differenzen- und Finite-Element-Gleichungen mittels der Hierarchischen-Transformations-Mehrgitter-Methode / Michael Griebel Monografia Publication München : Institut für Informatik der Technische Universitat München, 1990 Description 123 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Topsys - tools for parallel systems / Sally Baker... [et al.] Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 310 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Funktionale modellierung eines Postsystems / Claus Dendorfer 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
On confluent semi-commutations-decidability and complexity results / V. Diekert, E. Ochmanski, K. Reinhardt Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 18 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Parallel multigrid methods on sparse grids / Michael Griebel Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 19 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Speedup analysis by hierarchical load decomposition / Eike Jessen Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 28 p. : il. gráficos ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Leistungsanalyse von verteilten Beobachtungs- und Bewertungswerkzeugen / Johannes Bauer, Thomas Bemmerl, Thomas Treml Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description III, 84 p. : il. gráficos ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Summary of case studies in Focus - a design method for distributed systems / Manfred Broy... [et al.] Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1992 Description 12 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Implementierung von Algorithmen zur Optimierung von Schleifen mit Hilfe von Software - Pipelining Techniken / Reiner Müller Monografia Publication München : Institut für Informatik der Technische Universitat München, 1991 Description 84 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
Setheo : a high-performance theorem prover / Reinhold Letz... [et al.] Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 30 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Adaptive parallele multilevel - Methoden zur Losung elliptischer Randwertprobleme / Gerhard W. Zumbusch ; mit Unterstützung von Ronald H. W. Hoppe Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 47 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Schnellere Berechnung klassischer Matrix-Multiplikationen / P. Slavkovsky, U. Rüde Monografia Publication München : Institut für Informatik der Technische Universitat München, 1990 Description 10 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart