skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Anwendungen der festigkeits-lehre auf den maschinenbau...
Anwendungen der festigkeits-lehre auf den maschinenbau...
Material Type:
Livro 		Adicionar ao Meu Espaço

Anwendungen der festigkeits-lehre auf den maschinenbau...

S Graf

Wien Spielhagen 1885

Localização: EPBC - Esc. Politécnica-Bib Central    (620 G757a )(Acessar)

2
Foundations of Quantization for Probability Distributions
Foundations of Quantization for Probability Distributions
Foundations of Quantization for Probability Distributions
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Quantization for Probability Distributions

Siegfried Graf Harald Luschgy

Springer Berlin Heidelberg 2000

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

3
Fractal Geometry and Stochastics II
Fractal Geometry and Stochastics II
Fractal Geometry and Stochastics II
Material Type:
Livro 		Adicionar ao Meu Espaço

Fractal Geometry and Stochastics II

Christoph Graf, Siegfried Zähle, Martina Bandt Siegfried Graf; Thomas M Liggett; Charles Newman; Loren Pitt; Martina Zähle

Birkhäuser Basel 2000

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

4
Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

International SPIN Workshop (11th 2004 Barcelona, Spain) Susanne Graf; Laurent Mounier

Berlin Springer New York c2004

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

5
Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26 2006 : proceedings
Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26 2006 : proceedings

ATVA 2006 (4th 2006 Beijing, China) Susanne Graf; Wenhui Zhang 1963

Berlin Springer New York c2006

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

6
Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

TACAS 2000 (6th 2000 Berlin, Germany) Susanne Graf; Michael I Schwartzbach; ETAPS 2000 (2000 Berlin, Germany)

Berlin Springer New York c2000

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

7
The exact Hausdorff dimension in random recursive constructions
The exact Hausdorff dimension in random recursive constructions
Material Type:
Livro 		Adicionar ao Meu Espaço

The exact Hausdorff dimension in random recursive constructions

Siegfried Graf 1949- R. Daniel Mauldin 1943-; S. C Williams 1952- (Stanley C.)

Providence, R.I., USA American Mathematical Society c1988

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 MEMOIRS N.381 ) e outros locais(Acessar)

8
Tools and algorithms for the construction and analysis of systems
Tools and algorithms for the construction and analysis of systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems

International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 6, TACAS 2000 2000 Berlin Susanne Graf; Michael Schwartzbach; European Joint Conferences on Theory and Practiceof Software, ETAPS 2000

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

Berlin Springer-Verlag c2000

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

9
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures

FMCO 2006 (2006 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2007

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

10
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures

FMCO 2004 (2004 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2005

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (4)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (12)
  2. Outros  (1)
  3. Artigos  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (1)
  2. 1988Até1999  (1)
  3. 2000Até2003  (4)
  4. 2004Até2005  (3)
  5. Após 2005  (4)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (13)
  2. Alemão  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.