Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
41 |
Material Type: Livro
|
Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 ProceedingsNielsen, Mogens ; Rovan, Branislav Nielsen, Mogens ; Rovan, BranislavBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
42 |
Material Type: Livro
|
Graph-Theoretic Concepts in Computer Science: 28th International Workshop, WG 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised PapersKucera, Ludek van Leeuwen, Jan ; Kučera, Luděk ; Goos, Gerhard ; Hartmanis, JurisBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
43 |
Material Type: Livro
|
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 ProceedingsBörger, Egon ; Büning, Hans Kleine ; Richter, Michael M Richter, Michael M. ; Büning, Hans Kleine ; Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
|
44 |
Material Type: Livro
|
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: 20th Conference New Delhi, India, December 13–15, 2000 ProceedingsKapoor, Sanjiv ; Prasad, Sanjiva Prasad, Sanjiva ; Kapoor, SanjivBerlin, Heidelberg: Springer Berlin Heidelberg 2000Texto completo disponível |
|
45 |
Material Type: Livro
|
Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 ProceedingsGuessarian, Irène Guessarian, IrèneBerlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |
|
46 |
Material Type: Livro
|
STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science Grenoble, France, February 22–24, 1996 ProceedingsPuech, Claude ; Reischuk, Rüdiger Puech, Claude ; Reischuk, RüdigerBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
47 |
Material Type: Livro
|
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 1995Texto completo disponível |
|
48 |
Material Type: Livro
|
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced CourseComon, Hubert ; Jounnaud, Jean-Pierre Jounnaud, Jean-Pierre ; Comon, HubertBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
49 |
Material Type: Livro
|
Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15–17, 1993 ProceedingsShyamasundar, Rudrapatna K Shyamasundar, Rudrapatna K.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
|
50 |
Material Type: Livro
|
Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected PapersBörger, E ; Jäger, G ; Kleine Büning, H ; Martini, S ; Richter, M. M Richter, M. M. ; Kleine Büning, H. ; Börger, E. ; Martini, S. ; Jäger, G.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |