skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science (26th 2006 Calcutta, India) S Arun-Kumar; Naveen Garg

Berlin Springer 2006

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

2
Algebraic methodology and software technology 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic methodology and software technology 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings

Armando Martín Haeberer 1947-; International Conference on Algebraic Methodology and Software Technology (7th 1999 Amazonia, Brazil)

Berlin Springer New York c1999

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

3
Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

International Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa) Teodor Rus

Berlin New york Springer c2000

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

4
Learning software organizations methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Learning software organizations methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedings

International Conference on Software Engineering and Knowledge Engineering (11th 1999 Kaiserslautern, Germany) Günther Ruhe; Frank Bomarius

Berlin New York Springer 2000

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

5
Advances in learning software organizations third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in learning software organizations third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings

LSO 2001 (2001 Kaiserslautern, Germany) Klaus-Dieter Althoff; Raimund L Feldmann 1961-; Wolfgang Müller 1961-

Berlin Springer New York c2001

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

6
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)

7
Models in software engineering workshops and symposia at MoDELS 2006, Genoa, Italy October 1-6, 2006 : reports and revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Models in software engineering workshops and symposia at MoDELS 2006, Genoa, Italy October 1-6, 2006 : reports and revised selected papers

MoDELS 2006 (2006 Genoa, Italy) Thomas Kühne

Berlin Springer New York c2007

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

8
Model driven architecture - foundations and applications third European conference, ECMDA-FA 2007, Haifa Israel, June 11-15, 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Model driven architecture - foundations and applications third European conference, ECMDA-FA 2007, Haifa Israel, June 11-15, 2007 : proceedings

European Conference on Model Driven Architecture Foundations and Applications (3rd 2007 Haifa, Israel) David H Akehurst; Régis Vogel; Richard F Paige

Berlin Springer New York c2007

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

9
Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007

International Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany) Stefan Leue; Pedro Merino

Berlin Springer London 2008

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

10
Software engineering--ESEC '93 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Software engineering--ESEC '93 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993 : proceedings

European Software Engineering Conference (4th 1993 Garmisch-Partenkirchen, Germany) Ian Sommerville; Manfred Paul 1932-

Berlin New York Springer-Verlag c1993

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
  1. Antes de1991  (4)
  2. 1991Até1998  (7)
  3. 1999Até2002  (17)
  4. 2003Até2007  (19)
  5. Após 2007  (5)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.