|
|
Matrix eigensystem routines : Eispack guide extension / B. S. Garbow ... [et al.]
Monografia
Publication
Berlin : Springer-Verlag, 1977
Description
VIII, 343 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
ESEC'89 / Proceedings of 2nd European Software Engineering Conference ; ed. C. Ghezzi, J. A. McDermid
Monografia
Publication
Berlin : Springer-Verlag, 1989
Description
VI, 496 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
TAPSOFT'89 / Proceedings of the International Joint Conference... ; ed. J. Díaz, F. Orejas
Monografia
Publication
Berlin : Springer-Verlag, 1989
Description
v. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
Lost (1).
|
|
|
Advances in Petri Nets 1987 / ed. Grzegorz Rozenberg
Monografia
Publication
Berlin : Springer-Verlag, cop. 1987
Description
VI, 451 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Recent trends in data type specification / 5th Workshop... ; ed. D. Sannella, A. Tarlecki
Monografia
Publication
Berlin : Springer-Verlag, cop. 1988
Description
259 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
STACS 89 / Proceedings of 6th Annual Symposium... ; ed. B. Monien, R. Cori
Monografia
Publication
Berlin : Springer-Verlag, 1989
Description
VIII, 543 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Trends, techniques, and problems in theoretical computer science / 4th International Meeting of Young Computer Scientists ; ed. Alica Kelemenová, Jozef Kelemen
Monografia
Publication
Berlin : Springer-Verlag, 1987
Description
VI, 213 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Finite representations of CCS and TCSP programs by automata and Petri Nets / Dirk Taubner
Monografia
Publication
Berlin : Springer-Verlag, cop. 1989
Description
X, 168 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Natural language at the computer / ed. A. Blaser
Monografia
Publication
Berlin : Springer-Verlag, cop. 1988
Description
176 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Foundations of logic and functional programming / ed. M. Boscarol, L. Carlucci Aiello, G. Levi
Monografia
Publication
Berlin : Springer-Verlag, cop. 1988
Description
IV, 218 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical foundations of computer science 1990 / Proceedings of the 15th Symposium... ; ed. B. Rovan
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
VIII, 544 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in petri-nets 1985 / ed. G. Rozenberg
Monografia
Publication
Berlin : Springer-Verlag, 1986
Description
498 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Visualization in human-computer interaction / Interdisciplinary workshop on Informatics and Psychology ; ed. P. Gorny, M. J. Tauber
Monografia
Publication
Berlin : Springer-Verlag, 1990
Description
VI, 272 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Computer vision : ECCV'92 / Proceedings of European Conference... ; ed. G. Sandini
Monografia
Publication
Berlin : Springer-Verlag, 1992
Description
XV, 909 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Distributed memory computing / ed. Arndt Bode
Monografia
Publication
Berlin : Springer-Verlag, 1991
Description
XI, 504 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Distributed algoritms / 5th International Workshop... ; ed. S. Toueg, P. G. Spirakis, L. Kirouisis
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
X, 318 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Foundations of software technology and theoretical computer science : proceedings / 12th Conference... ; ed. R. Shyamasundar
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
XIII, 403 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
CAAP'92 : proceedings / 17th Colloquium on Trees in Algebra and Programming ; ed. Jean-Claude Raoult
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
VIII, 361 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
A formal model of visualization in computer graphics systems / Tamiya Onodera, Satoru Kawai
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
X, 100 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
STACS 93 : proceedings / 10th Annual Symposium... ; ed. P. Enjalbert, A. Finkel, K. W. Wagner
Monografia
Publication
Berlin : Springer-Verlag, cop. 1993
Description
XIV, 723 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|