skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística 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)

4
New directions in Hopf algebras
New directions in Hopf algebras
Material Type:
Livro 		Adicionar ao Meu Espaço

New directions in Hopf algebras

Susan Montgomery; Hans-J urgen Schneider 1944

Cambridge, U.K Cambridge University Press New York c2002

Localização: IME - Inst. Matemática e Estatística    (QA233.C3 M788n )(Acessar)

5
Completely o-simple semigroups an abstract treatment of the lattice of congruences
Material Type:
Livro 		Adicionar ao Meu Espaço

Completely o-simple semigroups an abstract treatment of the lattice of congruences

Kenneth M. Kapp Hans Schneider 1927 Jan. 24-

New York W. A. Benjamin 1969

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

6
Several complex variables
Several complex variables
Material Type:
Livro 		Adicionar ao Meu Espaço

Several complex variables

Michael Schneider 1942 May 18; Yum-Tong Siu 1943; Mathematical Sciences Research Institute (Berkeley, Calif.); Special Year in Several Complex Variables (1995-1996 Mathematical Sciences Research Institute)

Cambridge, U.K Cambridge University Press New York c1999

Localização: IME - Inst. Matemática e Estatística    (QA325.C S359s )(Acessar)

7
Technologies for interactive digital storytelling and entertainment second international conference, TIDSE 2004, Darmstadt, Germany, June 24-26, 2004 : proceedings
Technologies for interactive digital storytelling and entertainment second international conference, TIDSE 2004, Darmstadt, Germany, June 24-26, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Technologies for interactive digital storytelling and entertainment second international conference, TIDSE 2004, Darmstadt, Germany, June 24-26, 2004 : proceedings

TIDSE 2004 (2004 Darmstadt, Germany) Stefan G obel; Ulrike Spierling; Anja Hoffmann; Ido Iurgel; Oliver Schneider; Johanna Dechau; Axel Feix

Berlin Springer New York c2004

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

8
Complex algebraic varieties proceedings
Complex algebraic varieties proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Complex algebraic varieties proceedings

Conference on Complex Algebraic Varieties (1990 :Bayreuth) Klaus Hulek

Berlin Springer 1992

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lnm v.1507 ) e outros locais(Acessar)

9
Particle-based methods fundamentals and applications
Particle-based methods fundamentals and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Particle-based methods fundamentals and applications

E O nate; D. R. J Owen; International Conference on Particle-Based Methods (1nd 2009 Barcelona, Espanha)

Dordrecht Springer New York c2011

Localização: IME - Inst. Matemática e Estatística    (QA420.C O58p )(Acessar)

10
Visualization in human-computer interaction selected contributions
Visualization in human-computer interaction selected contributions
Material Type:
Livro 		Adicionar ao Meu Espaço

Visualization in human-computer interaction selected contributions

Interdisciplinary Workshop in Informatics and Psychology (7th 1988 Schärding, Austria) P Gorny (Peter); Michael J Tauber

Berlin New York Springer-Verlag c1990

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

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

Buscando em bases de dados remotas. Favor aguardar.