skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: 1973Até1989 remover data de publicação: 1987Até1997 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 Proceedings

Pin, J. E Pin, J. E.

Berlin, Heidelberg: Springer Berlin Heidelberg 1989

Texto completo disponível

2
STACS 89 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

STACS 89 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, proceedings

Symposium on Theoretical Aspects of Computer Science (6th 1989 Paderborn, Germany) B Monien; Robert Cori; European Association for Theoretical Computer Science; Gesellschaft für Informatik; Association française pour la cybernétique économique et technique

Berlin New York Springer-Verlag 1989

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

3
Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings

Meyer, Albert R ; Taitslin, Michael A Taitslin, Michael A. ; Meyer, Albert R.

Berlin, Heidelberg: Springer Berlin Heidelberg 1989

Texto completo disponível

4
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)

5
CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

Workshop on Computer Science Logic (2nd 1988 Duisburg, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-

Berlin New York Springer-Verlag c1989

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

6
Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India December 17–19, 1987 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India December 17–19, 1987 Proceedings

Nori, Kesav V Nori, Kesav V.

Berlin, Heidelberg: Springer Berlin Heidelberg 1987

Texto completo disponível

7
Automata Networks: LITP Spring School on Theoretical Computer Science Argelès-Village, France, May 12–16, 1986 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata Networks: LITP Spring School on Theoretical Computer Science Argelès-Village, France, May 12–16, 1986 Proceedings

Choffrut, C Choffrut, C.

Berlin, Heidelberg: Springer Berlin Heidelberg 1988

Texto completo disponível

8
Graph-Theoretic Concepts in Computer Science: International Workshop WG '87 Kloster Banz/Staffelstein, FRG, June 29 – July 1, 1987 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Graph-Theoretic Concepts in Computer Science: International Workshop WG '87 Kloster Banz/Staffelstein, FRG, June 29 – July 1, 1987 Proceedings

Göttler, Herbert ; Schneider, Hana-Jürgen Schneider, Hana-Jürgen ; Göttler, Herbert

Berlin, Heidelberg: Springer Berlin Heidelberg 1988

Texto completo disponível

9
Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India December 21–23, 1988 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India December 21–23, 1988 Proceedings

Nori, Kesav V ; Kumar, Sanjeev Kumar, Sanjeev ; Nori, Kesav V.

Berlin, Heidelberg: Springer Berlin Heidelberg 1988

Texto completo disponível

10
CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Börger, Egon ; Büning, Hans Kleine ; Richter, Michael M Richter, Michael M. ; Büning, Hans Kleine ; Börger, Egon

Berlin, Heidelberg: Springer Berlin Heidelberg 1988

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (169.272)
  2. Revistas revisadas por pares (107.185)
  3. Disponível na Biblioteca (482)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (131.025)
  2. Anais de Congresso  (10.188)
  3. Book Chapters  (9.463)
  4. magazinearticle  (8.618)
  5. Resenhas  (5.411)
  6. Reports  (2.431)
  7. Livros  (2.295)
  8. Newsletter Articles  (185)
  9. Verbetes  (40)
  10. Dissertações  (25)
  11. Recursos Textuais  (23)
  12. Web Resources  (16)
  13. Conjunto de Dados  (11)
  14. Imagens  (4)
  15. Standards  (3)
  16. Artigos de Jornal  (3)
  17. Produções Acadêmicas  (2)
  18. Audiovisuais  (2)
  19. Revistas  (2)
  20. Documentos Governamentais  (1)
  21. Mais opções open sub menu

Assunto 

  1. Science & Technology  (72.639)
  2. Technology  (44.060)
  3. Exact Sciences And Technology  (42.470)
  4. Computer Science  (27.244)
  5. Applied Sciences  (22.503)
  6. Physical Sciences  (22.077)
  7. Engineering  (19.017)
  8. Biological And Medical Sciences  (14.878)
  9. Physics  (13.399)
  10. Life Sciences & Biomedicine  (11.992)
  11. Mathematics  (11.094)
  12. Engineering, Electrical & Electronic  (10.460)
  13. Computer Science; Control Theory; Systems  (10.337)
  14. Humans  (9.444)
  15. Fundamental And Applied Biological Sciences. Psychology  (9.381)
  16. Software  (8.877)
  17. Science & Technology - Other Topics  (8.719)
  18. Chemistry  (8.481)
  19. Multidisciplinary Sciences  (8.381)
  20. Social Sciences  (7.764)
  21. Artificial Intelligence  (3.957)
  22. Electronic Digital Computers  (64)
  23. Teoria Da Computação  (57)
  24. Inteligência Artificial  (50)
  25. Expert Systems (Computer Science)  (49)
  26. Metodologia E Técnicas De Computação  (47)
  27. Arquitetura E Organização De Computadores  (40)
  28. Engenharia De Software  (36)
  29. Ciência Da Computação  (34)
  30. Computabilidade E Complexidade  (34)
  31. Algoritmos E Estruturas De Dados  (34)
  32. Linguagem De Programação  (31)
  33. Electronic Digital Computers  (22)
  34. Computação Aplicada  (21)
  35. Técnicas De Programação  (20)
  36. Linguagens Formais  (20)
  37. Artificial Intelligence  (20)
  38. Programação Paralela  (20)
  39. Sistemas Especialistas  (19)
  40. Sistemas Operacionais  (18)
  41. Parallel Programming (Computer Science)  (17)
  42. Linguagem De Programação  (5)
  43. Inteligência Artificial  (4)
  44. Sistemas Especialistas  (1)
  45. Linguagens Formais  (1)
  46. Algoritmos E Estruturas De Dados  (1)
  47. Teoria Da Computação  (1)
  48. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1985  (131)
  2. 1985Até1993  (170.938)
  3. 1994Até2002  (78)
  4. 2003Até2012  (16)
  5. Após 2012  (11)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (168.200)
  2. Japonês  (10.899)
  3. Alemão  (351)
  4. Francês  (345)
  5. Croatian  (89)
  6. Árabe  (17)
  7. Italiano  (16)
  8. Espanhol  (16)
  9. Holandês  (12)
  10. Norueguês  (9)
  11. Português  (9)
  12. Chinês  (7)
  13. Russo  (5)
  14. Tcheco  (3)
  15. Indeterminado  (2)
  16. Latim  (2)
  17. Polonês  (2)
  18. Hebraico  (2)
  19. Húngaro  (1)
  20. Catalão  (1)
  21. Dinamarquês  (1)
  22. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.