Resultados de 1 a 10 de 63 para Acervo Físico
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
nível superior:
Recursos Online
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Reflection and Software EngineeringWalter Cazzola Walter Cazzola; Robert J Stroud; Francesco TisatoSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
Writing Scientific Software: A Guide for Good StyleSuely Oliveira David E Stewart; David Edward Stewart David E. StewartLeiden Cambridge University Press 2006Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lecturesPaulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)Berlin u.a. Springer 2010Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Livro
|
|
Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedingsInternational Conference on Formal Engineering Methods (7th 2005 Manchester, England) K.-K Lau (Kung-Kiu) 1953; Richard BanachBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedingsInternational Conference on Formal Engineering Methods (8th 2006 Macau, China) Zhiming Liu 1961; Jifeng He 1943Berlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
A Knowledge-Based Approach to Program UnderstandingAbd-El-Hafiz Victor R BasiliSpringer US 1995Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Livro
|
|
Histories of ComputingMICHAEL SEAN MAHONEY Thomas HaighHarvard University Press 2011Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Livro
|
|
Software Engineering for Large Software SystemsB. A. KitchenhamSpringer Netherlands 1990Acesso online |
| 9 |
Material Type: Livro
|
|
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedingsInternational Conference on Formal Engineering Methods (6th 2004 Seattle, Wash.) Jim Davies 1964; Wolfram Schulte; Mike Barnett 1957Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
| 10 |
Material Type: Artigo de Congresso
|
|
A model-driven approach for promoting cloud PaaS portabilityElias Adriano Nogueira da Silva Renata Pontin de Mattos Fortes; Daniel Lucrédio; Annual International Conference on Computer Science and Software Engineering - CASCON (23. 2013 Markhan, Canada)Proceedings Markhan : CAS Research/IBM Canada, 2013Markham CAS Research/IBM Canada 2013Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 1 a 10 de 63 para Acervo Físico
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
Assunto
- Software Engineering (39)
- Engenharia De Programas (23)
- G Enie Logiciel (13)
- Computer Software (13)
- Engenharia De Software (9)
- Logiciels (8)
- Softwareentwicklung (7)
- Intelligent Agents (Computer Software) (5)
- World Wide Web (5)
- Sistemas De Informação (5)
- Sistemas Distribuídos (Congressos) (5)
- Uml (5)
- Inteligência Artificial (Congressos) (5)
- Formal Methods (Computer Science) (5)
- Formale Methode (4)
- Anwendungssystem (4)
- Inteligência Artificial (3)
- D Eveloppement De Logiciels (3)
- Internet (3)
-
Mais opções
Autor/Criador
- International Conference on Formal Engineering Methods (3)
- Bauknecht, K (2)
- Bomarius, F (2)
- Pr oll, B (2)
- Basili, V (2)
- Lucrédio, D (2)
- Nierstrasz, O (2)
- Gschwind, T (2)
- Muller, J (2)
- Odell, J (2)
- Guelfi, N (2)
- Fortes, R (2)
- Marchesi, M (2)
- ETAPS 2005 (2)
- Giorgini, P (2)
- International Conference on Electronic Commerce and Web Technologies (2)
- Deng, H (1)
- FATES 2003 (1)
- Software Engineering Research and Applications (1)
- Reif, W (1)
-
Mais opções
Data de Publicação
- Antes de1998 (4)
- 1998Até2003 (4)
- 2004Até2007 (45)
- 2008Até2013 (7)
- Após 2013 (3)
-
Mais opções
Biblioteca
- ICMC - Inst. Ciên. Mat. Computação (53)
- IME - Inst. Matemática e Estatística (45)
- EPBC - Esc. Politécnica-Bib Central (2)
- IFSC - Inst. Física de São Carlos (2)
- FEA - Fac. Econ. Adm. Contab. e Atuária (1)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (1)
- IAG - Inst. Ast. Geo. Ciên. Atmosféricas (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 