Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
ABCL-- an object-oriented concurrent systemAkinori YonezawaCambridge, Mass. MIT Press c1990Localização: IME - Inst. Matemática e Estatística (QA733 Y55a )(Acessar) |
|
2 |
Material Type: Livro
|
Abstract data types their specification, representation, and usePete Thomas (Peter G.) Hugh Robinson; Judy EmmsOxford Clarendon Press New York Oxford University Press 1988Localização: IME - Inst. Matemática e Estatística (QA758 T461a )(Acessar) |
|
3 |
Material Type: Livro
|
Advanced algorithms for neural networks a C++ sourcebookTimothy MastersNew York Wiley c1995Localização: IME - Inst. Matemática e Estatística (QA860 M423a )(Acessar) |
|
4 |
Material Type: Livro
|
Advances in artificial intelligence seventh European Conference on Artificial Intelligence, ECAI-86, Brighton, U.K., July 20-25, 1986 IIEuropean Conference on Artificial Intelligence (7th 1986 Brighton, England) Ben Du Boulay; David Hogg; Luc SteelsAmsterdam New York North-Holland New York, N.Y., U.S.A. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1987Localização: IME - Inst. Matemática e Estatística (QA860.C E89a 7. )(Acessar) |
|
5 |
Material Type: Livro
|
Algebraic Specification Techniques in Object Oriented Programming EnvironmentsRuth BreuSpringer Berlin Heidelberg 1991Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Algebraic theory of processesMatthew HennessyCambridge, Mass MIT Press c1988Localização: IME - Inst. Matemática e Estatística (QA800 H515a )(Acessar) |
|
7 |
Material Type: Livro
|
Algorithms and data structuresNiklaus WirthEnglewood Cliffs, N.J. Prentice-Hall c1986Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (519.681.2 W746a e.3 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Algorithms and data structures in computer engineeringE. Stewart LeeBoston Jones and Bartlett Publishers c1992Localização: IME - Inst. Matemática e Estatística (QA758 L477a )(Acessar) |
|
9 |
Material Type: Livro
|
Animated algorithms a self-teaching course in data structures and fundamental algorithmsMichael P. Barnett Simon J BarnettNew York McGraw-Hill c1986Localização: IME - Inst. Matemática e Estatística (QA758 B261a )(Acessar) |
|
10 |
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. |