|
|
Eine Parallele zwischen Differentialgleichungen und diskreter Simulation, nebst Anwendung auf das Problem der verteilten Simulationsausführung / Werner Pohlmann
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1991
Description
15 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Parallel programming with modules / Stefan Eichholz
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985
Description
40 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Symmetric quotients / Rudolf Berghammer, Gunther Schmidt, Hans Zierer
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1986
Description
18 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Describing semantic domains with sprouts / Gunther Schmidt, Rudolf Berghammer, Hans Zierer
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1986
Description
36 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advanced matching in vision and artificial intelligence / [ed.] Silvia Pfleger, Bernd Radig
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1990
Description
195 p. :
il. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Zur numerischen Behandlung von Singularitaten in elliptischen partiellen Differentialgleichungen / Ulrich Rüde
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1988
Description
91 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Two contributions to the theory of finite replacement systems : some properties of weight-reducing presentations : on the knuth-bendix completion for concurrent processes / Volker Diekert
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1987
Description
21 p.21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Query evaluation and recursion in deductive database systems / Rudolf Bayer
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985
Description
31 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Making formal specifications readable / Herbert Ehler
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).
|
|
|
Das Textsystem Troff auf Punktraster-Druckern / Reinhard Fom̀eier
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1985
Description
36 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Programmierung mit Funktionsobjekten : Konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung / Hans Zierer
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1988
Description
159 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Stabilitatsuntersuchung von Differenzenverfahren mit Hilfe der Resultantenalgebra unter Verwendung des REDUCE-Systems / Victor G. Ganzha, Evgenii V. Vorozhtsov, Christoph Zenger
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1991
Description
23 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Zur algebraischen Charakterisierung der ganzen Zahlen / Rudolf Berghammer
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1984
Description
24 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Effiziente Algorithmen für relationale Datenbanksysteme mit Rekursion / Johannes Heigert
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1986
Description
183 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Ein spezieller Betriebssystem-Kern für Bedienerrechner / Stefan Schleipfer
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1989
Description
226 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Die Beschreibung und regelunterstützte Bereitstellung anwendungsspezifischer Protokollhierarchien für das OSI - Anwendungssystem / Peter Kaiser
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1990
Description
366 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Semantics and efficient compilation for quantitative deductive databases / Nikolaus Steger... [et al.]
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1988
Description
27 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|