skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Rippling Meta-Level Guidance for Mathematical Reasoning
Rippling Meta-Level Guidance for Mathematical Reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Rippling Meta-Level Guidance for Mathematical Reasoning

Alan Bundy David Basin; Dieter Hutter; Andrew Ireland

Cambridge Cambridge University Press 2005

Acesso online

2
Applied formal methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
Applied formal methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied formal methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings

International Workshop on Current Trends in Applied Formal Methods (1998 Boppard, Germany) Dieter Hutter

Berlin Springer New York c1999

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

3
Mechanizing mathematical reasoning essays in honor of J org H. Siekmann on the occasion of his 60th birthday
Mechanizing mathematical reasoning essays in honor of J org H. Siekmann on the occasion of his 60th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Mechanizing mathematical reasoning essays in honor of J org H. Siekmann on the occasion of his 60th birthday

J org H Siekmann; Dieter Hutter; Werner Stephan

Berlin Springer New York c2005

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

4
Applied formal methods-FM-trends 98
Applied formal methods-FM-trends 98
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied formal methods-FM-trends 98

International Workshop on Current Trends in Applied Formal Methods, FM trends 98 1998 Boppard Dieter Hutter

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1999

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1641 )(Acessar)

5
Security in pervasive computing second international conference, SPC 2005, Boppard, Germany, April 6-8 2005 : proceedings
Security in pervasive computing second international conference, SPC 2005, Boppard, Germany, April 6-8 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Security in pervasive computing second international conference, SPC 2005, Boppard, Germany, April 6-8 2005 : proceedings

International Conference on Security in Pervasive Computing (2nd 2005 Boppard, Germany) Dieter Hutter; Markus Ullmann

Berlin Springer New York c2005

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

6
Security in Pervasive Computing
Security in Pervasive Computing
Material Type:
Livro 		Adicionar ao Meu Espaço

Security in Pervasive Computing

International Conference on Security in Pervasive Computing Dieter Hutter; Günter Müller; Werner Stephan; Markus Ullmann

Springer Berlin Heidelberg 2004

Acesso online

7
Security in pervasive computing first International Conference, Boppard, Germany, March 12-14, 2003 : revised papers
Security in pervasive computing first International Conference, Boppard, Germany, March 12-14, 2003 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Security in pervasive computing first International Conference, Boppard, Germany, March 12-14, 2003 : revised papers

International Conference on Security in Pervasive Computing (1st 2003 Boppard, Germany) Gunther Muller; Werner Stephan; Markus Ullmann; Dieter Hutter

Berlin Springer New York c2004

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

8
Applied Formal Methods — FM-Trends 98
Applied Formal Methods — FM-Trends 98
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied Formal Methods — FM-Trends 98

International Workshop on Current Trends in Applied Formal Methods Dieter Hutter; W Stephan; Werner Stephan; P Traverso; Paolo Traverso; Markus Ullmann

Springer Berlin Heidelberg 1999

Acesso online

9
Prognostic Factors in Cancer
Prognostic Factors in Cancer
Prognostic Factors in Cancer
Material Type:
Livro 		Adicionar ao Meu Espaço

Prognostic Factors in Cancer

P. Gospodarowicz, Mary K. Henson, D. E. Hutter, Robert V.P. Sobin, Leslie H. Hermanek Professor Dr. Dr. h.c. Mary K Gospodarowicz; Donald E Henson; Robert V. P Hutter; Leslie H Sobin

Springer Berlin Heidelberg 1995

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

10
TNM Supplement 1993
TNM Supplement 1993
Material Type:
Livro 		Adicionar ao Meu Espaço

TNM Supplement 1993

P. Henson, D. E. Hutter, R. V. P. Sobin, L. H Hermanek D. E Henson; R. V. P Hutter; L. H Sobin; Leslie H Sobin

Springer Berlin Heidelberg 1993

Acesso online

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.258)
  2. Anais de Congresso  (146)
  3. Imagens  (130)
  4. Book Chapters  (56)
  5. Reports  (46)
  6. Resenhas  (31)
  7. Livros  (17)
  8. Web Resources  (13)
  9. Conjunto de Dados  (9)
  10. Recursos Textuais  (1)
  11. Archival Material / Manuscripts  (1)
  12. Outros  (1)
  13. Patentes  (1)
  14. magazinearticle  (1)
  15. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1962  (49)
  2. 1962Até1979  (42)
  3. 1980Até1993  (93)
  4. 1994Até2008  (561)
  5. Após 2008  (921)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.607)
  2. Japonês  (134)
  3. Alemão  (58)
  4. Francês  (48)
  5. Russo  (2)
  6. Espanhol  (2)
  7. Holandês  (1)
  8. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.