Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
The Evolution of ProgramsDershowitz E Coffman; R. L GrahamBirkhäuser Boston 1983Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
On the Shape of Mathematical ArgumentsAntonetta J. M. van GasterenSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Foundations of software technology and theoretical computer science proceedingsConference on Foundations of Software Technology and Theoretical Computer Science, 4., Bangalore, 1984 Mathai Joseph; Rudrapatna ShyamasundarBerlin Springer 1984Localização: IME - Inst. Matemática e Estatística (S L471c v.181 )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Anais V COngresso da Sociedade Brasileira de Computação, Porto Alegre, Brasil, 20 a 27 de julho de 1985Congresso da Sociedade Brasileira de Computação (5. 1985 Porto Alegre) Ricardo A. L Reis (Ricardo Augusto da Luz); Carlos E Rech (Carlos Ernesto); Roberto M. J Macedo; Centro Latinoamericano de Estudios en Informática; Universidade Federal do Rio Grande do Sul; Seminário Integrado de Software e Hardware (12 1985 Porto Alegre); Simpósio de Concepção de Circuitos Integrados (2 1985 Porto Alegre)Porto Alegre? Sociedade Brasileira de Computação 1985?Localização: EPBC - Esc. Politécnica-Bib Central (004 C76a 5. v.2 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Programs as data objects proceedingsWorkshop on Programs As Data Objects, Copenhagen,1985 Harald Ganzinger; Neil D JonesBerlin Springer 1986Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.217 ex.1 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Proceedings of the symposium on computers and automata, new york, april 13-15, 1971Symposium on Computers and Automata (1971 : Nova Iorque) Jerome FoxBrooklin Polytechnic Press 1971Localização: IME - Inst. Matemática e Estatística (QA700.C F792c e.2 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Genetic programming 4th European conference, EuroGP 2001, Lake Como, Italy, April 18-20, 2001 : proceedingsEuroGP 2001 (2001 Como, Lake, Italy) Julian Miller (Julian F.)Berlin Springer New York 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2038 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
A laboratory manual for compiler and operating system implementationMaurice H. Halstead (Maurice Howard), 1918-New York American Elsevier Pub. Co 1974Localização: ICMC - Inst. Ciên. Mat. Computação (68M30.01 H196l e.1 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Compiling techniquesF. R. A. Hopgood (Frank Robert Albert)London Macdonald 1969Localização: EPBC - Esc. Politécnica-Bib Central (004.4 H777c ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Anatomy of a compilerJohn A. N. LeeNew York Van Nostrand Reinhold 1967Localização: ICMC - Inst. Ciên. Mat. Computação (68N20 L478a e.1 ) e outros locais(Acessar) |