Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Basic category theory for computer scientistsBenjamin C. PierceCambridge, Mass. MIT Press c1991Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004 P611b )(Acessar) |
|
2 |
Material Type: Livro
|
Dictionary of computer science, engineering, and technologyPhillip A Laplante edBoca Raton, Flor. CRC Press c2001Localização: ICMC - Inst. Ciên. Mat. Computação (R D554 e.1 )(Acessar) |
|
3 |
Material Type: Livro
|
Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedingsInternational Workshop on Deontic Logic in Computer Science (8th 2006 Utrecht, Netherlands) Lou Goble; John-Jules Ch MeyerBerlin Springer-Verlag New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4048 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
ACM Turing Award lectures the first twenty years, 1966 to 1985New York ACM Press Reading, Mass Addison-Wesley Pub. Co 1987Localização: IME - Inst. Matemática e Estatística IMRE SIMON (CIS QA714.4.C3 A184 )(Acessar) |
|
5 |
Material Type: Livro
|
From computer literacy to informatics fundamentals International Conference on Informatics in Secondary Schools--Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30 - April 1, 2005 : proceedingsInternational Conference on Informatics in Secondary Schools, Evolution and Perspectives (2005 Klagenfurt, Austria) Roland MittermeirBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
The New hacker's dictionaryEric S Raymond; Guy L Steele 1954-Cambridge, Mass. MIT Press c1991Localização: IME - Inst. Matemática e Estatística (REF. QA700.15.I R268n )(Acessar) |
|
7 |
Material Type: Livro
|
Advances in computer science--ASIAN 2004 higher-level decision making : 9th Asian Computing Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedingsAsian Computing Science Conference (9th 2004 Chiang Mai, Thailand) Michael Maher 1959-; Jean-Louis LassezBerlin Springer-Verlag New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Frontiers of combining systems 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedingsFroCoS 2005 (2005 Vienna, Austria) Bernhard GramlichBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Encyclopedia of computer scienceAnthony Ralston; Edwin D Reilly; David HemmendingerChichester Wiley 2003Localização: IME - Inst. Matemática e Estatística (REF. QA700.15.I R164e 4.ed. )(Acessar) |
|
10 |
Material Type: Livro
|
Observing the User Experience: A Practitioner's Guide to User ResearchKuniavsky, MikeSan Diego: Elsevier Science & Technology 2003Texto completo disponível |