Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
41 |
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 |
|
42 |
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 |
|
43 |
Material Type: Artigo
|
Computer science. Science 2.0Shneiderman, BenScience (American Association for the Advancement of Science), 2008-03, Vol.319 (5868), p.1349-1350 [Periódico revisado por pares]United StatesTexto completo disponível |
|
44 |
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 |
|
45 |
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 |
|
46 |
Material Type: Livro
|
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 ProceedingsBergman, Clifford H ; Maddux, Roger D ; Pigozzi, Don L Pigozzi, Don L. ; Maddux, Roger D. ; Bergman, Clifford H.New York, NY: Springer New York 1990Texto completo disponível |
|
47 |
Material Type: Livro
|
Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. ProceedingsLomuscio, Alessio ; Nute, Donald Nute, Donald ; Lomuscio, AlessioBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
48 |
Material Type: Livro
|
Graph-Theoretic Concepts in Computer Science: 17th International Workshop, WG '91 Fischbachau, Germany, June 17–19 1991 ProceedingsSchmidt, Gunther ; Berghammer, Rudolf Schmidt, Gunther ; Berghammer, RudolfBerlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |
|
49 |
Material Type: Livro
|
Graph-Theoretic Concepts in Computer Science: 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18–20, 1992 ProceedingsMayr, Ernst W Mayr, Ernst W.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
|
50 |
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 |