Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Programação orientada para objeto em c++ no ambiente WindowsA F Granero José de Oliveira SiqueiraSão Paulo Atlas 1995Item não circula. Consulte sua biblioteca.(Acessar) |
|
2 |
Material Type: Livro
|
The Evolution of ProgramsDershowitz E Coffman; R. L GrahamBirkhäuser Boston 1983Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Tese de Doutorado
|
Proposta de um gerador de ambientes para a modelagem de aplicações usando tecnologia adaptativa.Camolesi, Almir RogérioBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2007-05-11Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
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) |
|
5 |
Material Type: Livro
|
On the Shape of Mathematical ArgumentsAntonetta J. M. van GasterenSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
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) |
|
7 |
Material Type: Livro
|
Logic programming and automated reasoning proceedingsRussian Conference on Logic Programming, 3., St. Petersburg, 1992 Andrei VoronkovBerlin Springer 1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.624 e.1 ) e outros locais(Acessar) |
|
8 |
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) |
|
9 |
Material Type: Livro
|
Attribute grammar for the semantic analysis of AdaJ. Uhl (Jürgen)Berlin Springer 1982-Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 Lncs v.139 e.1 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedingsSymposium on Theoretical Aspects of Computer Science (16th 1999 Trier, Germany) Christoph Meinel 1954-; Sophie TisonBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1563 )(Acessar) |