skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Engenharia De Programas remover assunto: Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

International Conference on Formal Engineering Methods (7th 2005 Manchester, England) K.-K Lau (Kung-Kiu) 1953; Richard Banach

Berlin Springer New York c2005

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

2
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings

International Conference on Formal Engineering Methods (8th 2006 Macau, China) Zhiming Liu 1961; Jifeng He 1943

Berlin Springer New York c2006

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

3
Advances in learning software organizations 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 proceedings
Advances in learning software organizations 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in learning software organizations 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 proceedings

LSO 2004 (6th 2004 Banff, Canada ) Grigori Melnik; Harald Holz Dr

Berlin Springer c2004

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

4
Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings
Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings

Michael Johnson; International Conference on Algebraic Methodology and Software Technology (6th 1997 Sydney, Australia)

Berlin Springer-Verlag New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68.02 LNCS v.1349 ) e outros locais(Acessar)

5
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday

Ugo Montanari; Pierpaolo Degano 1950-; Rocco De Nicola; José Meseguer

Berlin Springer New York c2008

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v5065 ) e outros locais(Acessar)

6
Algebraic methodology and software technology 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
Algebraic methodology and software technology 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings

International Conference on Algebraic Methodology and Software Technology (10th 2004 Stirling, Scotland) C Rattray (Charles) 1938; Savitri Maharaj; Carron Shankland

Berlin Springer New York c2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3116 ) e outros locais(Acessar)

7
Algebraic methodology and software technology 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8 2006 : proceedings
Algebraic methodology and software technology 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8 2006 : proceedings

International Conference on Algebraic Methodology and Software Technology (11th 2006 Kingissepa, Estonia) Michael Johnson; Varmo Vene

Berlin Springer New York 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4019 ) e outros locais(Acessar)

8
Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers

International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany) Lub eos Brim; Boudewijn R Haverkort; Martin Leucker; Jaco van de Pol; PDMC 2006 (2006 Bonn, Germany)

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4346 )(Acessar)

9
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings

International Conference on Formal Engineering Methods (6th 2004 Seattle, Wash.) Jim Davies 1964; Wolfram Schulte; Mike Barnett 1957

Berlin Springer New York c2004

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

10
Generative programming and component engineering 4th international conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings
Generative programming and component engineering 4th international conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Generative programming and component engineering 4th international conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings

GPCE 2005 (2005 Tallinn, Estonia) R Gl uck (Robert) 1961; Michael R Lowry (Michael Randolph) 1955

Berlin Springer New York 2005

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (17)

Data de Publicação 

De até
Refinar
  1. Antes de1998  (2)
  2. 1998Até2002  (1)
  3. 2003Até2003  (1)
  4. 2004Até2005  (21)
  5. Após 2005  (24)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.