Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Genetic programming 8th European conference, EuroGP 2005 Lausanne, Switzerland, March 30-April 1, 2005 proceedingsEuroGP 2005 (2005 Lausanne, Switzerland) Andrea Giovanni Battista Tettamanzi; Pierre Collet; Jano Van Hemert; Marco Tomassini 1949-; M Keijzer (Maarten); LINK (Online service)Berlin Springer Great Britain c2005Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Applications of evolutionary computing EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART and EvoSTOC, Coimbra, Portugal, April 5-7, 2004 ; proceedingsEvoWorkshops 2004 (2004 Coimbra, Portugal) G unther Raidl; LINK (Online service)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Transactions on rough sets IIIAndrzej Skowron; James F Peters; LINK (Online service)Berlin Springer Great Britain c2005Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Teaching formal methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedingsTFM 2004 (2004 Ghent, Belgium) Neville Dean; R. T Boute (Raymond T.); LINK (Online service)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Applied cryptography and network security second international conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004 : proceedingsACNS 2004 (2004 Huang Shan, China) Markus Jakobsson; Moti Yung; Jianying Zhou; LINK (Online service)Berlin Springer-Verlag New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
6 |
![]() ![]() ![]() Material Type: Livro
|
![]() |
High performance embedded architectures and compilers second international conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007 : proceedingsHiPEAC 2007 (2007 Ghent, Belgium) David Kaeli; Per Stenström; David Whalley; Theo Ungerer 1954-; Koen de Bosschere; LINK (Online service)Berlin Springer New York c2007Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Livro
|
![]() |
Inconsistency toleranceLeopoldo Bertossi; Anthony Hunter 1962; Torsten Schaub; LINK (Online service)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
Service availability first International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004 : revised selected papersInternational Service Availability Symposium Miroslaw Malek; Manfred Reitenspiess; Jörg Kaiser; LINK (Online service)Berlin Springer-Verlag c2005Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Livro
|
![]() |
ZB 2005 formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 proceedingsInternational Conference of B and Z Users (4th 2005 Guildford, England) Steve King; Martin Henson; Steve Schneider; Helen Treharne; LINK (Online service)Berlin Springer London 2005Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
Theoretical aspects of computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004 : revised selected papersICTAC 2004 (2004 Guiyang Shi, China) Keijir o Araki 1954; Zhiming Liu 1961; LINK (Online service); ICTAC 2004 (1st 2004 Guiyang, China)Berlin Springer Great Britain c2005Acesso online. A biblioteca também possui exemplares impressos. |