skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Temporal Frequent Value Locality

Orosa; Lois; Rodolfo Universidade Estadual de Campinas (Unicamp)

WOS

IEEE; New York 2016

Acesso online

2
Material Type:
Resenha
Adicionar ao Meu Espaço

A sátira invade a Academia

Simões Júnior, Alvaro Santos Universidade Estadual Paulista (UNESP); Universidade Estadual Paulista (Unesp)

TriceVersa

2010

Acesso online

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Apresentação; Foreword

Toledo Neto, Sílvio De Almeida; Paixão De Sousa, Maria Clara

Filologia e Linguística Portuguesa; v. 20 n. 2 (2018); 133-134

Universidade de São Paulo. Faculdade de Filosofia, Letras e Ciências Humanas 2018-12-31

Acesso online

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Tungíase; Tungiasis

Heukelbach, Jorg

Revista do Instituto de Medicina Tropical de São Paulo; v. 47, n. 6 (2005); 307-313

Universidade de São Paulo. Instituto de Medicina Tropical de São Paulo 2005-12-01

Acesso online

5
Material Type:
Artigo
Adicionar ao Meu Espaço

Apresentação

Editores, Os

Significação: Revista de Cultura Audiovisual; v. 35 n. 30 (2008)

Universidade de São Paulo. Escola de Comunicações e Artes 2008-12-23

Acesso online

6
Proceedings Fourth Annual Symposium on Logic in Computer Science
Material Type:
Livro
Adicionar ao Meu Espaço

Proceedings Fourth Annual Symposium on Logic in Computer Science

Symposium on Logic in Computer Science (4th 1989 Pacific Grove, Calif.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Washington, D.C. Computer Society Press 1989

Localização: IME - Inst. Matemática e Estatística    (QA11.7.C S989p 4 )(Acessar)

7
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Material Type:
Livro
Adicionar ao Meu Espaço

Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993

Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Los Alamitos, Calif. IEEE Computer Society Press c1993

Localização: EPBC - Esc. Politécnica-Bib Central    (004.42 Ie2L 8. )(Acessar)

8
Deontic Logic in Computer Science
Material Type:
Livro
Adicionar ao Meu Espaço

Deontic Logic in Computer Science

International Workshop on Deontic Logic in Computer Science

Springer Berlin / Heidelberg 2004

Acesso online

9
Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings

International Workshop on Deontic Logic in Computer Science (8th 2006 Utrecht, Netherlands) Lou Goble; John-Jules Ch Meyer

Berlin Springer-Verlag New York c2006

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

10
Linear logic in computer science
Material Type:
Livro
Adicionar ao Meu Espaço

Linear logic in computer science

Thomas Ehrhard 1958-; London Mathematical Society

Cambridge Cambridge University Press 2004

Localização: IME - Inst. Matemática e Estatística    (QA9.8.C E33L )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (132.196)
  2. Recursos Online (191.307)
  3. Disponível na Biblioteca (509)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (151.040)
  2. Anais de Congresso  (24.803)
  3. Livros  (3.978)
  4. Book Chapters  (2.847)
  5. Resenhas  (2.775)
  6. Relatórios Técnicos  (1.477)
  7. Dissertações  (1.432)
  8. Artigos de Jornal  (1.359)
  9. Verbetes  (1.111)
  10. Recursos Textuais  (338)
  11. Dados Estatísticos  (19)
  12. Outros  (14)
  13. Produções Acadêmicas  (5)
  14. Produções Técnicas  (3)
  15. Revistas  (3)
  16. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1960  (286)
  2. 1960Até1974  (3.150)
  3. 1975Até1989  (13.333)
  4. 1990Até2005  (54.804)
  5. Após 2005  (117.633)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (176.113)
  2. Chinês  (427)
  3. Alemão  (424)
  4. Espanhol  (411)
  5. Português  (284)
  6. Francês  (242)
  7. Japonês  (201)
  8. Indeterminado  (50)
  9. Russo  (34)
  10. Norueguês  (30)
  11. Lituano  (26)
  12. Italiano  (24)
  13. Turco  (15)
  14. Coreano  (9)
  15. Tcheco  (8)
  16. Ucraniano  (6)
  17. Polonês  (5)
  18. Holandês  (5)
  19. Árabe  (4)
  20. Eslovaco  (1)
  21. Húngaro  (1)
  22. Romeno  (1)
  23. Mais opções open sub menu

Nome da Publicação 

  1. arXiv.org  (5.938)
  2. Electronic Notes in Theoretical Computer Science  (1.574)
  3. Electronic proceedings in theoretical computer science  (1.467)
  4. Electronic Proceedings in Theoretical Computer Science, EPTCS  (1.144)
  5. Logical Methods In Computer Science  (861)
  6. Proceedings  (648)
  7. Mathematical Structures in Computer Science  (583)
  8. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  (561)
  9. Information and Computation  (464)
  10. Journal of Automated Reasoning  (457)
  11. Theory And Practice Of Logic Programming  (447)
  12. Annals of Pure and Applied Logic  (228)
  13. Information Processing Letters  (223)
  14. Leibniz International Proceedings in Informatics, LIPIcs  (61)
  15. Lecture Notes in Computer Science  (40)
  16. Journal of Logical and Algebraic Methods in Programming  (10)
  17. Comunicação & Educação  (6)
  18. Estudos Avançados  (6)
  19. Paisagem e Ambiente  (6)
  20. Revista USP  (6)
  21. GEOUSP Espaço e Tempo (Online)  (6)
  22. Saúde e Sociedade  (5)
  23. Journal of Health Law  (5)
  24. Cadernos de Campo (São Paulo, 1991)  (5)
  25. Scientiae Studia  (5)
  26. Revista de Italianística  (5)
  27. Estilos da clínica  (5)
  28. Revista de Direito Sanitário  (5)
  29. Significação: Revista de Cultura Audiovisual  (5)
  30. Revista de Medicina  (5)
  31. Via Atlântica  (5)
  32. Teresa  (5)
  33. Cadernos de Literatura em Tradução  (5)
  34. Letras Clássicas  (4)
  35. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences  (3)
  36. Ergonomics  (3)
  37. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Vardi, Moshe Y.
  2. Denecker, Marc
  3. Finkbeiner, Bernd
  4. Bruynooghe, Maurice
  5. Venema, Yde

Buscando em bases de dados remotas. Favor aguardar.