Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book
|
![]() |
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 2014Full text available |
2 |
Material Type: Book
|
![]() |
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 2015Full text available |
3 |
Material Type: Book
|
![]() |
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 1989Full text available |
4 |
Material Type: Book
|
![]() |
Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5–9, 1990 ProceedingsEhrig, Hartmut ; Kreowski, Hans-Jörg ; Rozenberg, Grzegorz Rozenberg, Grzegorz ; Kreowski, Hans-Jörg ; Ehrig, HartmutBerlin, Heidelberg: Springer Berlin Heidelberg 1991Full text available |
5 |
Material Type: Book
|
![]() |
Active Media Technology: 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001. ProceedingsLiu, Jiming ; Yuen, Pong C ; Li, Chung-hung ; Ng, Joseph ; Ishida, Toru Ng, Joseph ; Li, Chun-hung ; Liu, Jiming ; Yuen, Pong C. ; Ishida, ToruBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Full text available |
6 |
Material Type: Book
|
![]() |
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 1991Full text available |
7 |
Material Type: Book
|
![]() |
Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected PapersBörger, Egon ; Gurevich, Yuri ; Meinke, Karl Gurevich, Yuri ; Meinke, Karl ; Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1994Full text available |
8 |
Material Type: Book
|
![]() |
Artificial Intelligence and Cognitive Science: 30th Irish Conference, AICS 2022, Munster, Ireland, December 8–9, 2022, Revised Selected PapersO’Reilly, Ruairi ; Longo, LucaCham: Springer Nature 2023Full text available |
9 |
Material Type: Book
|
![]() |
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected PapersPacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, JerzyBerlin, Heidelberg: Springer Berlin Heidelberg 1995Full text available |
10 |
Material Type: Book
|
![]() |
SOFSEM 2016: Theory and Practice of Computer Science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, ProceedingsFreivalds, Rusins Martins ; Engels, Gregor ; Catania, Barbara Engels, Gregor ; Catania, Barbara ; Freivalds, Rūsiņ' Mārtiņ'Netherlands: Springer Nature 2016Full text available |