Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
21 |
Material Type: Livro
|
![]() |
Visual Languages and ApplicationsIchikawa Erland Jungert; Robert R KorfhageSpringer US 1990Acesso online. A biblioteca também possui exemplares impressos. |
22 |
Material Type: Livro
|
![]() |
Lecture Notes on Bucket AlgorithmsDevroyeBirkhäuser Boston 1986Acesso online. A biblioteca também possui exemplares impressos. |
23 |
Material Type: Livro
|
![]() |
Introduction to Cryptography with MapleJosâe Luis Gâomez Pardo José Luis Gómez PardoDordrecht Springer Berlin Heidelberg 2013Acesso online. A biblioteca também possui exemplares impressos. |
24 |
Material Type: Livro
|
![]() |
Illustrating Evolutionary Computation with MathematicaChristian JacobAcademic Press 2001Acesso online. A biblioteca também possui exemplares impressos. |
25 |
Material Type: Livro
|
![]() |
Challenges for Action TheoriesMichael ThielscherSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
26 |
Material Type: Livro
|
![]() |
Discrete mathematicsS. K. Chakraborty (Swapan Kumar) B. K Sarkar (Bikash Kanti)New Delhi Oxford University Press New York 2011Localização: IME - Inst. Matemática e Estatística (QA830 C435d )(Acessar) |
27 |
Material Type: Livro
|
![]() |
Developing expert systems a knowledge engineer's handbook for rules & objectsEdmund C. Payne Robert C McArthurNew York Wiley c1990Localização: IME - Inst. Matemática e Estatística (QA860 P346d ) e outros locais(Acessar) |
28 |
Material Type: Livro
|
![]() |
A guide to expert systemsD. A. Waterman 1936- (Donald Arthur)Reading, Mass. Addison-Wesley c1986Localização: EERP - Esc. Enfermagem Ribeirão Preto (681.3.06 W328g ) e outros locais(Acessar) |
29 |
Material Type: Livro
|
![]() |
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedingsWorld Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1709 e.1 ) e outros locais(Acessar) |
30 |
Material Type: Livro
|
![]() |
Knowledge coordinationFlávio Soares Corrêa da Silva Jaume Agustí CullellChichester Wiley c2003Localização: IME - Inst. Matemática e Estatística (QA860 S586k ) e outros locais(Acessar) |