skip to main content
Idioma:
Refinado por: data de publicação: Após 2004 remover Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedings
Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedings

TPHOLs 2007 (2007 Kaiserslautern, Germany) Klaus Schneider 1967; Jens Brandt 1978

Berlin Springer New York c2007

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

2
Task models and diagrams for users interface design 5th international workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006 : revised papers
Task models and diagrams for users interface design 5th international workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Task models and diagrams for users interface design 5th international workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006 : revised papers

TAMODIA 2006 (2006 Hasselt, Belgium) Karin Coninx; Kris Luyten; Kevin A Schneider 1958

Berlin Springer New York c2007

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

3
Empirical software engineering issues critical assessment and future directions international workshop, Dagstuhl Castle, Germany June 26-30, 2006 : revised papers
Empirical software engineering issues critical assessment and future directions international workshop, Dagstuhl Castle, Germany June 26-30, 2006 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Empirical software engineering issues critical assessment and future directions international workshop, Dagstuhl Castle, Germany June 26-30, 2006 : revised papers

International Dagstuhl-Seminar on Empirical Software Engineering (2006 Dagstuhl, Wadern, Germany) Dieter Rombach; Kurt Schneider; Barbara Kitchenham; Dietmar Pfahl; Richard W Selby; Victor R Basili 1940-

Berlin Springer New York c2007

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

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

Buscando em bases de dados remotas. Favor aguardar.