Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991LMS Durham Symposium M. P Fourman; P. T Johnstone; A. M Pitts; Andrew M Pitts A. M. Pitts P. T. JohnstoneCambridge Cambridge University Press 1992Acesso online. A biblioteca também possui exemplares impressos. |
|
12 |
Material Type: Livro
|
Applications of discrete mathematicsJohn G Michaels; Kenneth H RosenNew York McGraw-Hill c1991Localização: IME - Inst. Matemática e Estatística (QA832.C3 M621a e.2 )(Acessar) |
|
13 |
Material Type: Livro
|
Applications of Neural NetworksAlan F. MurraySpringer US 1995Acesso online. A biblioteca também possui exemplares impressos. |
|
14 |
Material Type: Livro
|
Applications of spatial data structures computer graphics, image processing, and GISHanan SametReading, Mass. Addison-Wesley c1990Localização: IME - Inst. Matemática e Estatística (QA758 S187a )(Acessar) |
|
15 |
Material Type: Livro
|
An Approach to Knowledge Base ManagementNelson Mendonça MattosSpringer Berlin Heidelberg 1991Acesso online. A biblioteca também possui exemplares impressos. |
|
16 |
Material Type: Livro
|
Artificial intelligence & expert systems sourcebookV. Daniel HuntNew York Chapman & Hall 1986Localização: ICMC - Inst. Ciên. Mat. Computação (68T30.01 H943a e.1 ) e outros locais(Acessar) |
|
17 |
Material Type: Livro
|
Artificial neural networks concepts and theoryPankaj Mehra 1964-; Benjamin W WahLos Alamitos, Calif. IEEE Computer Society Press c1992Localização: EPBC - Esc. Politécnica-Bib Central (004.8 M474a ) e outros locais(Acessar) |
|
18 |
Material Type: Livro
|
Artificial neural networks for image understandingArun D. Kulkarni 1947-New York Van Nostrand Reinhold c1994Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.8 K959a ) e outros locais(Acessar) |
|
19 |
Material Type: Livro
|
Automata and formal languages an introductionDean KelleyEnglewood Cliffs, N.J. Prentice Hall c1995Localização: IME - Inst. Matemática e Estatística (QA804 K29a )(Acessar) |
|
20 |
Material Type: Livro
|
Automated and algorithmic debugging first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedingsInternational Workshop on Automated and Algorithmic Debugging (1st 1993 Linköping, Sweden) Peter A Fritzson 1952-Berlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.749 e.1 ) e outros locais(Acessar) |