Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 ProceedingsPin, J. E Pin, J. E.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
|
2 |
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 |
|
3 |
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 |
|
4 |
Material Type: Livro
|
Automata Networks: LITP Spring School on Theoretical Computer Science Argelès-Village, France, May 12–16, 1986 ProceedingsChoffrut, C Choffrut, C.Berlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
|
5 |
Material Type: Livro
|
Graph-Theoretic Concepts in Computer Science: International Workshop WG '87 Kloster Banz/Staffelstein, FRG, June 29 – July 1, 1987 ProceedingsGöttler, Herbert ; Schneider, Hana-Jürgen Schneider, Hana-Jürgen ; Göttler, HerbertBerlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
|
6 |
Material Type: Livro
|
Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India December 21–23, 1988 ProceedingsNori, Kesav V ; Kumar, Sanjeev Kumar, Sanjeev ; Nori, Kesav V.Berlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
|
7 |
Material Type: Livro
|
CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 ProceedingsBörger, Egon ; Büning, Hans Kleine ; Richter, Michael M Richter, Michael M. ; Büning, Hans Kleine ; Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
|
8 |
Material Type: Livro
|
Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 ProceedingsMaheshwari, S. N Maheshwari, S. N.Berlin, Heidelberg: Springer Berlin Heidelberg 1985Texto completo disponível |
|
9 |
Material Type: Livro
|
STACS 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985Mehlhorn, K Mehlhorn, K.Berlin, Heidelberg: Springer Berlin Heidelberg 1985Texto completo disponível |
|
10 |
Material Type: Livro
|
Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13–15, 1984 ProceedingsJoseph, Mathai ; Shyamasundar, Rudrapatna Shyamasundar, Rudrapatna ; Joseph, MathaiBerlin, Heidelberg: Springer Berlin Heidelberg 1984Texto completo disponível |