Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papersAE '99 (1999 Dunkerque, France) Cyril FonluptBerlin Springer London c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1829 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Concurrent object-oriented programming and Petri nets advances in Petri netsGul A Agha; Fiorella De Cindio; Grzegorz RozenbergBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2001 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
A basis for theoretical computer scienceMichael A. Arbib (Michael Anthony) A. J Kfoury (Assaf J.) b. 1945-; Robert N MollNew York Springer-Verlag c1981Localização: IME - Inst. Matemática e Estatística (QA800 A664b )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Foundations of software technology and theoretical computer science 18th Conference, Chennai, India, December 17-19, 1998 : proceedingsV Arvind; R Ramanujam; Conference on Foundations of Software Technology and Theoretical Computer Science (18th 1998 Madras, India)Berlin Springer London c1998Localização: IME - Inst. Matemática e Estatística (S L471c v.1530 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Algorithms and theory of computation handbookMikhail J AtallahBoca Raton CRC Press c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68Q20.01 A396 e.1 )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Hierarchical Neural Networks for Image InterpretationSven BehnkeSpringer Berlin Heidelberg 2003Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Livro
|
![]() |
Systems of reductionsB. Benninghofen 1958- (Benjamin) S Kemmerich 1953- (Susanne); Michael M Richter 1938-Berlin New York Springer-Verlag c1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.277 ex.1 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable InformationCicalese, FerdinandoBerlin, Heidelberg: Springer Nature 2013Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
An introduction to data typesJ. Craig CleavelandReading, Mass. Addison-Wesley c1986Localização: IME - Inst. Matemática e Estatística (QA816 C623i )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Formal Semantics and Pragmatics for Natural Language QueryingJames CliffordCambridge Cambridge University Press 1990Acesso online. A biblioteca também possui exemplares impressos. |