Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
SOFSEM 2004: Theory and Practice of Computer Science: 30th Conference on Current Trends in Theory and Practice of Computer Science Měřín, Czech Republic, January 24-30, 2004 ProceedingsEmde Boas, Peter Van ; Pokorný, Jaroslav ; Bieliková, Mária ; Štuller, Július Van Emde Boas, Peter ; Pokorný, Jaroslav ; Bieliková, Mária ; Štuller, JúliusBerlin, Heidelberg: Springer Berlin Heidelberg 2004Texto completo disponível |
2 |
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) |
3 |
Material Type: Livro
|
![]() |
SOFSEM 2014: Theory and Practice of Computer Science: 40th International Conference on Current Trends in Theory and Practice of Computer Science,Novy Smokovec, Slovakia, January 26-29, 2014, ProceedingsGeffert, Viliam ; Preneel, Bart ; Rovan, Branislav ; Stuller, Julius ; Tjoa, A MinSpringer International Publishing 2014Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Digital Libraries in Computer Science: The MeDoc ApproachAndreas Barth Andreas Barth; Michael Breu; Albert Endres; G Goos; Arnoud de KempSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Foundations of computer scienceAlfred V. Aho Jeffrey D. Ullman 1942-New York : Computer Science Press c1995Localização: IME - Inst. Matemática e Estatística (QA758 A286f )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 1981: Proceedings, 10th Symposium Štrbské Pleso, Czechoslovakia August 31 – September 4, 1981Gruska, Jozef ; Chytil, Michal Gruska, Jozef ; Chytil, MichalBerlin, Heidelberg: Springer Berlin Heidelberg 1981Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Foundations of Software Technology and Theoretical Computer Science: 17th Conference Kharagpur, India, December 18–20, 1997 ProceedingsRamesh, S ; Sivakumar, G Ramesh, S. ; Sivakumar, GBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 1977: Proceedings, 6th Symposium, Tatranská Lomnica September 5–9, 1977Gruska, Jozef Gruska, JozefBerlin, Heidelberg: Springer Berlin Heidelberg 1977Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 1994: 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 ProceedingsPrívara, Igor ; Rovan, Branislav ; Ruzička, Peter Ruzička, Peter ; Prívara, Igor ; Rovan, BranislavBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Computer Science - Theory and Applications: 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, ProceedingsBulatov, Andrei A ; Shur, Arseny M Bulatov, Andrei A ; Shur, Arseny MNetherlands: Springer Nature 2013Texto completo disponível |