|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
User manual for the CIP-system-prototype / Hans-Otto Riethmayer, Friedrich Erhard, Herbert Ehler
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985
Description
75 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Jump interpolation search trees and symmetric binary numbers / U. Güntzer, M. Paul
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).
|
|
|
Spezifikation von Kommunikationsprotokollen auf der Basis attributierter Grammatiken / Otto Haas
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1985
Description
84 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|