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
|
SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Novy Smokovec, Slovakia, January 15-18, 2023, ProceedingsGasieniec, LeszekSpringer International Publishing 2022Sem texto completo |
|
3 |
Material Type: Livro
|
Computer Science - Theory and Applications: 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 - July 1, 2022, ProceedingsKulikov, Alexander S ; Raskhodnikova, SofyaCham: Springer International Publishing AG 2022Sem texto completo |
|
4 |
Material Type: Livro
|
Computer Science - Theory and Applications: 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021, ProceedingsSanthanam, Rahul ; Musatov, Daniil Santhanam, Rahul ; Musatov, DaniilNetherlands: Springer Nature 2021Sem texto completo |
|
5 |
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. |
|
6 |
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) |
|
7 |
Material Type: Livro
|
Computer Science - CACIC 2022: 28th Argentine Congress, CACIC 2022, la Rioja, Argentina, October 3-6, 2022, Revised Selected PapersPesado, Patricia Pesado, PatriciaCham: Springer 2023Sem texto completo |
|
8 |
Material Type: Livro
|
SOFSEM 2024: Theory and Practice of Computer Science: 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, ProceedingsFernau, Henning ; Gaspers, Serge ; Klasing, RalfSpringer 2024Sem texto completo |
|
9 |
Material Type: Livro
|
Computer Science and Education. Computer Science and Technology: 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part IHong, Wenxing ; Kanaparan, GeethaSingapore: Springer 2024Sem texto completo |
|
10 |
Material Type: Livro
|
Computer Science and Education in Computer Science: 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, ProceedingsZlateva, Tanya ; Tuparov, GeorgiCham: Springer 2023Sem texto completo |