skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: CAV (Conference) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings
Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings

CAV (Conference) (2000 Chicago, Ill) E. Allen Emerson; Aravinda Prasad Sistla

Berlin London Springer c2000

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

2
Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

CAV (Conference) (13th 2001 Paris) Hubert Comon; Gérard Berry 1948-; A Finkel

Berlin Springer 2001

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

3
Computer aided verification 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Computer aided verification 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

CAV (Conference) (14th 2002 Copenhagen, Denmark) Ed Brinksma; K. G Larsen 1957- (Kim G.)

Berlin Springer New York 2002

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

4
Computer aided verification 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
Computer aided verification 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

CAV (Conference) (15th 2003 Boulder, Colo.) Warren A Hunt 1958-; Fabio Somenzi

Berlin Springer New York 2003

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

5
Computer aided verification 16th international conference, CAV 2004, Boston, MA, USA, July 13-17 2004 ; proceedings
Computer aided verification 16th international conference, CAV 2004, Boston, MA, USA, July 13-17 2004 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 16th international conference, CAV 2004, Boston, MA, USA, July 13-17 2004 ; proceedings

CAV (Conference) (16th 2004 Boston, MA) Rajeev Alur 1966; Doron Peled 1962

Berlin Springer New York c2004

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

6
Computer aided verification 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Computer aided verification 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

CAV (Conference) (17th 2005 Edinburgh, Scotland) Kousha Etessami; Sriram K Rajamani 1970

Berlin Springer New York c2005

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

7
Computer aided verification 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20 2006 : proceedings
Computer aided verification 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20 2006 : proceedings

CAV (Conference) (18th 2006 Seattle, Wash.) Thomas Ball 1965; Robert B Jones (Robert Brent) 1969

Berlin Springer New York c2006

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

8
Computer aided verification 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 proceedings
Computer aided verification 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 proceedings

CAV (Conference) (19th 2007 Berlin, Germany) Werner Damm; Holger Hermanns 1967

Berlin Springer 2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4590 )(Acessar)

9
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings

CAV (Conference) (5th 1993 Eloúnda, Greece) Costas Courcoubetis

Berlin New York Springer-Verlag c1993

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

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.