David S Johnson 1945-; ACM Special Interest Group for Automata and Computability Theory; ACM Symposiumon Theory of Computing; SymposiumonFoundationsofComputerScience
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)
Proceedings 32nd Annual Symposium on Foundations of Computer Science : October 1-4, 1991, San Juan, Puerto Rico
SymposiumonFoundationsofComputerScience (32nd 1991 San Juan, Puerto Rico) IEEE Computer Society Technical Committee on Mathematical Foundationsof Computing
Los Alamitos, Calif. IEEE Computer Society Press c1991
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 32. )(Acessar)
Mathematical foundations of computer science 1996 proceedings [of the] 21st international symposium, MFCS'96, held in Cracow, Poland, september 2-6, 1996
International Symposiumon Mathematical FoundationsofComputerScience (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)
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Symposiumon Logic in ComputerScience (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundationsof Computing
Los Alamitos, Calif. IEEE Computer Society Press c1993
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.42 Ie2L 8. )(Acessar)