Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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) |
|
2 |
Material Type: Livro
|
Fete of Combinatorics and Computer ScienceH. Paul Shuch Gyula O.H Katona; Alexander Schrijver; Tamás SzönyiSpringer Berlin Heidelberg 2010Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Computer science -- theory and applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedingsInternational Computer Science Symposium in Russia (2nd 2007 Ekaterinburg, Russia) Volker Diekert 1955-; Mikhail V Volkov; A Voronkov 1959- (Andreæi)Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4649 ) e outros locais(Acessar) |
|
4 |
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) |
|
5 |
Material Type: Livro
|
Quantum computer science: an introductionN. David MerminCambridge University Press 2007Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Revista
|
Scientific Annals of Computer ScienceRomania Alexandru Ioan Cuza University of IasiAcesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Pillars of computer science essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthdayB. A Trakhtenbrot (Boris Avraamovich); Arnon Avron; Nachum Dershowitz; Alexander RabinovichBerlin Springer New York c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS 4800 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
SOFSEM 2008 theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008 : proceedingsSOFSEM (Conference) (34th 2008 Novy Smokovec, Slovakia) Viliam GeffertBerlin Springer New York c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4910 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
SOFSEM 2007 theory and practice of computer science : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007 : proceedingsSOFSEM (Conference) (33rd 2007 Harrachov, Libereck y kraj, Czech Republic) J. van Leeuwen (Jan); Giuseppe Francesco Italiano; Wiebe Van Der Hoek; Christoph Meinel; Harald Sack; Frantisek PlasilBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4362 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Logical foundations of computer science international symposium, LFCS 2007, New York, NY USA June 4-7, 2007 : proceedingsLFCS 2007 (2007 New York, N.Y.) S. N Artemov; Anil Nerode 1932-Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4514 ) e outros locais(Acessar) |