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
|
![]() |
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) |
6 |
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) |
7 |
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) |
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
|
![]() |
Genetic programming Third European Conference, EuroGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000 : proceedingsEuroGP 2000 (2000 Edinburgh, Scotland) Riccardo Poli 1961-Berlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1802 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
ProceedingsJ. Díaz 1950- (Josep) International Joint Conference on Theory and practice of Development (3rd 1989 Barcelona)Berlin Springer 1989Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.352 e.1 ) e outros locais(Acessar) |