Your search returned 373 results. Subscribe to this search

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