skip to main content
Resultados 1 2 3 4 next page
Refinado por: assunto: Kongress remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures

Paulo 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 2010

Acesso online. A biblioteca também possui exemplares impressos.

2
Product Focused Software Process Improvement: Second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Product Focused Software Process Improvement: Second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000 Proceedings

Bomarius, Frank ; Oivo, Markku Oivo, Markku ; Bomarius, Frank

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

3
Development and Evolution of Software Architectures for Product Families: Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Development and Evolution of Software Architectures for Product Families: Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proceedings

Linden, Frank van der van der Linden, Frank

Berlin, Heidelberg: Springer Berlin / Heidelberg 1998

Texto completo disponível

4
Multi-Agent System Engineering: 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 Valencia, Spain, June 30 - July 2, 1999 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Multi-Agent System Engineering: 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 Valencia, Spain, June 30 - July 2, 1999 Proceedings

Garijo, Francisco J ; Boman, Magnus Boman, Magnus ; Garijo, Francisco J.

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

5
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Halbwachs, Nicolas ; Peled, Doron Peled, Doron ; Halbwachs, Nicolas

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

6
ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 Proceedings

Nichols, Howard ; Simpson, Dan Simpson, Dan ; Nichols, Howard

Berlin, Heidelberg: Springer Berlin Heidelberg 1987

Texto completo disponível

7
ESEC '91: 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

ESEC '91: 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 Proceedings

Lamsweerde, Axel van ; Fugetta, Alfonso van Lamsweerde, Axel ; Fugetta, Alfonso

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

8
B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

Bert, Didier Bert, Didier

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

9
Reliable Software Technologies - Ada-Europe '99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Reliable Software Technologies - Ada-Europe '99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings

Gonzalez Harbour, Michael ; de la Puente, Juan A ; Goos, Gerhard González Harbour, Michael ; de la Puente, Juan A.

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

10
ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Bowen, Jonathan P ; Fett, Andreas ; Hinchey, Michael G Hinchey, Michael G. ; Bowen, Jonathan P. ; Fett, Andreas

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1990  (2)
  2. 1990Até1998  (7)
  3. 1999Até2001  (17)
  4. 2002Até2005  (10)
  5. Após 2005  (8)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Cavalcanti, A
  2. PSSE
  3. Woodcock, J
  4. Pernambuco Summer School on Software Engineering
  5. Borba, P

Buscando em bases de dados remotas. Favor aguardar.