|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
Fouriertransformation auf dünnen Gittern mit hierarchischen Basen / Christoph Zenger, Klaus Hallatschek
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1991
Description
16 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Konstruktion und Untersuchung von Differenzenoperatoren mit dem REDUCE-system / Victor G. Ganzha, Reinhard Fom̀eier
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1988
Description
24 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The design and implementation of Topsys : version 1.0 / Thomas Bemmerl... [et al.]
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1991
Description
V, 267 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
NF2UI : eine NF2-Benutzerschnittstelle für ein SQL-Datenbanksystem / Renate Hums... [et al.]
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1990
Description
II, 59 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Formalisms and languages for specifying parallel inference systems / Wolfgang Ertel... [et al.]
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1991
Description
37 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The combination technique for the sparse grid solution of PDE's on multiprocessor machines / Michael Griebel
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1991
Description
8 p. :
il. gráficos)
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Die Rolle der Lastverteilung bei der numerischen Parallelprogrammierung / R. Fom̀eier
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1990
Description
24 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Unambiguous simulations of auxiliary pushdown automata and circuits / Rolf Niedermeier, Peter Rossmanith
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1990
Description
38 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Implementierung von Algorithmen zur Kompaktifizierung von Programmen für VLIW-Architekturen / Michael Werner
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1991
Description
V, 187 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The design of distributed systems : an introduction to focus / Manfred Broy... [et al.]
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1992
Description
IV, 65 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Development and implementation of a communication protocol : an exercise in FOCUS / Claus Dendorfer, Rainer Weber
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1992
Description
26 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|