Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedingsWorkshop on Computer Science Logic (1st 1987 Karlsruhe, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-Berlin Springer-Verlag New York c1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.329 ex.1 ) e outros locais(Acessar) |
|
2 |
Material Type: E-Book
|
44th Annual IEEE Symposium on Foundations of Computer Science FOCS 2003 : proceedings : 11-14 October 2003, Cambridge, Massachusettes [sic]Symposium on Foundations of Computer Science (44th 2003 Cambridge, Mass.) IEEE Computer Society. Technical Society on Foundations of Computing.; IEEE Xplore (Online service)Los Alamitos, Calif. IEEE Computer Society c2003Item não circula. Consulte sua biblioteca.(Acessar) |
|
3 |
Material Type: Livro
|
ITiCSE 2004 proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, June 28-30, 2004, Leeds, United KingdomSIGCSE Conference on Innovation and Technology in Computer Science Education (9th 2004 Leeds, United Kingdom) Roger Boyle 1954-; Martyn Clark; Amruth Kumar; Association for Computing Machinery Special Interest Group on Computer Science EducationNew York Association for Computing Machinery c2004Localização: ICMC - Inst. Ciên. Mat. Computação (v.36 n.3 2004 e.1 )(Acessar) |
|
4 |
Material Type: Livro
|
Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedingsAsian Computing Science Conference (10th 2005 Kunming Shi, China) St ephane Grumbach; Liying Sui; Victor VianuBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Proceedings of the Thirty-Seventh Technical Symposium on Computer Science Education SIGCSE 2006: Houston, Texas March 1-5, 2006ACM SIGCSE Technical Symposium on Computer Science Education (37th 2006 Houston, TX.) Association for Computing Machinery Special Interest Group on Computer Science EducationNew York, N.Y. Association for Computing Machinery c2005Localização: ICMC - Inst. Ciên. Mat. Computação (v.38 n.1 2006 e.1 )(Acessar) |
|
6 |
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. |
|
7 |
Material Type: Livro
|
Advances in computing science--ASIAN 2002 Internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing : 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002 : proceedingsAsian Computing Science Conference (7th 2002 Hanoi, Vietnam) A Jean-Marie 1943- (Alain)New York Springer 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2550 )(Acessar) |
|
8 |
Material Type: Livro
|
Advances in computing science, ASIAN '98 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998 : proceedingsAsian Computing Science Conference (4th 1998 Manila, Philippines) Jieh Hsiang 1954-; Atsushi Ohori 1957-Berlin Springer New York c1998Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1538 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Advances in computing science-ASIAN '97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 1997 : proceedingsAsian Computing Science Conference (3rd 1997 Kathmandu, Nepal) Rudrapatna Shyamasundar 1950-; Kazunori UedaBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1345 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Introduction to data technologiesPaul MurrellBoca Raton CRC Press c2009Localização: IME - Inst. Matemática e Estatística (QA856.3 M984i )(Acessar) |