|
|
Foundations of software technology and theoretical computer science / Proceedings of the Seventh Conference... ; ed. Kesav V. Nori
Monografia
Publication
Berlin : Springer-Verlag, cop. 1987
Description
IX, 539 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Research and advanced technology for digital libraries : proceedings / 3rd European Conference ; ed. Serge Abiteboul, Anne-Marie Vercoustre
Monografia
Publication
Berlin : Springer, 1999
Description
XI, 494 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
A collection of test problems for constrained global optimization algorithms / C. A. Floudas, P. M. Pardalos
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
XIV, 180 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
STACS 88 / Proceedings of the Annual Symposium... ; ed. R. Cori, M. Wirsing
Monografia
Publication
Berlin : Springer-Verlag, cop. 1988
Description
IX, 404 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Research and advanced technology for digital libraries : proceedings / 4th European Conference ; ed. José Borbinha, Thomas Baker
Monografia
Publication
Berlin : Springer, 2000
Description
XVII, 513 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
STACS 87 / Proceedings of the Annual Symposium... ; ed. F. J. Brandenburg, G. Vidal-Naquet, M. Wirsing
Monografia
Publication
Berlin : Springer-Verlag, cop. 1987
Description
X, 483 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in intelligent data analysis : reasoning about data : proceedings / Second International Symposium ; ed. Xiaohui Liu, Paul Cohen, Michel Berthold
Monografia
Publication
Berlin : Springer, 1997
Description
XII, 620 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Lectures on embedded systems / ed. Grzegorz Rozenberg, Frits Vaandrager
Monografia
Publication
Berlin : Springer, cop. 1998
Description
VIII, 421 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Community computing and support systems : social interaction in networked communities / ed. Toru Ishida
Monografia
Publication
Berlin : Springer, cop. 1998
Description
VII, 391 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Algorithmics of large and complex networks : design, analysis, and simulation / ed. Jürgen Lerner, Dorothea Wagner, Katharina A. Zweig
Monografia
Publication
Berlin : Springer, cop. 2009
Description
X, 400 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Algebraic and coalgebraic methods in the mathematics for program construction : International summer school and workshop / ed. Roland Backhouse, Roy Crole, Jeremy Gibbons
Monografia
Publication
Berlin : Springer, cop. 2002
Description
XIV, 385 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|