Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
18th Annual Symposium on Foundations of Computer Science, Oct. 31-Nov. 2, 1977, Providence, Rhode IslandSymposium on Foundations of Computer Science (18th 1977 Providence) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; ACM Special Interest Group for Automata and Computability Theory; Brown UniversityLong Beach, Calif. The Society c1977Localização: IME - Inst. Matemática e Estatística (QA800.C S989 18. )(Acessar) |
|
2 |
Material Type: Livro
|
21st annual Symposium on Foundations of Computer Science October 13-15, 1980, Syracuse, New York : [papers]Symposium on Foundations of Computer Science (21st 1980 Syracuse, New York) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; Clarkson College of TechnologyNew York IEEE 1980Localização: IME - Inst. Matemática e Estatística (QA800.C S989 21. e.2 )(Acessar) |
|
3 |
Material Type: Livro
|
23rd Annual Symposium on Foundations of Computer Science November 3-5, 1982Symposium on Foundations of Computer Science (23rd 1982 [Chicago, Ill.]) IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingNew York IEEE Computer Society Press Los Angeles, CA Order from IEEE Computer Society c1982Localização: IME - Inst. Matemática e Estatística (QA800.C S989 23. e.2 )(Acessar) |
|
4 |
Material Type: Livro
|
24th Annual Symposium on Foundations of Computer Science November 7-9, 1983Symposium on Foundations of Computer Science (24th 1983 Tucson, Ariz.) IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingSilver Spring, Md. IEEE Computer Society Press c1983Localização: IME - Inst. Matemática e Estatística (QA800.C S989 24 )(Acessar) |
|
5 |
Material Type: Livro
|
3. [i.e. dritte] Jahrestagung Hamburg, 8.-10. Oktober 1973Gesellschaft für Informatik Wilfried Brauer; Gesellschaft für InformatikBerlin New York Springer-Verlag 1973Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.1 e.1 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Computer arithmeticEarl E Swartzlander Jr.Los Alamitos, CA IEEE Computer Society Press c1990-Localização: IME - Inst. Matemática e Estatística (QA824.C3 S973c v.2 )(Acessar) |
|
7 |
Material Type: Livro
|
Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981ACM Symposium on Theory of Computing (13th 1981 Milwaukee, Wis.) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; University of Wisconsin--Milwaukee Dept. of Electrical Engineering and Computer ScienceNew York, N.Y. ACM Baltimore, MD Additional copies may be orderd from ACM Order Dept. c1981Localização: IME - Inst. Matemática e Estatística (QA800.C S989r 13. e.2 )(Acessar) |
|
8 |
Material Type: Livro
|
The Evolution of ProgramsDershowitz E Coffman; R. L GrahamBirkhäuser Boston 1983Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
First-order dynamic logicDavid Harel 1950-Berlin New York Springer-Verlag 1979Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.68 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
First-order programming theoriesT. Gergely (Tamás) László Úry 1953-Berlin Springer-Verlag New York c1991Localização: IME - Inst. Matemática e Estatística (QA816 G367f )(Acessar) |