Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingLos Alamitos, Calif. IEEE Computer Society Press c1993Localização: EPBC - Esc. Politécnica-Bib Central (004.42 Ie2L 8. )(Acessar) |
2 |
Material Type: Livro
|
![]() |
An introduction to computer science an algorithmic approachJean-Paul Tremblay 1938- Richard B Bunt 1946-New York McGraw-Hill c1981Localização: IME - Inst. Matemática e Estatística (QA720.1 T789i Short.ed. )(Acessar) |
3 |
Material Type: Livro
|
![]() |
An introduction to computer science using JavaSamuel N. Kamin M. Dennis Mickunas; Edward M Reingold 1945-Boston WCB/McGraw-Hill 1998Localização: IME - Inst. Matemática e Estatística (QA724.12 K15i )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Algebraic Specification Techniques in Object Oriented Programming EnvironmentsRuth BreuSpringer Berlin Heidelberg 1991Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Parallel Execution of ParlogAndrew CheeseSpringer Berlin Heidelberg 1992Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Livro
|
![]() |
Semirings for Soft Constraint Solving and ProgrammingStefano BistarelliSpringer Berlin / Heidelberg 2004Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
A theory of objectsMart in Abadi Luca CardelliNew York Springer 1998, c1996Localização: IME - Inst. Matemática e Estatística (QA754.4 A116t )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Object-oriented analysis, design and implementation an integrated approachBrahma Dathan Sarnath RamnathCham Springer International Publishing Imprint: Springer 2015Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
Genetic programming 6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003 : proceedingsEuroGP 2003 (2003 Essex, England) Conor Ryan 1972-Berlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2610 )(Acessar) |