1
|
Material Type: Livro
|
|
Foundations of computation theory proceedings
International Conference on Fundamentals of Computation Theory (4. 1983 Borgholm) Marek Karpinski
Berlin Springer 1983
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.158 )(Acessar)
|
2
|
Material Type: Livro
|
|
Theoretical computer science
Theoretical Computer Science Conference, 6., Dortmund, 1983 Armin B Cremers; Hans Peter Kriegel
Berlin Springer 1982
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.145 )(Acessar)
|
3
|
Material Type: Livro
|
|
Theoretical computer science
Theoretical Computer Science Conference, 5., Karlsruhe, 1981 Peter Deussen
Berlin Springer 1981
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.104 )(Acessar)
|
4
|
Material Type: Livro
|
|
Automata, languages and programming papers
Colloquium on Automata, Languages and Programming (8. 1981 Acre) Shinon Even; Oded Kariv
Berlin Springer 1981
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.115 )(Acessar)
|
5
|
Material Type: Livro
|
|
Mathematical foundations of computer science proceedings
Symposium on Mathematical Foundations of ComputerScience (9. 1980 Rydzyna) P Dembinski
Berlin Springer 1980
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.88 ) e outros locais(Acessar)
|
6
|
Material Type: Livro
|
|
Fundamentals of computation theory proceedings
International Conference on Fundamentals of Computation Theory, 3., Szeged, 1981 F Gecseg
Berlin Springer 1981
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.117 )(Acessar)
|
7
|
Material Type: Livro
|
|
Mathematical foundations of computer science proceedings
Symposium on Mathematical Foundations of ComputerScience, 10., Strbske Pleso, 1981 Michal Chytil; Jozef Gruska
Berlin Springer 1981
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.118 )(Acessar)
|
8
|
Material Type: Livro
|
|
Automata, languages and programming papers
Colloquium on Automata, Languages and Programming (11. 1984 Antwerp) Jan Paredaens
Berlin Springer 1984
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.172 )(Acessar)
|
9
|
Material Type: Livro
|
|
Logic and machines decision problems and complexity
Symposium on Rekursive Kombinatorik, Munster, 1983 E Borger; Gisbert Hasenjaeger
Berlin Springer 1984
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.171 )(Acessar)
|
10
|
Material Type: Livro
|
|
Automata, languages and programming papers
Colloquium on Automata, Languages and Programming (10. 1983 Barcelona) Josep Diaz
Berlin Springer 1983
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.154 )(Acessar)
|