Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Computing in object-oriented parallel environments Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 : proceedingsISCOPE 99 (1999 San Francisco, Calif.) Satoshi Matsuoka; Rodney R Oldehoeft; Marydell TholburnBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1732 e.1 )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Engineering distributed objects Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised papersEDO 2000 (2000 Davis, Calif.) Wolfgang Emmerich; Stefan Tai 1970-Berlin New York Springer c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS V.1999 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
ECOOP'99 object-oriented programming : 13th European Conference, Lisbon, Portugal, June 14-18, 1999 : proceedingsEuropean Conference on Object-Oriented Programming (13th 1999 Lisbon, Portugal) Rachid GuerraouiGoos, G., ed.; Hartmanis, J., ed.; Leeuwen, J. Van, ed Lecture notes in computer science Berlin : Springer-Verlag, c1985-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1628 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
ECOOP 2000--object-oriented programming 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedingsECOOP 2000 (2000 Sophia Antipolis and Cannes, France) Elisa BertinoGOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-Berlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1850 CD-ROM ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Objects, components, architectures, services, and applications for a networked world International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002 : revised papersNODe 2002 (2002 Erfurt, Germany) Mehmet Aksit; Mira Mezini 1966-; Rainer UnlandBerlin Springer New York 2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2591 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Object-oriented software constructionBertrand Meyer 1950-New York Prentice-Hall c1988Localização: EPBC - Esc. Politécnica-Bib Central (004.045 M575o ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
ECOOP '93, object-oriented programming, 7th European conference, Kaiserslautern, Germany, July 26-30, 1993 proceedingsEuropean Conference on Object-Oriented Programming (7th 1993 Kaiserlautern, Germany) Oscar Marius Nierstrasz 1957-Berlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.707 e.1 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Model driven architecture - foundations and applications third European conference, ECMDA-FA 2007, Haifa Israel, June 11-15, 2007 : proceedingsEuropean Conference on Model Driven Architecture Foundations and Applications (3rd 2007 Haifa, Israel) David H Akehurst; Régis Vogel; Richard F PaigeBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4530 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Object-oriented softwareAnn L. Winblad Samuel D Edwards; David King 1949-Reading, Mass. Addison-Wesley 1990Localização: EPBC - Esc. Politécnica-Bib Central (004.045 W72o ) e outros locais(Acessar) |