Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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) |
|
2 |
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) |
|
3 |
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) |
|
4 |
Material Type: Livro
|
Capacity Planning for Computer SystemsTim BrowningAcademic Press 1995Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
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. |
|
6 |
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) |
|
7 |
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) |
|
8 |
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) |
|
9 |
Material Type: Livro
|
Web engineering managing diversity and complexity of Web application developmentSan Murugesan; Yogesh DeshpandeBerlin New York Springer c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2016 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Head first object-oriented analysis and designBrett McLaughlin Gary Pollice; David West 1948-Sebastopol, CA O'Reilly c2007Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.045 M459h ) e outros locais(Acessar) |