Proceedings Eighth Annual IEEE Symposium on Logic in ComputerScience, Montreal, Canada, June 19-23, 1993
Symposium on Logic in ComputerScience (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Los Alamitos, Calif. IEEE Computer Society Press c1993
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.42 Ie2L 8. )(Acessar)
24th Annual Symposium on Foundations of ComputerScience November 7-9, 1983
Symposium on Foundations of ComputerScience (24th 1983 Tucson, Ariz.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Silver Spring, Md. IEEE Computer Society Press c1983
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 24 )(Acessar)
23rd Annual Symposium on Foundations of ComputerScience November 3-5, 1982
Symposium on Foundations of ComputerScience (23rd 1982 [Chicago, Ill.]) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
New York IEEE Computer Society Press Los Angeles, CA Order from IEEE Computer Society c1982
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 23. e.2 )(Acessar)
20th annual Symposium on Foundations of ComputerScience Oct. 29-31, 1979, San Juan Puerto Rico
Symposium on Foundations of ComputerScience (20th 1979 San Juan, Puerto Rico) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; University of Puerto Rico; Institute of Electrical and Electronics Engineers
New York Institute of Electrical and Electronics Engineers 1979
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 20. )(Acessar)
Proceedings 32nd Annual Symposium on Foundations of ComputerScience : October 1-4, 1991, San Juan, Puerto Rico
Symposium on Foundations of ComputerScience (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)
34th Annual Symposium on Foundations of ComputerScience November 3-5, 1993, Palo Alto, California : proceedings [papers]
Symposium on Foundations of ComputerScience (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)
33rd Annual Symposium on Foundations of ComputerScience October 24-27, 1992, Pittsburg, Pennsylvania : proceedings [papers]
Symposium on Foundations of ComputerScience (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)
28th Annual Symposium on Foundations of ComputerScience (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987
Symposium on Foundations of ComputerScience (28th 1987 Los Angeles, Calif.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Washington, D.C. Computer Society Press of the IEEE c1987
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 28. e.2 )(Acessar)
31th Annual Symposium on Foundations of ComputerScience (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987
Symposium on Foundations of ComputerScience (31th 1990 St. Louis, Missori) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Washington, D.C. Computer Society Press of the IEEE c1990
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 31 v.2 )(Acessar)
27th Annual symposium on foundations of computerscience October 27-29, 1986
Symposium on Foundations of ComputerScience (27th 1986 Toronto, Ont.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Washington, D.C. IEEE Computer Society Press Los Angeles, CA order from IEEE Computer Society c1986
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 27 )(Acessar)