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
1
Applied algebra, algebraic algorithms and error-correcting codes proceedings
Applied algebra, algebraic algorithms and error-correcting codes proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied algebra, algebraic algorithms and error-correcting codes proceedings

AAECC-6 (1988 Rome, Italy) Teo Mora

Berlin Springer 1989

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

2
Handbook of logic in computer science
Handbook of logic in computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of logic in computer science

Samson Abramsky 1953-; Dov M Gabbay 1945-; Thomas S. E Maibaum 1947-

Oxford Clarendon New York Oxford University Press 1992-<2000>

Localização: EPBC - Esc. Politécnica-Bib Central    (004 H191 v.4 ) e outros locais(Acessar)

3
Information security and privacy 5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedings
Information security and privacy 5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Information security and privacy 5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedings

ACISP 2000 (2000 Brisbane, Qld.) Colin Boyd; Andrew Clark 1971-; Ed Dawson (Edward)

New York Springer c2000

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

4
Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981
Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981

ACM Symposium on Theory of Computing (13th 1981 Milwaukee, Wis.) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; University of Wisconsin--Milwaukee Dept. of Electrical Engineering and Computer Science

New York, N.Y. ACM Baltimore, MD Additional copies may be orderd from ACM Order Dept. c1981

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

5
Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)
Material Type:
Livro 		Adicionar ao Meu Espaço

Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)

Advanced Seminar on Foundations of Innovative Software Development (1st 1987 Pisa, Italy) Hartmut Ehrig; Colloquium on Trees in Algebra and Programming (12th 1987 Pisa, Italy)

Berlin Springer-Verlag New York c1987

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

6
Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers
Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers

AE '99 (1999 Dunkerque, France) Cyril Fonlupt

Berlin Springer London c2000

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

7
Concurrent object-oriented programming and Petri nets advances in Petri nets
Concurrent object-oriented programming and Petri nets advances in Petri nets
Material Type:
Livro 		Adicionar ao Meu Espaço

Concurrent object-oriented programming and Petri nets advances in Petri nets

Gul A Agha; Fiorella De Cindio; Grzegorz Rozenberg

Berlin Springer New York c2001

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

8
practical introduction to denotational semantics
practical introduction to denotational semantics
practical introduction to denotational semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

practical introduction to denotational semantics

L. Allison

Cambridge University Press 1986

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

9
Algorithmic learning theory 14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings
Algorithmic learning theory 14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algorithmic learning theory 14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings

ALT 2003 (2003 Sapporo, Japan) Ricard Gavaldà 1964-; K. P Jantke (Klaus P.; Eiji Takimoto 1964-

Berlin Springer New York c2003

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

10
Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedings
Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedings

AMAST'98 (1999 Amazonia, Brazil) Armando Martín Haeberer 1947-

Berlin Springer London c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1548 )(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.