1
Material Type:
Livro
34th Annual Symposium on Foundations of Computer Science November 3-5, 1993, Palo Alto, California : proceedings [papers]
Symposium on Foundations of Computer Science (34th 1993 Palo Alto, CA.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Los Alamitos, CA IEEE Computer Society Press 1993
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 34. ) (Acessar)
This feature requires javascript
2
Material Type:
Livro
Proceedings 32nd Annual Symposium on Foundations of Computer Science : October 1-4, 1991, San Juan, Puerto Rico
Symposium on Foundations of Computer Science (32nd 1991 San Juan, Puerto Rico) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Los Alamitos, Calif. IEEE Computer Society Press c1991
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 32. ) (Acessar)
This feature requires javascript
3
Material Type:
Livro
33rd Annual Symposium on Foundations of Computer Science October 24-27, 1992, Pittsburg, Pennsylvania : proceedings [papers]
Symposium on Foundations of Computer Science (33rd 1992 Pittsburgh, Pa.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Los Alamitos, Calif. IEEE Computer Society Press 1992
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 33. ) (Acessar)
This feature requires javascript
4
Material Type:
Livro
STOC/FOCS bibliography (preliminary version)
David S Johnson 1945-; ACM Special Interest Group for Automata and Computability Theory; ACM Symposium on Theory of Computing; Symposium on Foundations of Computer Science
New York, N.Y. ACM Special Interest Group for Automata and Computability Theory c1991
Localização:
IME - Inst. Matemática e Estatística
(REF. QA800.B J66s ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Mathematical foundations of computer science proceedings
Symposium on Mathematical Foundations of Computer Science (20. 1995 Prague) Juraj Wiedermann; Petr Hájek
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.969 e.1 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Mathematical foundations of computer science proceedings
Symposium on Mathematical Foundations of Computer Science (19. 1994 Kosice) Peter Ruzicka; Igor Privara; Branislav Rovan
Berlin Springer 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.841 e.1 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Logical foundations of computer science proceedings
Symposium on Logical Foundations of Computer Science (3. 1994 Ptersburg) Anil Nerode; Yu V Matiyasevich
Berlin Springer 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.813 e.1 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Mathematical foundations of computer science 1996 proceedings [of the] 21st international symposium , MFCS'96, held in Cracow, Poland, september 2-6, 1996
International Symposium on Mathematical Foundations of Computer Science (21. 1996 Cracow, Poland) Wojciech Penczek; Andrzej Szalas
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1113 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
Logical foundations of computer science proceedins
Symposium on Logical Foundation of Computer Science , 2., Tver, 1992 Anil Nerode
Berlin Springer 1992
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.620 e.1 ) e outros locais(Acessar)
This feature requires javascript
10
Material Type:
Livro
Mathematical foundations of computer science proceedings
Symposium on Mathematical Foundations of ComputerScience, 16., Kazimierz Dolny, 1991 Andrzej Tarlecki
Berlin Springer 1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.520 e.1 ) e outros locais(Acessar)
This feature requires javascript