Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Livro oficial do ubuntuHill, Benjamin Mako Jono Bacon; Ivan Krstic; David J Murphy; Jonathan Jesse; Peter Savage; Corey Burger; Rafael ProençaPorto Alegre Bookman 2008Localização: IF - Instituto de Física (004 H645l 2.ed ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Prodos guia do usuarioGreg Mainis Roberto Cosi Cardoso Jorge; Milton MandelSao Paulo McGraw-Hill 1987Localização: IAG - Inst. Ast. Geo. Ciên. Atmosféricas (005.3682 M191p ) e outros locais(Acessar) |
|
3 |
Material Type: Revista
|
IEE Proceedings - Software EngineeringStevenage, Herts., U.K. Institution of Electrical EngineersAcesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Revista
|
Ieee Transactions on Software EngineeringUNITED STATES IEEEAcesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Program Development by Specification and TransformationHoffmann Berthold Hoffmann; Bernd Krieg-BrücknerSpringer Berlin Heidelberg 1993Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Relatório Técnico
|
Estudo comparativo entre as notações adotadas em diferentes modelos de dados para representação de abstrações e construtores semânticosMyrian Renata Barros Araújo Caetano Traina JúniorSão Carlos ICMSC-USP 1998Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-967962 ) e outros locais(Acessar) |
|
7 |
Material Type: Dissertação de Mestrado
|
Uma contribuição para determinação de um conjunto essencial de operadores de mutação no teste de programas CEllen Francine Barbosa José Carlos Maldonado1998Localização: ICMC - Inst. Ciên. Mat. Computação (T B238c e.1 ) e outros locais(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
Estudo de técnicas de teste de regressão baseado em mutação seletivaLuciana Andréia Fondazzi Martimiano José Carlos Maldonado; Simpósio Brasileiro de Engenharia de Software (13. 1999 Florianópolis); Workshop de Teses em Engenharia de Software (1999 Florianópolis)Anais Florianóplis : UFRGS/UFSC, 1999Florianóplis UFRGS/UFSC 1999Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1049429 ) e outros locais(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Proposta de ambiente de simulação e aprendizado inteligente para RAIDDaniel Corrêa Lobato Regina Helena Carlucci Santana; Workshop de Teses e Dissertações em Andamento do ICMC/USP (4. 1999 São Carlos)Anais São Carlos : ICMC-USP, 1999São Carlos ICMC-USP 1999Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1041845 ) e outros locais(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Extensão do ambiente de simulação automático (ASiA) para simulação de redes de computadoresCélia Leiko Ogawa Regina Helena Carlucci Santana; Workshop de Teses e Dissertações em Andamento do ICMC/USP (4. 1999 São Carlos)Anais São Carlos : ICMC-USP, 1999São Carlos ICMC-USP 1999Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1041790 ) e outros locais(Acessar) |