Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
Suporte ao desenvolvimento e à integração de ontologias no domínio biomédicoWaldemarin, Ricardo CachetaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Bioinformática 2015-09-21Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Agile software development the cooperative gameAlistair CockburnUpper Saddle River, NJ Addison-Wesley London c2007Localização: IME - Inst. Matemática e Estatística (QA752.5 C665a 2.ed. )(Acessar) |
|
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
|
Application development systems the inside story of multinational product developmentToshiyasu KuniiTokyo New York Springer-Verlag c1986Localização: IME - Inst. Matemática e Estatística (QA854.C3 K96a ) e outros locais(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
An approach for developing component-based groupware product lines using the Groupware WorkbenchBruno Gadelha Elder Cirilo; Marco Aurélio Gerosa; Alberto Castro Junior; Carlos José Pereira de Lucena; International Conference on Software Product Lines - SPLC (14. 2010 Jeju Island, Republic of Korea)Proceedings Berlin : Springer, 2010Berlin Springer 2010Localização: IME - Inst. Matemática e Estatística (PROD-2125504 )(Acessar) |
|
6 |
Material Type: Livro
|
Capacity Planning for Computer SystemsTim BrowningAcademic Press 1995Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Mathematical Aspects of Scientific SoftwareHans Miller, Willard Rice, J. R. Weinberger Willard Miller; J. R RiceSpringer New York 1988Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Formal methods fact file VDM and ZAndrew HarryChichester England Wiley New York 1996Localização: EPBC - Esc. Politécnica-Bib Central (004.413 H249f ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Prototyping-oriented software development concepts and toolsW. Bischofberger 1962- (Walter) Gustav Pomberger 1949-Berlin Springer-Verlag New York c1992Localização: IME - Inst. Matemática e Estatística (QA752 B621p )(Acessar) |
|
10 |
Material Type: Livro
|
Software engineering design, reliability and managementMartin L. Shooman 1934- (Martin Lawrence)New York London McGraw-Hill c1983Localização: EPBC - Esc. Politécnica-Bib Central (004.41 Sh77s ) e outros locais(Acessar) |