Your search returned 449 results. Subscribe to this search

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