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
|
![]() |
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 |
3 |
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 |
4 |
Material Type: Livro
|
![]() |
Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 ProceedingsBörger, Egon ; Jäger, Gerhard ; Kleine Büning, Hans ; Richter, Michael M Jäger, Gerhard ; Kleine Büning, Hans ; Richter, Michael M. ; Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Computing in the 90's: The First Great Lakes Computer Science Conference Kalamazoo, Michigan, USA, October 18–20, 1989 ProceedingsSherwani, Naveed A ; Doncker, Elise de ; Kapenga, John A Sherwani, Naveed A. ; de Doncker, Elise ; Kapenga, John A.New York, NY: Springer New York 1991Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Electronic Dictionaries and Automata in Computational Linguistics: LITP Spring School on Theoretical Computer Science Saint-Pierre d'Oléron, France, May 25–29, 1987 ProceedingsGross, Maurice ; Perrin, Dominique Gross, Maurice ; Perrin, DominiqueBerlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Graph-Theoretic Concepts in Computer Science: International Workshop WG '88 Amsterdam, The Netherlands, June 15–17, 1988 ProceedingsLeeuwen, J. van van Leeuwen, J.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. ProceedingsKahle, Reinhard ; Schroeder-Heister, Peter ; Stärk, Robert Schroeder-Heister, Peter ; Kahle, Reinhard ; Stärk, RobertBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, January 24-29, 2015, ProceedingsItaliano, Giuseppe ; Margaria-Steffen, Tiziana ; Pokorny, Jaroslav ; Quisquater, Jean-Jacques ; Wattenhofer, RogerSpringer 2015Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Graph-Theoretic Concepts in Computer Science: 22nd International Workshop, WG '96 Cadenabbia, Italy, June 12–14, 1996 Proceedingsd'Amore, Fabrizio ; Franciosa, Paolo Giulio ; Marchetti-Spaccamela, Alberto d'Amore, Fabrizio ; Franciosa, Paolo Giulio ; Marchetti-Spaccamela, AlbertoBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |