1
Material Type:
Livro
Foundations of software science and computation structures 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
FOSSACS 2001 (2001 Genoa, Italy ) Furio Honsell; Marino Miculan; ETAPS 2001 (2001 Genoa, Italy )
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2030 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Applications of evolutionary computing EvoWorkshops 2001 : EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 : proceedings
EvoWorkshops (2001 Como, Italy ) Egbert J. W Boers
Berlin Springer New York 2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2037 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Computer security, ESORICS 96 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings
European Symposium on Research in Computer Security (4th 1996 Rome, Italy ) Elisa Bertino
Berlin Springer New York 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1146 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Automatic interpretation and classification of images; a NATO Advanced Study Institute
NATO Advanced Study Institute (1968 Pisa, Italy ) A Grasselli 1931- (Antonio)
New York Academic Press 1969
Localização:
IME - Inst. Matemática e Estatística
(QA862.C G768a e.2 ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Genetic programming 4th European conference, EuroGP 2001, Lake Como, Italy, April 18-20, 2001 : proceedings
EuroGP 2001 (2001 Como, Lake, Italy ) Julian Miller (Julian F.)
Berlin Springer New York 2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2038 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Design and implementation of optimization software
NATO Advanced Study Institute on Design and Implementation of Optimization Software (1977 Urbino, Italy ) Harvey J Greenberg
Alphen aan den Rijn Sijthoff & Noordhoff International Publishers 1978
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.50 N279di 1977 e.1 ) (Acessar)
This feature requires javascript
7
Material Type:
Livro
Concur'96 concurrency theory : proceedings [of the] 7th international conference, held in Pisa, Italy, august 26-29, 1996
International Conference on Concurrency Theory (7. 1996 Pisa, Italy ) Ugo Montanari; Vladimiro Sassone
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1119 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Distributed algorithms proceedings [of the] 10th international workshop, WDAG'96, held in Bologna, Italy, october 9-11, 1996
International Workshop on Distributed Algorithms (10. 1996 Bologna, Italy ) Ozalp Babaiglu; Keith Marzullo
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1151 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
Computational intelligence, II proceedings of the International Symposium "Computational Intelligence 89", Milan, Italy, 25-27 September 1989
International Symposium "Computational Intelligence 89" (1989 Milan, Italy ) Francesco Gardin; Giancarlo Mauri
Amsterdam North-Holland 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68T20.01 C738 1989 e.1 ) (Acessar)
This feature requires javascript
10
Material Type:
Livro
Computer aided verification 11th International Conference, CAV'99, Trento, Italy, july 6-10, 1999 ; proceedings
International Conference on Computer-Aided Verification, CAV'99 (11th 1999 Trento, Italy ) Nicolas Halbwachs; Doron Peled 1962-
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1633 ) e outros locais(Acessar)
This feature requires javascript