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
|
![]() |
STACS 89 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, proceedingsSymposium on Theoretical Aspects of Computer Science (6th 1989 Paderborn, Germany) B Monien; Robert Cori; European Association for Theoretical Computer Science; Gesellschaft für Informatik; Association française pour la cybernétique économique et techniqueBerlin New York Springer-Verlag 1989Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.349 e.1 ) e outros locais(Acessar) |
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
|
![]() |
STACS 87 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedingsSymposium on Theoretical Aspects of Computer Science (4th 1987 Passau, Germany) F. J Brandenburg (Franz J.); G Vidal-Naquet; M Wirsing (Martin)Berlin Springer-Verlag New York c1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.247 e.1 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedingsWorkshop on Computer Science Logic (2nd 1988 Duisburg, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-Berlin New York Springer-Verlag c1989Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.385 e.1 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India December 17–19, 1987 ProceedingsNori, Kesav V Nori, Kesav V.Berlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
7 |
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 |
8 |
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 |
9 |
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 |
10 |
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 |