|
|
A hierarchical associative processing system / Heinrich J. Stüttgen
Monografia
Publication
Berlin : Springer-Verlag, cop. 1985
Description
XII, 273 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Control for iterative evaluation of recursive rules in deductive database systems / U. Güntzer, R. Bayer
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1985
Description
15 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Techniken zum Zusammenschlu ̀von Rechnernetzen und deren Anwendung auf Protokolle des Transportsystems / Ernst Biersack
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1988
Description
282 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Response times of a real-time system with microprogrammed operating system kernel / Theodor Tempelmeier
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985
Description
47 p. :
il. gráficos ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
Lost (1).
|
|
|
On a class of BCMP consistent integrated performance-reliability models / Eike Jessen, Olaf Schoen
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985
Description
19 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).
|
|
|
On the treatment of singularities in the multigrid method / U. Rüde, Chr. Zenger
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985
Description
11 p. :
il. gráficos ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Computer algebra : proceedings / European Computer Algebra Conference ; ed. J. A. van Hulzen
Monografia
Publication
Berlin : Springer-Verlag, 1983
Description
XII, 305 p. ;
25 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).
|
|
|
The Munich project CIP / A. Horsch... [et al.]
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1985-19--
Description
v. ;
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).
|
|
|
Ein Zuteilungsmodell für Multiprozessor-Echtzeitsysteme / Gerhard Schrott
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1986
Description
132 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Trajektorienplanung bei Handhabungssystemen / Bernhard Glavina
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1988
Description
50 p. :
il. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Deklarativ erweiterte Attributgrammatiken : Funktionale Semantik und Implementierungskonzepte / Jürgen Walter Knopp
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1990
Description
183 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The fall and rise of FP / Rafael Dueire Lins
Monografia
Publication
Braga : Departamento de Informática da Universidade do Minho, 1998
Description
101 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Generic program transformation / Oege de Moor, Ganesh Sittampalam
Monografia
Publication
Braga : Departamento de Informática da Universidade do Minho, 1998
Description
27 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
As melhores rotinas : 40 rotinas em código máquina para ZX spectrum / John Hardman, Andrew Hewson ; trad. Paulo Alexandre Monteiro
Monografia
Publication
Lisboa : Editorial Verbo, D.l. 1985
Description
171 p. :
21 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim Von Wright ; ed. David Gries, Fred B. Schneider
Monografia
Publication
New York : Springer, cop. 1998
Description
XV, 519 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
Reference (1).
|
|
|
Codes and cryptography / Dominic Welsh
Monografia
Publication
Oxford : Clarendon Press, imp. 1998
Description
IX, 257 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Automata, languages and programming / ed. Kim G. Larsen, Sven Skyum, Glynn Winskel
Monografia
Publication
Berlin : Springer, cop. 1998
Description
XVI, 932 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|