Your search returned 449 results. Subscribe to this search

|
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).