Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: E-Book
|
42nd Annual Symposium on Foundations of Computer Science proceedings : October 14-17, 2001, Las Vegas, Nevada, USASymposium on Foundations of Computer Science (42nd 2001 Las Vegas, Nev.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; IEEE Xplore (Online service)Los Alamitos, Calif. IEEE Computer Society c2001Item não circula. Consulte sua biblioteca.(Acessar) |
|
12 |
Material Type: Livro
|
40th Annual Symposium on Foundations of Computer Science October 17-19, 1999, New York City, New YorkSymposium on Foundations of Computer Science (40th : 1999 : New York) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.Los Alamitos, Calif. IEEE Computer Society Piscataway, NJ IEEE Service Center c1999Localização: IME - Inst. Matemática e Estatística (QA800.C S989 40. )(Acessar) |
|
13 |
Material Type: E-Book
|
FOCS 2004 45th Annual IEEE Symposium on Foundations of Computer Science: proceedings : 17-19 October, 2004, Rome, ItalySymposium on Foundations of Computer Science (45th 2004 Rome, Italy) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; IEEE Xplore (Online service)Los Alamitos, Calif. IEEE Computer Society c2004Item não circula. Consulte sua biblioteca.(Acessar) |
|
14 |
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) |
|
15 |
Material Type: Livro
|
33rd Annual Symposium on Foundations of Computer Science October 24-27, 1992, Pittsburg, Pennsylvania : proceedings [papers]Symposium on Foundations of Computer Science (33rd 1992 Pittsburgh, Pa.) IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingLos Alamitos, Calif. IEEE Computer Society Press 1992Localização: IME - Inst. Matemática e Estatística (QA800.C S989 33. )(Acessar) |
|
16 |
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) |
|
17 |
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) |
|
18 |
Material Type: E-Book
|
43rd Annual IEEE Symposium on Foundations of Computer Science proceedings : Vancouver, BC, Canada, 16-19 November, 2002Symposium on Foundations of Computer Science (43rd 2002 Vancouver, B.C.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; ACM Special Interest Group for Algorithms and Computation Theory.; IEEE Xplore (Online service)Los Alamitos, Calif. IEEE Computer Society c2002Item não circula. Consulte sua biblioteca.(Acessar) |
|
19 |
Material Type: Livro
|
Theoretical aspects of computer science advanced lecturesGholamreza B Khosrovshahi 1939-; Ali Shokoufandeh 1965-; Amin Shokrollahi 1964-; Summer School on Theoretical Aspects of Computer Science (1st 2000 Tehran, Iran)Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2292 ) e outros locais(Acessar) |
|
20 |
Material Type: Livro
|
Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 ProceedingsHe, Jifeng ; Sato, Masahiko Jifeng, He ; Sato, MasahikoBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |