skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proceedings ..
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings ..

Programming Symposium 1974 Paris Bernard Robinet

New York Springer 1974

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

2
Static analysis third international workshop, WSA '93, Padova, Italy, September 1993 : proceedings
Static analysis third international workshop, WSA '93, Padova, Italy, September 1993 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static analysis third international workshop, WSA '93, Padova, Italy, September 1993 : proceedings

Workshop on Static Analysis (3rd 1993 Padova, Italy) Patrick Cousot 1948-

Berlin New York Springer-Verlag c1993

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

3
Conference record [of the] fourth annual ACM Symposium on Theory of Computing papers presented at the symposium, Denver, Colorado, May 1,2,3, 1972
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference record [of the] fourth annual ACM Symposium on Theory of Computing papers presented at the symposium, Denver, Colorado, May 1,2,3, 1972

ACM Symposium on Theory of Computing (4th 1972 Denver, Colo.) ACM Special Interest Group for Automata and Computability Theory

New York ACM Order Department 1972

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

4
Proceedings of a Conference on Theoretical Computer Science, August 15-17, 1977, University of Waterloo, Waterloo, Ontario, Canada
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of a Conference on Theoretical Computer Science, August 15-17, 1977, University of Waterloo, Waterloo, Ontario, Canada

Conference on Theoretical Computer Science (1977 University of Waterloo) University of Waterloo Mathematical Research Division

Waterloo, Ont. Computer Science Dept., University of Waterloo 1977

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

5
Proceedings of the Workshop on Mathematics of Computer Algorithms (May 7-15, 1986)
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the Workshop on Mathematics of Computer Algorithms (May 7-15, 1986)

Workshop on Mathematics of Computer Algorithms (1986 Institute of Mathematical Sciences) K. Srinivaga Rao; Institute of Mathematical Sciences (India)

Madras, India Institute of Mathematical Sciences 1986

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

6
Proceedings of the Eighteenth annual ACM Symposium on Theory of Computing, Berkeley, California, May 28-30, 1986
Proceedings of the Eighteenth annual ACM Symposium on Theory of Computing, Berkeley, California, May 28-30, 1986
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the Eighteenth annual ACM Symposium on Theory of Computing, Berkeley, California, May 28-30, 1986

ACM Symposium on Theory of Computing (18th 1986 Berkeley, Calif.) ACM Special Interest Group for Automata and Computability Theory; Symposium on Theory of Computing (18 . 1986 Berkeley)

New York, N.Y. Association for Computing Machinery c1986

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

7
MC-25 informatica symposium by J.W. de Bakker [and others]
Material Type:
Livro 		Adicionar ao Meu Espaço

MC-25 informatica symposium by J.W. de Bakker [and others]

MC-25 Informatica Symposium (1972 Amsterdam) J. W. de Bakker 1939- (Jacobus Willem de); Mathmatisch Centrum (Amsterdam, Netherlands)

Amsterdam Mathematisch Centrum 1971

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

8
Troisième Congrès de calcul et de traitement de l'information AFCALTI Toulouse 14-17 mai 1963. [Actes] Publié avec le concours du C.N.R.S
Material Type:
Livro 		Adicionar ao Meu Espaço

Troisième Congrès de calcul et de traitement de l'information AFCALTI Toulouse 14-17 mai 1963. [Actes] Publié avec le concours du C.N.R.S

Congrès de calcul et de traitement de l'information AFCALTI (3rd 1963 Toulouse) Centre national de la recherche scientifique (France)

Paris Dunod 1965

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária    (001.539 C749 ) e outros locais(Acessar)

9
Proceedings of an ACM Conference on Language Design for Reliable Software, Sheraton-Crabtree Inn, Raleigh, North Carolina, March 28-30, 1977
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of an ACM Conference on Language Design for Reliable Software, Sheraton-Crabtree Inn, Raleigh, North Carolina, March 28-30, 1977

ACM Conference on Language Design for Reliable Software (1977 Raleigh, N.C.) David B Wortman; Association for Computing Machinery; ACM Special Interest Group in Programming Languages

New York Association for Computing Machinery c1977

Localização: EPBC - Esc. Politécnica-Bib Central    (004.43 Ac64L ) e outros locais(Acessar)

10
Conference record of the Fifth Annual ACM Symposium on Principles of Programming Languages papers presented at the Symposium, Tucson, Arizona, January 23-25, 1978
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference record of the Fifth Annual ACM Symposium on Principles of Programming Languages papers presented at the Symposium, Tucson, Arizona, January 23-25, 1978

ACM Symposium on Principles of Programming Languages (5th 1978 Tucson, Ariz.) ACM Special Interest Group for Automata and Computability Theory; ACM Special Interest Group in Programming Languages

New York ACM c1978

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

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  (3.376)
  2. Anais de Congresso  (23)
  3. Reports  (2)
  4. magazinearticle  (2)
  5. Artigos  (1)
  6. Mais opções open sub menu

Assunto 

  1. Computer Science  (3.069)
  2. Congresses  (3.029)
  3. Computers  (1.921)
  4. Electronic Data Processing  (1.749)
  5. Computer Programming, Programs, Data  (1.576)
  6. Computer Software  (1.523)
  7. Software Engineering  (1.488)
  8. Kongress  (1.374)
  9. Artificial Intelligence  (1.154)
  10. Informatika  (1.138)
  11. Machine Theory  (1.076)
  12. Computer Programming  (1.073)
  13. Computer Networks  (1.065)
  14. Algorithms  (1.041)
  15. Computer Communication Networks  (978)
  16. Algorithm Analysis And Problem Complexity  (972)
  17. E-Book Springer Lncs  (917)
  18. Computer Communication Systems  (886)
  19. Programming Languages  (879)
  20. Logics And Meanings Of Programs  (865)
  21. Electronic Digital Computers  (785)
  22. Computational Complexity  (355)
  23. Computer Architecture  (155)
  24. Programming Languages (Electronic Computers)  (109)
  25. Langages De Programmation  (73)
  26. Formal Languages  (70)
  27. Electronic Digital Computers  (54)
  28. Teoria Da Computação  (43)
  29. Técnicas De Programação (Congressos)  (26)
  30. Linguagem De Programação  (24)
  31. Metodologia E Técnicas De Computação  (23)
  32. Programming (Electronic Computers)  (23)
  33. Engenharia De Software  (19)
  34. Ciência Da Computação  (16)
  35. Parallel Processing (Electronic Computers)  (13)
  36. Computational Complexity  (12)
  37. Langages De Programmation  (12)
  38. Formal Languages  (12)
  39. Computer Architecture  (10)
  40. Linguagem De Programação  (10)
  41. Compilers (Computer Programs)  (9)
  42. Linguagens Formais  (8)
  43. Linguagem De Programação (Congressos)  (8)
  44. Teoria Da Computação  (5)
  45. Engenharia De Software  (1)
  46. Linguagens Formais  (1)
  47. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1977  (47)
  2. 1977Até1987  (120)
  3. 1988Até1998  (341)
  4. 1999Até2010  (1.553)
  5. Após 2010  (2.156)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.399)
  2. Alemão  (19)
  3. Japonês  (5)
  4. Francês  (4)
  5. Sueco  (1)
  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.