Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Perspectives on Software RequirementsJulio Cesar Sampaio Doorn, Jorge Horacio do Prado Leite Jorge Horacio DoornSpringer US 2004Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Artigo de Congresso
|
Uuv task definition using metaprogrammingMilton Yukio Godoy Saito Fábio Kawaoka Takase; Newton Maruyama 1964-; International Congress of Mechanical Engineering (19. 2007 Brasília, DF)Proceedings of COBEM Brasília : ABCM, 2007Brasília ABCM 2007Item não circula. Consulte sua biblioteca.(Acessar) |
|
3 |
Material Type: Livro
|
Engenharia de softwareRoger S PressmanSão Paulo Makron Books 1995Localização: EEL - Biotecnologia e Química (004.4 So55sP 6ed. ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Office 97 word - excel - powerpointRio de Janeiro Infobook 1998Localização: ICMC - Inst. Ciên. Mat. Computação (68U40 O32 e.1 )(Acessar) |
|
5 |
Material Type: Livro
|
Logic based program synthesis and transformation 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papersLOPSTR 2002 (2002 Madrid, Spain) Michael LeuschelBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2664 )(Acessar) |
|
6 |
Material Type: Livro
|
Engenharia de software uma abordagem profissionalRoger S. Pressman Bruce R Maxim; Francisco Araújo da Costa; Reginaldo Arakaki 1960-; Julio Arakaki; Renato Manzan de AndradePorto Alegre AMGH 2021Localização: IME - Inst. Matemática e Estatística (QA752 P935sP 9.ed. e.1 )(Acessar) |
|
7 |
Material Type: Livro
|
Stepwise refinement of distributed systems models, formalisms, correctnessWorkshop on Stepwise Refinement of Distributed Systems, Mook, 1989 J W BakkerBerlin Springer 1990Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.430 e.1 ) e outros locais(Acessar) |
|
8 |
Material Type: Artigo
|
Avaliação de validade de um sistema computacional na identificação de estudos duplicadosFernanda Martins Dias Escaldelai Leandro Escaldelai; Denise Pimentel BergamaschiEscola Anna Nery. Revista de Enfermagem Rio de Janeiro v.27,Rio de Janeiro 2023Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Object-oriented technology ECOOP 2001 Workshop Reader : ECOOP 2001 workshops, panels, and posters : Budapest, Hungary, June 18-22, 2001 : proceedingsECOOP 2001 (2001 Budapest, Hungary) Ákos FrohnerBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2323 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Interactive Markov chains and the quest for quantified qualityHolger Hermanns 1967-Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2428 )(Acessar) |