skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic of Computation
Logic of Computation
Material Type:
Livro
Adicionar ao Meu Espaço

Logic of Computation

Helmut Schwichtenberg

Springer Berlin Heidelberg 1997

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

2
A basis for theoretical computer science
Material Type:
Livro
Adicionar ao Meu Espaço

A basis for theoretical computer science

Michael A. Arbib (Michael Anthony) A. J Kfoury (Assaf J.) b. 1945-; Robert N Moll

New York Springer-Verlag c1981

Localização: IME - Inst. Matemática e Estatística    (QA800 A664b )(Acessar)

3
Theoretical computer science introduction to Automata, compurability, complexity algorithmics, randomization, communication, and cryptography
Material Type:
Livro
Adicionar ao Meu Espaço

Theoretical computer science introduction to Automata, compurability, complexity algorithmics, randomization, communication, and cryptography

Juraj Hromkoviéc 1958

Berlin Springer New York 2004

Localização: IME - Inst. Matemática e Estatística    (QA800 H873t )(Acessar)

4
Hybrid Neural Systems
Hybrid Neural Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Hybrid Neural Systems

Ron Sun Ron Sun; Stefan Wermter

Springer Berlin Heidelberg 2000

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

5
Randomness and Completeness in Computational Complexity
Randomness and Completeness in Computational Complexity
Material Type:
Livro
Adicionar ao Meu Espaço

Randomness and Completeness in Computational Complexity

Dieter van Melkebeek

Springer Berlin Heidelberg 2000

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

6
STACS 97 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

STACS 97 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings

Symposium on Theoretical Aspects of Computer Science (14th 1997 Lübeck, Germany) Rüdiger Reischuk; Michel Morvan

Berlin Springer New York c1997

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

7
STACS 91
Material Type:
Livro
Adicionar ao Meu Espaço

STACS 91

Symposium on Theoretical Aspects of Computer Science (8th : 1991 Hamburg, Germany) Christian Choffrut; Matthias Jantzen 1948-

Berlin Springer-Verlag New York c1991

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

8
Mathematical foundations of computer science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical foundations of computer science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 : proceedings

International Symposium on the Mathematical Foundations of Computer Science (23rd 1998 Brno, Czech Republic) Jiérí Zlatuéska; Luboés Brim; Jozef Gruska

Berlin New York Springer Verlag c1998

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

9
STACS 98 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

STACS 98 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedings

Symposium on Theoretical Aspects of Computer Science (15th 1998 Paris, France) Michel Morvan; Christoph Meinel; Daniel Krob

Berlin Springer New York c1998

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

10
STACS 87 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

STACS 87 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings

Symposium on Theoretical Aspects of Computer Science (4th 1987 Passau, Germany) F. J Brandenburg (Franz J.); G Vidal-Naquet; M Wirsing (Martin)

Berlin Springer-Verlag New York c1987

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Assunto 

  1. Computer Science  (85)
  2. Computers  (18)
  3. Teoria Da Computação  (16)
  4. Teoria Da Computação  (16)
  5. Ciência Da Computação  (12)
  6. Linguagem De Programação  (11)
  7. Mathematics  (11)
  8. Artificial Intelligence  (11)
  9. Algorithms  (10)
  10. Computation By Abstract Devices  (9)
  11. Computational Complexity  (9)
  12. Neural Networks (Computer Science)  (9)
  13. Machine Theory  (9)
  14. E-Book Springer Lncs  (9)
  15. Inteligência Artificial  (9)
  16. Matemática Da Computação  (9)
  17. Softwares  (9)
  18. Computer Software  (8)
  19. Kongress  (8)
  20. Congresses  (8)
  21. Theory Of Computation  (8)
  22. Electronic Data Processing  (8)
  23. Logic, Symbolic And Mathematical  (7)
  24. Algoritmos E Estruturas De Dados  (7)
  25. Metodologia E Técnicas De Computação  (6)
  26. Informatique  (6)
  27. Análise De Algoritmos  (6)
  28. Parallel Processing (Electronic Computers)  (6)
  29. Evolutionary Programming (Computer Science)  (5)
  30. Computer Science—mathematics  (5)
  31. Information Theory  (5)
  32. Algorithm Analysis And Problem Complexity  (5)
  33. Arquitetura E Organização De Computadores  (5)
  34. Programming Languages (Electronic Computers)  (5)
  35. Computer Science-Mathematics  (5)
  36. Biocomputer  (5)
  37. Rewriting Systems (Computer Science)  (4)
  38. Análise De Algoritmos  (4)
  39. Lógica Matemática  (4)
  40. Data Structures (Computer Science)  (4)
  41. Computational Complexity  (3)
  42. Logic, Symbolic And Mathematical  (2)
  43. Arquitetura E Organização De Computadores  (2)
  44. Matemática Da Computação  (2)
  45. Softwares  (1)
  46. Algoritmos E Estruturas De Dados  (1)
  47. Inteligência Artificial  (1)
  48. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1985  (7)
  2. 1985Até1989  (13)
  3. 1990Até1996  (19)
  4. 1997Até2002  (61)
  5. Após 2002  (35)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.