Your search returned 103 results. Subscribe to this search

|
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).