Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Computer science a modern introductionL. Goldschlager (Les), 1951- A. M Lister (Andrew) 1945-Englewood Cliffs, N.J. Prentice/Hall International c1982Localização: IME - Inst. Matemática e Estatística (QA724 G623c )(Acessar) |
|
2 |
Material Type: Livro
|
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Concurrent and Real-Time Programming in Ada 2005Alan Burns Andrew J Wellings; Andy WellingsCambridge University Press 2007Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Tese de Doutorado
|
An information structure processing systemElwin Grant Eastman 1937-c1975Localização: IME - Inst. Matemática e Estatística (QA762.T E13i )(Acessar) |
|
5 |
Material Type: Livro
|
The VisualAge for Smalltalk primerLiwu LiCambridge Cambridge University Press New York SIGS books c1998Localização: IME - Inst. Matemática e Estatística (QA762.10 L693v )(Acessar) |
|
6 |
Material Type: Livro
|
The unified modeling language UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papersUML '98 (1998 Mulhouse, France) J Bézivin (Jean); Pierre-Alain MullerBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1618 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Corba 3 fundamentals and programmingJon SiegelNew York John Wiley & Sons c2000Localização: ICMC - Inst. Ciên. Mat. Computação (65N15.50 C789.2 CD-ROM e.1 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
C++ an introduction to computingJoel Adams Sanford Leestma; Larry R NyhoffUpper Saddle River, NJ Prentice Hall c1998Localização: IME - Inst. Matemática e Estatística (QA762 A214c e.3 )(Acessar) |
|
9 |
Material Type: Livro
|
Ruby Developers GuideRobert Feldt Lyle Johnson; Michael Neumann SyngressBurlington Syngress 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Object modeling with the OCL the rationale behind the Object Constraint LanguageTony Clark Ph. D.; Jos B WarmerBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2263 e.1 ) e outros locais(Acessar) |