skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Computer Software remover assunto: Logiciels remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29 2004 : revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29 2004 : revised selected papers

WADT 2004 (2004 Barcelona, Spain) Jos e Luiz Fiadeiro 1961; Peter Mosses; F Orejas (Fernando)

Berlin Springer New York c2005

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

2
Software prototyping in data and knowledge engineering
Material Type:
Livro
Adicionar ao Meu Espaço

Software prototyping in data and knowledge engineering

Giovanni Guida 1951 Gianfranco Lamperti; Marina Zanella

Dordrecht Boston Kluwer Academic Publishers c1999

Localização: IME - Inst. Matemática e Estatística    (QA772 G946s )(Acessar)

3
SOFSEM 2006 theory and practice of computer science : 32nd conference on current trends in theory and practice of computer science, M e r in, Czech Republic, January 21-27, 2006 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

SOFSEM 2006 theory and practice of computer science : 32nd conference on current trends in theory and practice of computer science, M e r in, Czech Republic, January 21-27, 2006 : proceedings

SOFSEM (Conference) (32nd 2006 Merin, Czech Republic) J Wiedermann (Juraj); Gerard Tel; Jaroslav Pokorný; Mária Bieliková; Július Stuller

Berlin Springer c2006

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

4
Object lessons lessons learned in object-oriented development projects
Material Type:
Livro
Adicionar ao Meu Espaço

Object lessons lessons learned in object-oriented development projects

Tom Love

New York SIGS Books c1993

Localização: IME - Inst. Matemática e Estatística    (QA754.4 L897o )(Acessar)

5
Transactions on aspect-oriented software development II
Material Type:
Livro
Adicionar ao Meu Espaço

Transactions on aspect-oriented software development II

Awais Rashid; Mehmet Ak sit

Berlin Springer New York c2006

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

6
Transactions on aspect-oriented software development I
Material Type:
Livro
Adicionar ao Meu Espaço

Transactions on aspect-oriented software development I

Awais Rashid; Mehmet Aksit

Berlin Springer 2006

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

7
Model driven architecture foundations and applications : second European conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13 2006 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Model driven architecture foundations and applications : second European conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13 2006 : proceedings

European Conference on Model Driven Architecture - Foundations and Applications (2nd 2006 Bilbao, Spain) Arend Rensink; Jos B Warmer

Berlin Springer 2006

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

8
Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Ugo Montanari; F Orejas (Fernando); Grzegorz Rozenberg; Gabriele Taentzer; Hartmut Ehrig; H.-J Kreowski (Hans-J org)

Berlin Springer New York c2005

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

9
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

FATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. D

Berlin Springer New York 2005

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

10
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papers

FATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten Weise

Berlin Springer New York c2006

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1990  (23)
  2. 1990Até1997  (54)
  3. 1998Até2005  (214)
  4. 2006Até2014  (355)
  5. Após 2014  (136)
  6. Mais opções open sub menu

Idioma 

  1. Alemão  (4)
  2. Japonês  (2)
  3. Italiano  (1)
  4. Húngaro  (1)
  5. Francês  (1)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.