1
|
Material Type: Livro
|
|
26th Annual Symposium on Foundations of Computer Science October 21-23, 1985
Symposium on Foundations of Computer Science (26th 1985 Portland, Or.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; IEEE Computer Society Press.
Washington, DC IEEE Computer Society Press Los Angeles, CA Order from IEEE Computer Society c1985
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 26 )(Acessar)
|
2
|
Material Type: Livro
|
|
27th Annual symposium on foundations of computer science October 27-29, 1986
Symposium on Foundations of Computer Science (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)
|
3
|
Material Type: Livro
|
|
25th Annual Symposium on Foundations of Computer Science October 24-26, 1984
Symposium on Foundations of Computer Science (25th 1984 Singer Island, Fla.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
Singer Island, Florida IEEE Computer Society Press c1984
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 25 )(Acessar)
|
4
|
Material Type: Livro
|
|
28th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987
Symposium on Foundations of Computer Science (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)
|
5
|
Material Type: Livro
|
|
Proceedings Fourth Annual Symposium on Logic in Computer Science
Symposium on Logic in Computer Science (4th 1989 Pacific Grove, Calif.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
Washington, D.C. Computer Society Press 1989
Localização:
IME - Inst. Matemática e Estatística
(QA11.7.C S989p 4 )(Acessar)
|