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
Finite difference computing with exponential decay models
Material Type:
Livro
Adicionar ao Meu Espaço

Finite difference computing with exponential decay models

Hans Petter Langtangen

Cham Springer 2016

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

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

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

4
Requirements engineering: foundation for software quality 14th international working conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Requirements engineering: foundation for software quality 14th international working conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 : proceedings

REFSQ 2008 (2008 Montpellier, France) Barbara Paech; Colette Rolland

Berlin Springer New York c2008

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

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

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

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

8
Software engineering
Material Type:
Livro
Adicionar ao Meu Espaço

Software engineering

Ian Sommerville 1951-

Harlow, England Addison-Wesley New York 2007

Localização: EACH - Esc. Artes, Ciências e Humanidades    (005.1 S697s 8.ed. e.6 ) e outros locais(Acessar)

9
Product-focused software process improvement 8th international conference, PROFES 2007, Riga, Latvia, July 2007 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Product-focused software process improvement 8th international conference, PROFES 2007, Riga, Latvia, July 2007 proceedings

PROFES 2007 (2007 Riga, Latvia) J urgen M unch; Pekka Abrahamsson

Berlin Springer 2007

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

10
Requirements engineering: foundation for software quality 13th international working conference, REFSQ 2007, Trondheim, Norway, June 11 - 12, 2007 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Requirements engineering: foundation for software quality 13th international working conference, REFSQ 2007, Trondheim, Norway, June 11 - 12, 2007 ; proceedings

Patrick Heymans; Barbara Paech; Pete Sawyer; International Working Conference on Requirements Engineering: Foundation for Software Quality (13 : 2007.06.11-12 : Trondheim); REFSQ 2007 (13 : 2007.06.11-12 : Trondheim)

Berlin u.a. Springer 2007

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (30)

Data de Publicação 

De até
  1. Antes de1990  (3)
  2. 1990Até1996  (3)
  3. 1997Até2000  (9)
  4. 2001Até2004  (34)
  5. Após 2004  (59)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.