Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Models for the modern power gridCardieri, Paulo, 1964- Universidade Estadual de Campinas (Unicamp); Universidade Estadual De Campinashttps://repositorio.unicamp.br/acervo/detalhe/11912042014Acesso online |
2 |
Material Type: Livro
|
![]() |
Reflection and Software EngineeringWalter Cazzola Walter Cazzola; Robert J Stroud; Francesco TisatoSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedingsWorld Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1709 e.1 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
A Systematic Catalogue of Reusable Abstract Data TypesJürgen Uhl Hans Albrecht SchmidSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Wikis: Tools For Information Work And CollaborationJane KlobasChandos Publishing 2006Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
A Knowledge-Based Approach to Program UnderstandingAbd-El-Hafiz Victor R BasiliSpringer US 1995Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Livro
|
![]() |
Genetic Algorithms + Data Structures = Evolution ProgramsMichalewiczSpringer Berlin Heidelberg 1996Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
Interactive computer graphics data structures, algorithms, languagesWolfgang GiloiEnglewood Cliffs, N.J. Prentice-Hall c1978Localização: EPBC - Esc. Politécnica-Bib Central (519.674 G426i ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
Object-oriented analysis and design with applicationsGrady BoochBoston Addison-Wesley 2003Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.01 B724o.2 e.6 ) e outros locais(Acessar) |