Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedingsSymposium on Theoretical Aspects of Computer Science (24th 2007 Aachen, Germany) Wolfgang Thomas 1947-; Pascal WeilBerlin Springer New York c2007Localização: EPBC - Esc. Politécnica-Bib Central (004 St12 2007 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science Stuttgart, Germany, February 24-26, 2005 : proceedingsSymposium on Theoretical Aspects of Computer Science (22nd 2005 Stuttgart, Germany) Volker Diekert 1955; Bruno DurandBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science Montpellier, France, March 25-27, 2004 : proceedingsSymposium on Theoretical Aspects of Computer Science (21st 2004 Montpellier, France) Volker Diekert 1955; M Habib (Michel)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Mathematical foundations of computer science 2007 32nd international symposium, MFCS 2007, Cesk y Krumlov, Czech Republic August 26-31, 2007 : proceedingsSymposium on Mathematical Foundations of Computer Science (1972- ) (32nd 2007 Cesk y Krumlov, Czech Republic) Lud ek Ku cera; A Ku cera (Anton in)Berlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4708 ) e outros locais(Acessar) |
|
5 |
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) |
|
6 |
Material Type: Livro
|
Fundamentals of computation theory 16th international symposium, FCT 2007, Budapest Hungary, August 27-30, 2007 : proceedingsFCT 2007 (2007 Budapest, Hungary) E Csuhaj-Varjú; Zoltán Ésik 1951-Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS 4639 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
FST TCS 2001, Foundations of Software Technology and Theoretical Computer Science 21st conference, Bangalore, India, December 13-15, 2001 : proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (21th 2001 Bangalore, India) Ramesh Hariharan; Madhavan Mukund; V VinayBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2245 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Computational science -- ICCS 2007 7th international conference, Beijing, China, May 27-30, 2007 : proceedingsICCS 2007 (2007 Beijing, China) Geert Dick van Albada; Jack Dongarra; Peter M. A Sloot; Yong Shi 1956Berlin Springer c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4490 p.4 )(Acessar) |
|
9 |
Material Type: Livro
|
Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedingsS Ramesh; G Sivakumar; Conference on Software Technology and Theoretical Computer Science Kharagpur, India) 1997; Conference on Foundations of Software Technology and Theoretical Computer Science (17. 1997 Kharagpur, IN)Berlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1346 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Latin 2002 theoretical informatics : 5th Latin American symposium, Cancun, Mexico, April 3-6, 2002 : proceedingsLatin American Symposium on Theoretical Informatics (5th 2002 Cancun, Mexico) Sergio RajsbaumBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2286 ) e outros locais(Acessar) |