|
|
Simulated evolution and learning : selected papers ; ed. Xin Yao, Jong-Hwan Kim, Takeshi Furuhashi
Monografia
Publication
Berlin : Springer, cop. 1997
Description
VIII, 231 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Foundations of software science and computation structures : proceedings / Third International Conference, FOSSACS 2000 ; ed. Jerzy Tiuryn
Monografia
Publication
Berlin : Springer, cop. 2000
Description
X, 390 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Fundamental approaches to software engineering : proceedings / Third International Conference... ; ed. Tom Maibaum
Monografia
Publication
Berlin : Springer, cop. 2000
Description
XIII, 374 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Software process technology : proceedings / 4th European Workshop... ; ed. Wilhelm Schäfer
Monografia
Publication
Berlin : Springer, cop. 1995
Description
IX, 259 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Integer programming and combinatorial optimization : proceedings / 8th International IPCO Conference ; ed. Karen Aardal, Bert Gerards
Monografia
Publication
Berlin : Springer, cop. 2001
Description
XI, 421 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Electronic government : 15th IFIP WG 8.5 International Conference, egov 2016 : proceedings / ed. Hans Jochen Scholl...[et al.]
Monografia
Publication
Cham : Springer, cop. 2016
Description
XV, 311 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Euro-Par 2014 : parallel processing : proceedings / 20th International Conference ; ed. Fernando Silva, Inês Dutra, Vítor Santos Costa
Monografia
Publication
Cham : Springer International Publishing, 2014
Description
XLIII, 827 p. :
il.
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Replication : theory and practice / ed. Bernadette Charron-Bost, Fernando Pedone, André Schiper
Monografia
Publication
Berlin : Springer, cop. 2010
Description
XV, 290 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Spatial information theory : a theoretical basics for GIS : proceedings / International Conference COSIT'95 ; ed. Andrew U. Frank, Werner Kuhn
Monografia
Publication
Berlin : Springer, cop. 1995
Description
XIII, 568 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Formal hardware verification : methods and systems in comparison / ed. Thomas Kropf
Monografia
Publication
Berlin : Springer-Verlag, cop. 1997
Description
XII, 367 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Trends in distributed systems : towards a universal service market : proceedings / Third International IFIP-GI Conference... ; ed. Claudia Linnhoff Popien, Heinz-Gerard Hegering
Monografia
Publication
Springer : Berlin, 2000
Description
XI, 339 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Language engineering and rigorous software development / International LerNet ALFA Summer School 2008 / edited by Ana Bove... [et al.]
Monografia
Publication
Berlin : Springer, 2009
Description
VI, 300 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
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).
|
|
|
RIMS symposia on software science and engineering II / ed. Eiichi Goto, Keijiro Araki, Taiichi Yuasa
Monografia
Publication
Berlin : Springer-Verlag, cop. 1986
Description
X, 323 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
SWAT 90 / ed. J. R. Gilbert, R. Karlsson
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
VI, 417 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
CONPAR 90-VAPP IV / Proceedings of the Joint International Conference... ; ed. H. Burkhart
Monografia
Publication
Berlin : Springer-Verlag, 1990
Description
XI, 900 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematical foundations of computer science / Proceedings of Symposium... ; ed. A. Kreczmar, G. Mirkowska
Monografia
Publication
Berlin : Springer-Verlag, 1989
Description
VIII, 605 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Advances in cryptology - AUSCRYPT'90 / Proceedings of the International Conference... ; ed. J. Seberry, J. Pieprzyk
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
IX, 462 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
ECOOP'88 : proceedings / ed. S. Gjessing, K. Nygaard
Monografia
Publication
Berlin : Springer-Verlag, 1988
Description
VI, 410 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Third international conference on logic programming / Proceedings... ; ed. Ehud Shapiro
Monografia
Publication
Berlin : Springer-Verlag, cop. 1986
Description
IX, 719 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|