Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
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 |
12 |
Material Type: Livro
|
![]() |
Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques: 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001 Berkeley, CA, USA, August 18–20, 2001 ProceedingsGoemans, Michel ; Jansen, Klaus ; Rolim, José D. P ; Trevisan, Luca Rolim, José D. P. ; Jansen, Klaus ; Goemans, Michel ; Trevisan, LucaBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
13 |
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 |
14 |
Material Type: Livro
|
![]() |
STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 ProceedingsCori, Robert ; Wirsing, Martin Wirsing, Martin ; Cori, RobertBerlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
15 |
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 |
16 |
Material Type: Livro
|
![]() |
Graph-Theoretic Concepts in Computer Science: 15th International Workshop WG '89 Castle Rolduc, The Netherlands, June 14–16, 1989 ProceedingsNagl, Manfred Nagl, ManfredBerlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |
17 |
Material Type: Livro
|
![]() |
Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18–20, 1986 ProceedingsNori, Kesav V Nori, Kesav V.Berlin, Heidelberg: Springer Berlin Heidelberg 1986Texto completo disponível |
18 |
Material Type: Livro
|
![]() |
STACS 94: 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 ProceedingsEnjalbert, Patrice ; Mayr, Ernst W ; Wagner, Klaus W Enjalbert, Patrice ; Wagner, Klaus W. ; Mayr, Ernst W.Berlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
19 |
Material Type: Livro
|
![]() |
Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 ProceedingsMeyer, Albert R ; Taitslin, Michael A Taitslin, Michael A. ; Meyer, Albert R.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
20 |
Material Type: Livro
|
![]() |
Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA Paris, France, December 8–11, 1992 ProceedingsBensoussan, A ; Verjus, J. -P Bensoussan, A. ; Verjus, J. -P.Berlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |