Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
41 |
Material Type: Livro
|
Mathematical foundations of computer science 2002 27th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedingsSymposium on Mathematical Foundations of Computer Science (1972- ) (27th 2002 Warsaw, Poland) Krzysztof Diks 1956-; Wojciech RytterBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2420 ) e outros locais(Acessar) |
|
42 |
Material Type: Livro
|
Foundations of software technology and theoretical computer science 18th Conference, Chennai, India, December 17-19, 1998 : proceedingsV Arvind; R Ramanujam; Conference on Foundations of Software Technology and Theoretical Computer Science (18th 1998 Madras, India)Berlin Springer London c1998Localização: IME - Inst. Matemática e Estatística (S L471c v.1530 )(Acessar) |
|
43 |
Material Type: Livro
|
STACS 97 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedingsSymposium on Theoretical Aspects of Computer Science (14th 1997 Lübeck, Germany) Rüdiger Reischuk; Michel MorvanBerlin Springer New York c1997Localização: IME - Inst. Matemática e Estatística (S L471c v.1200 )(Acessar) |
|
44 |
Material Type: Livro
|
SCCC'99 XIX International Conference of the Chilean Computer Science Society : proceedings : November 11-13, 1999, Talca, ChileSociedad Chilena de Ciencia de la Computación Conferencia Internacional 1999 Talca, Chile) IEEE Computer SocietyLos Alamitos, Calif. IEEE Computer Society Press 1999Acesso online. A biblioteca também possui exemplares impressos. |
|
45 |
Material Type: Livro
|
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedingsSymposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France) Horst Reichel; Sophie TisonBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1770 e.1 )(Acessar) |
|
46 |
Material Type: Livro
|
STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedingsSymposium on Theoretical Aspects of Computer Science (16th 1999 Trier, Germany) Christoph Meinel 1954-; Sophie TisonBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1563 )(Acessar) |
|
47 |
Material Type: Livro
|
Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papersWorkshop on Computer Science Logic (6th 1992 San Miniato, Italy) E Börger 1946- (Egon)Berlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.702 e.1 ) e outros locais(Acessar) |
|
48 |
Material Type: Livro
|
Mathematical foundations of computer science 2003 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedingsSymposium on Mathematical Foundations of Computer Science (1972- ) (28th 2003 Bratislava, Slovakia) B Rovan (Branislav); Peter VojtáésBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2747 )(Acessar) |
|
49 |
Material Type: Livro
|
Computer science a modern introductionL. Goldschlager (Les), 1951- A. M Lister (Andrew) 1945-Englewood Cliffs, N.J. Prentice/Hall International c1982Localização: IME - Inst. Matemática e Estatística (QA724 G623c )(Acessar) |
|
50 |
Material Type: Livro
|
Mathematical foundations of computer science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 : proceedingsInternational Symposium on the Mathematical Foundations of Computer Science (23rd 1998 Brno, Czech Republic) Jiérí Zlatuéska; Luboés Brim; Jozef GruskaBerlin New York Springer Verlag c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1450 ) e outros locais(Acessar) |