skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
A basis for theoretical computer science
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)

12
Foundations of software technology and theoretical computer science 18th Conference, Chennai, India, December 17-19, 1998 : proceedings
Foundations of software technology and theoretical computer science 18th Conference, Chennai, India, December 17-19, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science 18th Conference, Chennai, India, December 17-19, 1998 : proceedings

V Arvind; R Ramanujam; Conference on Foundations of Software Technology and Theoretical Computer Science (18th 1998 Madras, India)

Berlin Springer London c1998

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

13
Algorithms and theory of computation handbook
Algorithms and theory of computation handbook
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithms and theory of computation handbook

Mikhail J Atallah

Boca Raton CRC Press c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q20.01 A396 e.1 )(Acessar)

14
AI 2002 advances in artificial intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedings
AI 2002 advances in artificial intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

AI 2002 advances in artificial intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedings

Australian Joint Conference on Artificial Intelligence (15th 2002 Canberra, A.C.T.) Bob McKay; J. K Slaney (John K.)

Berlin Springer London c2002

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

15
Types for proofs and programs Selected papers of the international workshop on types for proofs and programs, types'93, held in Nijmegen, The Netherlands, May 24-28, 1993
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for proofs and programs Selected papers of the international workshop on types for proofs and programs, types'93, held in Nijmegen, The Netherlands, May 24-28, 1993

H. P. Barendregt (Hendrik Pieter) Tobias Nipkow; Workshop on types for proofs and programs (1 1993 Nijmegen)

Berlin Springer-Verlag 1994

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

16
Hierarchical Neural Networks for Image Interpretation
Hierarchical Neural Networks for Image Interpretation
Hierarchical Neural Networks for Image Interpretation
Material Type:
Livro 		Adicionar ao Meu Espaço

Hierarchical Neural Networks for Image Interpretation

Sven Behnke

Springer Berlin Heidelberg 2003

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

17
Systems of reductions
Systems of reductions
Material Type:
Livro 		Adicionar ao Meu Espaço

Systems of reductions

B. Benninghofen 1958- (Benjamin) S Kemmerich 1953- (Susanne); Michael M Richter 1938-

Berlin New York Springer-Verlag c1987

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

18
Computability and complexity in analysis 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers
Computability and complexity in analysis 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability and complexity in analysis 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers

Jens Blanck 1966-; Vasco Brattka 1966-; Peter Hertling 1965-

Berlin Springer New York c2001

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

19
MetaSoft primer towards a metalanguage for applied denotational semantics
MetaSoft primer towards a metalanguage for applied denotational semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

MetaSoft primer towards a metalanguage for applied denotational semantics

Andrzej Blikle

Berlin New York Springer-Verlag c1987

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

20
Mathematical studies of information processing proceedings of the international conference, Kyoto, Japan, August 23-26, 1978
Mathematical studies of information processing proceedings of the international conference, Kyoto, Japan, August 23-26, 1978
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical studies of information processing proceedings of the international conference, Kyoto, Japan, August 23-26, 1978

E. K Blum 1923- (Edward K.); Manfred Paul; Satoru Takasu 1931-

New York Springer-Verlag 1979

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (485)
  2. Artigos  (9)
  3. Anais de Congresso  (7)
  4. Mais opções open sub menu

Assunto 

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

Data de Publicação 

De até
Refinar
  1. Antes de1978  (39)
  2. 1978Até1986  (60)
  3. 1987Até1995  (187)
  4. 1996Até2006  (207)
  5. Após 2006  (18)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.