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
Computer aided verification 10th International Conference, CAV'98, Vancouver, BC, Canadá, june 28 - july 2, 1998 : proceedings
Computer aided verification 10th International Conference, CAV'98, Vancouver, BC, Canadá, june 28 - july 2, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer aided verification 10th International Conference, CAV'98, Vancouver, BC, Canadá, june 28 - july 2, 1998 : proceedings

International Conference on Computer-Aided Verification, CAV'98 (10. 1998 Vancouver, B.C.) Alan J Hu; Moshe Y Vardi

Berlin Springer London c1998

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

2
Database theory--ICDT'95 5th International Conference, Prague, Czech Republic, January 11-13, 1995 : proceedings
Database theory--ICDT'95 5th International Conference, Prague, Czech Republic, January 11-13, 1995 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Database theory--ICDT'95 5th International Conference, Prague, Czech Republic, January 11-13, 1995 : proceedings

International Conference on Database Theory (5th 1995 Prague, Czech Republic) G Gottlob (Georg); Moshe Y Vardi

Berlin New York Springer-Verlag 1995

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

3
Formal Techniques for Networked and Distributed Sytems — FORTE 2002
Formal Techniques for Networked and Distributed Sytems — FORTE 2002
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques for Networked and Distributed Sytems — FORTE 2002

FORTE 2002 Doron Peled; Moshe Y Vardi

Springer Berlin Heidelberg 2002

Acesso online

4
Computer Aided Verification
Computer Aided Verification
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification

CAV (Conference) Alan J Hu; Moshe Y Vardi

Springer Berlin Heidelberg 1998

Acesso online

5
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for Programming, Artificial Intelligence, and Reasoning

LPAR (Conference) Moshe Y Vardi; AndreÄ­ Voronkov; Jan van Leeuwen

Springer Berlin Heidelberg 2003

Acesso online

6
Finite model theory and its applications
Finite model theory and its applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Finite model theory and its applications

Phokion Kolaitis; Leonid Libkin; Maarten Marx; Joel Spencer; Moshe Y Vardi; Yde Venema 1963; Scott Weinstein; Erich Grädel 1958

Berlin Springer New York c2007

Localização: EPBC - Esc. Politécnica-Bib Central    (510.6 F495 ) e outros locais(Acessar)

7
Synthesis with rational environments
Synthesis with rational environments
Material Type:
Artigo 		Adicionar ao Meu Espaço

Synthesis with rational environments

Kupferman, Orna ; Perelli, Giuseppe ; Vardi, Moshe Y.

Annals of mathematics and artificial intelligence, 2016-09, Vol.78 (1), p.3-20 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
The long game of tenure
The long game of tenure
Material Type:
Artigo 		Adicionar ao Meu Espaço

The long game of tenure

Treangen, Todd J ; Vardi, Moshe Y

Nature biotechnology, 2023-10, Vol.41 (10), p.1373-1374 [Periódico revisado por pares]

New York: Nature Publishing Group

Texto completo disponível

Citações Citado por
9
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

Vardi, Moshe ; Voronkov, Andrei Vardi, Moshe Y. ; Voronkov, Andrei

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
10
Reasoning About Strategies: On the Model-Checking Problem
Reasoning About Strategies: On the Model-Checking Problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reasoning About Strategies: On the Model-Checking Problem

Mogavero, Fabio ; Murano, Aniello ; Perelli, Giuseppe ; Vardi, Moshe Y

ACM transactions on computational logic, 2014-11, Vol.15 (4), p.1-47 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
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  (266)
  2. Anais de Congresso  (210)
  3. Book Chapters  (148)
  4. magazinearticle  (102)
  5. Livros  (38)
  6. Web Resources  (12)
  7. Reports  (9)
  8. Videos  (1)
  9. Resenhas  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1989  (84)
  2. 1989Até1996  (67)
  3. 1997Até2004  (176)
  4. 2005Até2013  (234)
  5. Após 2013  (241)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (786)
  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.