|
|
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).
|
|
|
Engineering trustworthy software systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / ed. Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Monografia
Publication
[Cham] : Springer, cop. 2017
Description
[XVI], 257, [1] p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Relational and algebraic methods in computer science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28-October 1, 2015 : proceedings / ed. Wolfram Kahl, Michael Winter, José N. Oliveira
Monografia
Publication
Cham : Springer, cop. 2015
Description
X, 394, [1] p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Intelligent Data Engineering and Automated Learning - IDEAL 2020 : 21st International Conference, Guimaraes, Portugal, November 4-6, 2020 : proceedings / edited by Cesar Analide... [et al.]
Monografia
Publication
Cham : Springer, 2020
Description
2 v. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (6).
|
|
|
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).
|