skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Spin Glasses
Spin Glasses
Spin Glasses
Material Type:
Livro 		Adicionar ao Meu Espaço

Spin Glasses

Erwin Bolthausen Anton Bovier; J.-M Morel Cachan; F. Takens Groningen; B. Teissier Paris

Springer Berlin Heidelberg 2007

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

2
Spin glasses
Spin glasses
Spin glasses
Material Type:
Livro 		Adicionar ao Meu Espaço

Spin glasses

K. H. Fischer J. A Hertz; John Hertz

Cambridge Cambridge University Press 1991

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

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

4
Theoretical and practical aspects of SPIN model checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
Theoretical and practical aspects of SPIN model checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theoretical and practical aspects of SPIN model checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

SPIN'99 (1999 Toulouse, France) Dennis Dams; World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France)

Berlin Springer New York c1999

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

5
Spin geometry
Spin geometry
Material Type:
Livro 		Adicionar ao Meu Espaço

Spin geometry

H. Blaine Lawson Marie-Louise Michelsohn 1941-

Princeton, N.J. Princeton University Press 1989

Localização: ICMC - Inst. Ciên. Mat. Computação    (51-01 L425s e.1 ) e outros locais(Acessar)

6
SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings

International SPIN Workshop (7th 2000 Stanford, Calif.) Klaus Havelund 1955-; John Penix 1970-; Willem Visser 1968-

Berlin New York Springer 2000

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

7
Model checking software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
Model checking software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Model checking software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings

International SPIN Workshop (8th 2001 Toronto, Ont.) Matthew Dwyer 1963-; ACM Sigsoft

Berlin Springer New York 2001

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

8
Model checking software 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
Model checking software 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Model checking software 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings

International SPIN Workshop (10 2003 Portland, Or.) Thomas Ball 1965- (Thomas Jaudon); Sriram K Rajamani 1970-

Berlin Springer New York c2003

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

9
Mean-field theory of vector spin models on networks with arbitrary degree distributions
Mean-field theory of vector spin models on networks with arbitrary degree distributions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Mean-field theory of vector spin models on networks with arbitrary degree distributions

Fernando L Metz Thomas Peron

Journal of Physics : Complexity Bristol v. 3, n. 1, p. 1-24, Mar. 2022

Bristol 2022

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-3064905 )(Acessar)

10
Model checking software 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Model checking software 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Model checking software 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings

International SPIN Workshop (9th 2002 Grenoble, France) Dragan Boésnaécki 1963-; Stefan Leue

Berlin Springer New York c2002

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (2)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1993  (2)
  2. 1993Até1999  (2)
  3. 2000Até2001  (2)
  4. 2002Até2004  (3)
  5. Após 2004  (3)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.