14th Annual Symposium on Switching & Automata Theory; [papers]
Symposium on Switching and Automata Theory (14th 1973 University of Iowa) IEEE Computer Society Switching and Automata Theory Committee; University of Iowa ComputerScience Dept
Northridge, Calif. Available from: IEEE Computer Society, Publications Office c1973
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 14. )(Acessar)
Symposium on Analytic Computational Complexity (1975 Carnegie-Mellon University) J. F Traub 1932- (Joseph Frederick); Carnegie-Mellon University ComputerScience Dept
New York Academic Press 1976
Localização:
IME - Inst. Matemática e Estatística
(QA800.C T777a )(Acessar)
Automata, languages and programming 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974
Colloquium on Automata, Languages and Programming (2nd 1974 University of Saarbrücken) Jacques Loeckx 1931-; Gesellschaft für Informatik; ACM Special Interest Group for Automata and Computability Theory; European Association for Theoretical ComputerScience
Berlin New York Springer-Verlag 1974
Localização:
EPBC - Esc. Politécnica-Bib Central
(004 In8a 2. ) e outros locais(Acessar)
Category theory applied to computation and control proceedings of the First International Symposium, San Francisco, February 25-26, 1974
Ernest G Manes 1943-; American Mathematical Society; American Association for the Advancement of Science; International Symposium on Category theory applied to computation and control (1st : 1974 : San Francisco, US)
Massachusetts University 1974
Localização:
IME - Inst. Matemática e Estatística
MARTA CAVALLO BUNGE
(BUNGE QA700.C M274p 1974 e.1 )(Acessar)