skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Teoria da computação máquinas universais e computabilidade
Material Type:
Livro
Adicionar ao Meu Espaço

Teoria da computação máquinas universais e computabilidade

Tiarajú Asmuz Diverio Paulo Blauth Menezes

Porto Alegre, RS Sagra-Luzzato c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q01 D618t e.3 ) e outros locais(Acessar)

2
Material Type:
Revista
Adicionar ao Meu Espaço

Journal of Cryptology

UNITED STATES Springer US

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

3
Material Type:
Revista
Adicionar ao Meu Espaço

Journal of logic and computation

ENGLAND Oxford University Press

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

4
Material Type:
Revista
Adicionar ao Meu Espaço

Journal of complexity

UNITED STATES Academic Press

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

5
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

Sobre a ordem de convergencia para as equacoes integrais de volterra de segunda especie tipo abel com solucoes nao suaves

L S G Felipe Neide Maria Bertoldi Franco

Sao Carlos Icmsc-Usp 1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (NOTAS SCE N.14 F313s ) e outros locais(Acessar)

6
Material Type:
Relatório Técnico
Adicionar ao Meu Espaço

A hierarchy for the recognizable M-subsets

Nami Kobayashi

São Paulo IME-USP 1997

Localização: IME - Inst. Matemática e Estatística    (QA700.RT I59c 1997 v.15 e.2 )(Acessar)

7
Fundamentals of Computation Theory
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamentals of Computation Theory

International Conference on Fundamentals of Computation Theory Lothar Budach

Springer Berlin Heidelberg 1991

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

8
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical foundations of computer science proceedings

Symposium on Mathematical Foundations of ComputerScience, 4., Marianske Iazne, 1975 Jiri Becvar

Berlin Springer 1975

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

9
Teoria da computação máquinas universais e computabilidade
Material Type:
Livro
Adicionar ao Meu Espaço

Teoria da computação máquinas universais e computabilidade

Tiarajú Asmuz Diverio Paulo Blauth Menezes

Porto Alegre Sagra-Luzzato Instituto de Informática da UFRGS 2004, c2000

Localização: EACH - Esc. Artes, Ciências e Humanidades    (006 D618t 2.ed. e.5 ) e outros locais(Acessar)

10
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Hitting all longest cycles in a graph

Cristina Gomes Fernandes 1966- Juan Gutierrez; Congresso da Sociedade Brasileira de Computação - CSBC (37. 2017 São Paulo); Encontro de Teoria da Computação - ETC (2. 2017 São Paulo)

Anais São Paulo : Sociedade Brasileira de Computação, 2017

São Paulo Sociedade Brasileira de Computação 2017

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

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. Livros  (924)
  2. Dissertações  (191)
  3. Artigos  (47)
  4. Produções Acadêmicas  (21)
  5. Produções Técnicas  (14)
  6. Revistas  (9)
  7. Audiovisuais  (1)
  8. Recursos Textuais  (1)
  9. Mais opções open sub menu

Autor/Criador 

  1. ACM Special Interest Group for Automata and Computability Theory  (33)
  2. ACM Symposium on Theory of Computing  (29)
  3. Symposium on Foundations of Computer Science  (23)
  4. Symposium on Theoretical Aspects of Computer Science  (23)
  5. Conference on Foundations of Software Technology and Theoretical Computer Science  (19)
  6. IEEE Computer Society Technical Committee on Mathematical Foundations of Computing  (19)
  7. Colloquium on Automata, L  (18)
  8. International Conference on Rewriting Techniques and Applications  (14)
  9. Symposium on Mathematical Foundations of ComputerScience  (12)
  10. International Colloquium on Automata, L  (10)
  11. José Neto, J  (9)
  12. ACM Special Interest Group in Programming Languages  (8)
  13. ACM Special Interest Group for Algorithms and Computation Theory  (8)
  14. International Conference on Concurrency Theory  (8)
  15. Nielsen, M  (8)
  16. ACM Symposium on Principles of Programming Languages  (8)
  17. Workshop on Computer Science Logic  (8)
  18. Association for Computing Machinery  (8)
  19. Menezes, P  (8)
  20. European Association for Theoretical Computer Science  (7)
  21. Candida Nunes Da Silva  (2)
  22. Oliveira, Alessandro Bertolani  (2)
  23. Clodoaldo Aparecido De Moraes Lima  (2)
  24. Fernando Jose Von Zuben  (2)
  25. Isoda, Lilian Yuli [Unesp]  (1)
  26. Rafael Lima Curi  (1)
  27. Freire, Elisabete Raposo  (1)
  28. Coladello, Leandro Fernandes [Unesp]  (1)
  29. Rossi, Paola Rocchi [Unesp]  (1)
  30. Maria Cristina Felippetto De Castro  (1)
  31. Fabiola Gonçalves Pereira De Souza  (1)
  32. Pucohuaranga, Jorge Luis Barbieri  (1)
  33. Souza, Carlos Celestino Lima.  (1)
  34. Sheila Morais De Almeida  (1)
  35. Antonio Fernando Abreu De Andrade  (1)
  36. Silva, Eunice Palmeira Da  (1)
  37. Laerte Ferreira Morgado  (1)
  38. Siqueira, Gustavo De Toledo.  (1)
  39. Shimizu, Taciana Kisaki Oliveira.  (1)
  40. Alessandra Guaracy De Oliveira  (1)
  41. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1972  (53)
  2. 1972Até1983  (173)
  3. 1984Até1995  (379)
  4. 1996Até2008  (409)
  5. Após 2008  (140)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.