Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
A theory of programming language semanticsRobert Milne 1948- Christopher StracheyLondon Chapman and Hall etc. 1976Localização: ICMC - Inst. Ciên. Mat. Computação (68Q99 M659t v.2 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Mathematics and computersGeorge R. Stibitz 1904- (George Robert) Jules A Larrivee 1909- (Jules Alphonse)New York McGraw-Hill 1957Localização: FEA - Fac. Econ. Adm. Contab. e Atuária (510.78 S854m ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
The Evolution of ProgramsDershowitz E Coffman; R. L GrahamBirkhäuser Boston 1983Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Computing for CalculusMark J. ChristensenAcademic Press 1981Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Conference record [of the] fourth annual ACM Symposium on Theory of Computing papers presented at the symposium, Denver, Colorado, May 1,2,3, 1972ACM Symposium on Theory of Computing (4th 1972 Denver, Colo.) ACM Special Interest Group for Automata and Computability TheoryNew York ACM Order Department 1972Localização: IME - Inst. Matemática e Estatística (QA800.C S989r 4. e.2 )(Acessar) |
|
6 |
Material Type: Livro
|
20th annual Symposium on Foundations of Computer Science Oct. 29-31, 1979, San Juan Puerto RicoSymposium on Foundations of Computer Science (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 EngineersNew York Institute of Electrical and Electronics Engineers 1979Localização: IME - Inst. Matemática e Estatística (QA800.C S989 20. )(Acessar) |
|
7 |
Material Type: Livro
|
31th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987Symposium on Foundations of Computer Science (31th 1990 St. Louis, Missori) IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingWashington, D.C. Computer Society Press of the IEEE c1990Localização: IME - Inst. Matemática e Estatística (QA800.C S989 31 v.2 )(Acessar) |
|
8 |
Material Type: Livro
|
22nd annual Symposium on Foundations of Computer Science (formerly called the annual Symposium on Switching and Automata Theory) : October 28-30, 1981Symposium on Foundations of Computer Science (22nd 1981 Nashville, Tenn.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; Institute of Electrical and Electronics EngineersNew York Institute of Electrical and Electronics Engineers 1981Localização: IME - Inst. Matemática e Estatística (QA800.C S989 22 )(Acessar) |
|
9 |
Material Type: Livro
|
28th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987Symposium on Foundations of Computer Science (28th 1987 Los Angeles, Calif.) IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingWashington, D.C. Computer Society Press of the IEEE c1987Localização: IME - Inst. Matemática e Estatística (QA800.C S989 28. e.2 )(Acessar) |
|
10 |
Material Type: Livro
|
practical introduction to denotational semanticsL. AllisonCambridge University Press 1986Acesso online. A biblioteca também possui exemplares impressos. |