Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 114 results. Subscribe to this search

|
Advanced topics in artificial intelligence / Advanced Course... ; ed. Rolf T. Nossum Monografia Publication Berlin : Springer-Verlag, cop. 1988 Description VI, 233 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Software engineering education / proceedings of CSEE '90 ; ed. Lionel E. Deimel Monografia Publication New York : Springer-Verlag, 1990 Description VI, 164 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
PARLE '92 : parallel architectures and languages europe : proceedings / International PARLE... ; ed. D. Etiemble, J.-C. Syre Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description XVII, 984 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Dynamic logic : new trends and applications : Second International Workshop... / ed. Luís Soares Barbosa, Alexandru Baltag Monografia Publication Cham : Springer, cop. 2020 Description X, 226, [1] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Mathematical methods of specification and synthesis of software systems'85 / ed. W. Bibel, K. P. Jantke Monografia Publication Berlin : Springer-Verlag, cop. 1986 Description 245 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Add to cart
ESOP'88 / 2nd European Symposium Programming ; ed. H. Ganzinger Monografia Publication Berlin : Springer-Verlag, cop. 1988 Description VI, 379 p. : il ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
ESOP'92 : proceedings / 4th European Symposium... ; ed. B. Krieg-Brückner Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description VIII, 491 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
ESEC'87 : proceedings / ed. H. K. Nichols, D. Simpson Monografia Publication Berlin : Springer-Verlag, 1987 Description XII, 404 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
TAPSOFT'87 / Proceedings of the International Joint Conference... Monografia Publication Berlin : Springer-Verlag, 1987-19-- Description v. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Add to cart
No cover image available
PARLE'89 : parallel architectures and languages europe / Proceedings of PARLE Conference ; ed. E. Odijk, M. Rem, J. C. Syre Monografia Publication Berlin : Springer-Verlag, 1989 Description 2 v. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Lost (1).

Place hold Add to cart
Advanced information system engineering - CAISE'90 / Second Nordic Conference... ; ed. B. Steinholtz, A. Solvberg, L. Bergman Monografia Publication Berlin : Springer-Verlag, 1990 Description IX, 392 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Progress in distributed operating systems and distributed systems management / European Workshop... ; ed. W. Schroder-Preikschat, W. Zimmer Monografia Publication Berlin : Springer-Verlag, 1990 Description VI, 205 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
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).

Place hold Add to cart
ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday / ed. Joost-Pieter Katoen, Rom Langerak, Arend Rensink Monografia Publication Cham : Springer, cop. 2017 Description XII, 389, [1] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart