skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Mostrar Somente
Refinado por: assunto: Congresses remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings

Crnkovic, Ivica ; Stafford, Judith A ; Schmidt, Heinz W ; Wallnau, Kurt Wallnau, Kurt ; Stafford, Judith A. ; Crnkovic, Ivica ; Schmidt, Heinz W.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

2
Component Deployment: IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Component Deployment: IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings

Bishop, Judith Bishop, Judith

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

3
Component Deployment: Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Component Deployment: Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings

Emmerich, Wolfgang ; Wolf, Alexander L Wolf, Alexander L. ; Emmerich, Wolfgang

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

4
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Fiadeiro, José Luiz ; Liu, Zhiming ; Xue, Jinyun Fiadeiro, Jos' Luiz ; Liu, Zhiming ; Xue, Jinyun

Netherlands: Springer Nature 2014

Texto completo disponível

5
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Lanese, Ivan ; Madelaine, Eric Lanese, Ivan ; Madelaine, Eric

Cham: Springer Nature 2015

Texto completo disponível

6
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Arbab, Farhad ; Ölveczky, Peter Csaba Arbab, Farhad ; lveczky, Peter Csaba

Netherlands: Springer Nature 2012

Texto completo disponível

7
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Barbosa, Luis Soares ; Lumpe, Markus Lumpe, Markus ; Barbosa, Luis Soares

Netherlands: Springer Nature 2012

Texto completo disponível

8
Formal aspects of component software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Formal aspects of component software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers

Pasareanu, Corina S ; Salaun, Gwen

Springer 2013

Texto completo disponível

9
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S ; Bonsangue, Marcello M de Boer, Frank S ; Bonsangue, Marcello M ; Damiani, Ferruccio ; Beckert, Bernhard

Netherlands: Springer Nature 2013

Texto completo disponível

10
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures

Boer, Frank S. de ; Bonsangue, Marcello M ; Graf, Susanne ; de Roever, Willem-Paul de Roever, Willem-Paul ; Bonsangue, Marcello M. ; Graf, Susanne ; de Boer, Frank S.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (8)

Data de Publicação 

De até
  1. Antes de2003  (3)
  2. 2003Até2004  (7)
  3. 2005Até2011  (4)
  4. 2012Até2014  (6)
  5. Após 2014  (2)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.