|
|
Theoretical computer science / 6th Biannual GI Symposium on ... ; ed. A. B. Cremers, H. P. Kriegel
Monografia
Publication
Berlin : Springer-Verlag, cop. 1982
Description
X, 365 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
A relation algebraic approach to modal correspondences / Wolfgang Heinle
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1991
Description
32 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).
|
|
|
A linguagem de construção da base de conhecimento e interface do intelligent legal advisory system / Pedro José Areias Ribeiro de Abreu
Monografia
Publication
Braga : Universidade do Minho, 1993
Description
[215] f. ;
30 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Using MPI : portable parallel programming with the message-passing interface / William Gropp, Ewing Lusk, Anthony Skjellum
Monografia
Publication
Cambridge, Mas. : The MIT Press, imp. 1995
Description
XX, 307 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The performance of a type-insensitive runge-kutta code on a personal computer / Peter Rentrop
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1984
Description
13 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Towards a formalization of digital circuit design / Carlos Delgado Kloos
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1986
Description
157 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
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).
|
|
|
A toolbox for multigrid methods / Michael Arbesmeier, Ulrich Rüde
Monografia
Publication
München : Institut für Informatik of the Technische Universitat München, 1991
Description
41 p. :
il. gráficos ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Die Graphik-Sichtgerate : GSG-12 und GSG-15 - GSG-17 : Technische Beschreibung Benutzeranleitung Programmieranleitung / A. Raith, Th. Schneider
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1986
Description
84 p., pag. var. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Regelbasierte Synchronisation von Roboter und Maschinen in der Fertigung / Klaus Fischer
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1988
Description
58 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Simulationsmodelle für den Verkehr in Rechensystemen / Werner Pohlmann
Monografia
Publication
München : Institut für Informatik der Technische Universitat München, 1990
Description
128 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The deductive foundations of computer programming / Zohar Manna, Richard Waldinger
Monografia
Publication
Reading : Addison-Wesley, cop. 1993
Description
XIV, 717 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
Reference (1).
|
|
|
Functional programming / Anthony J. Field, Peter G. Harrison
Monografia
Publication
Wokingham : Addison-Wesley, imp. 1993
Description
XIV, 602 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Programming in C with numerical methods for engineers / K. B. Rojiani
Monografia
Publication
Upper Saddle River : Prentice-Hall International, cop. 1996
Description
XVIII, 1130 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
The mathematica programmer / Roman E. Maeder ; pref. Stephen Wolfram
Produtos Computador
Publication
Boston : AP Professional, cop. 1994
Description
XV, 199 p. :
il. ;
24 cm +
1 disquete 3ư
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (4).
Reference (2).
|
|
|
Object development methods / ed. Andy Carmichael
Monografia
Publication
New York : SIGS Books, cop. 1994
Description
XVI, 347 p. :
il. ;
23 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Mathematics of program construction / Proceedings of International Conference... ; ed. Johan Jeuring
Monografia
Publication
Berlin : Springer, 1998
Description
X, 382 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Uma aproximação à resolução do problema do caixeiro viajante via programação genética / Miguel Francisco de Almeida Pereira da Rocha
Monografia
Publication
Braga : s.n., 1997
Description
XIII, 121 f. :
il. ;
30 cm
LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
Availability
Available (3).
|