|
|
|
Logic of programs / ed. Erwin Engeler
Monografia
Publication
Berlin : Springer-Verlag, 1981
Description
245 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
|
Coroutines / Christopher D. Marlin
Monografia
Publication
Berlin : Springer-Verlag, 1980
Description
XII, 246 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
|
CLU : reference manual / Barbara Liskov... [et al.]
Monografia
Publication
Berlin : Springer-Verlag, 1981
Description
VIII, 190 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
|
Algebraic semantics / Irène Guessarian
Monografia
Publication
Berlin : Springer-Verlag, 1981
Description
VIII, 158 p. ;
25 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).
|
|
|
|
Theoretical computer science / 5th GI Conference ; ed. Peter Deussen
Monografia
Publication
Berlin : Springer-Verlag, 1981
Description
VII, 260 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
|
Computer science today : recent trends and developments / ed. Jan van Leeuwen
Monografia
Publication
Berlin : Springer-Verlag, cop. 1995
Description
XIII, 641 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).
|
|
|
|
Computer programs for spelling correction : an experiment in program design / James L. Peterson
Monografia
Publication
Berlin : Springer-Verlag, 1980
Description
VI, 213 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).
|
|
|
|
Axiomatising the logic of computer programming / Robert Goldblatt
Monografia
Publication
Berlin : Springer-Verlag, 1982
Description
XI, 304 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
|
Categorical methods in computer science : with aspects from topology / International Workshop... ; ed. H. Ehrig... [et al.]
Monografia
Publication
Berlin : Springer-Verlag, cop. 1989
Description
VI, 350 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
|
Mathematical foundations of computer science 1992 : proceedings / 17th International Symposium... ; ed. I. M. Havel, V. Koubek
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
IX, 521 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
|
Eurocal'85 / European Conference on Computer Algebra ; ed. Bruno Buchberger
Monografia
Publication
Berlin : Springer-Verlag, cop. 1985
Description
IV, 233 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
|
Computer aided design modelling, systems engineering, CAD-Systems / ed. J. Encarnação
Monografia
Publication
Berlin : Springer-Verlag, 1980
Description
XIV, 459 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
|
Reliability evaluation of some fault-tolerant computer architectures / Shunji Osaki, Toshihiko Nishio
Monografia
Publication
Berlin : Springer-Verlag, 1980
Description
VI, 129 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).
|
|
|
|
Algorithms in modern mathematics and computer science : proceedings / International Symposium... ; ed. A. P. Ershov, D. E. Knuth
Monografia
Publication
Berlin : Springer-Verlag, 1981
Description
XI, 487 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
|
Constructivity in computer science : proceedings / Summer Symposium... ; ed. J. P. Myers, Jr., M. J. O'Donnell
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
X, 246 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
|
Graphtheoretic concepts in computer science : proceedings / International Workshop... ; ed. Hartmut Noltemeier
Monografia
Publication
Berlin : Springer-Verlag, cop. 1981
Description
X, 403 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|