skip to main content
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
Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : Proceedings

Goos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan Diks, Krzysztof ; Rytter, Wojciech

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

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

3
Algorithms in Bioinformatics: Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algorithms in Bioinformatics: Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings

Guigo, Roderic ; Gusfield, Dan Guigó, Roderic ; Gusfield, Dan

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

4
Computer Science in Perspective: Essays Dedicated to Thomas Ottmann
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Science in Perspective: Essays Dedicated to Thomas Ottmann

Klein, Rolf ; Six, Hans-Werner ; Wegner, Lutz Six, Hans-Werner ; Wegner, Lutz ; Klein, Rolf

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

5
Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings

Workshop on Computer Science Logic (5th 1991 Bern, Switzerland) E Börger 1946- (Egon)

Berlin New York Springer-Verlag c1992

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

6
STACS 85 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985
Material Type:
Livro
Adicionar ao Meu Espaço

STACS 85 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985

Symposium on Theoretical Aspects of Computer Science (2nd 1985 Saarbrücken, Germany) Kurt Mehlhorn 1949-

Berlin Springer-Verlag New York 1985

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

7
Artificial Neural Networks and Neural Information Processing -- ICANN/ICONIP 2003: Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Artificial Neural Networks and Neural Information Processing -- ICANN/ICONIP 2003: Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings

Kaynak, Okyay ; Alpaydin, Ethem ; Oja, Erkki ; Xu, Lei Xu, Lei ; Kaynak, Okyay ; Oja, Erkki ; Alpaydin, Ethem

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

8
Parallel Problem Solving from Nature - PPSN VII: 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Parallel Problem Solving from Nature - PPSN VII: 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings

Merelo, Juan J ; Adamidis, Panagiotis ; Beyer, Hans-Georg Guervós, Juan Julián Merelo ; Adamidis, Panagiotis ; Beyer, Hans-Georg ; Fernández-Villacañas, José-Luis ; Schwefel, Hans-Paul

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

9
Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers

Watson, Bruce ; Wood, Derick Wood, Derick ; Watson, Bruce W.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

10
High Performance Computing - HiPC 2002: 9th International Conference Bangalore, India, December 18-21, 2002, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

High Performance Computing - HiPC 2002: 9th International Conference Bangalore, India, December 18-21, 2002, Proceedings

Sahni, Sartaj ; Prasanna, Viktor K ; Shukla, Uday Shukla, Uday ; Sahni, Sartaj ; Prasanna, Viktor K.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

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  (485)
  2. Artigos  (9)
  3. Anais de Congresso  (7)
  4. Mais opções open sub menu

Assunto 

  1. Computer Science  (89)
  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. Algoritmos E Estruturas De Dados  (28)
  10. Engenharia De Software  (25)
  11. Arquitetura E Organização De Computadores  (25)
  12. Programming Languages (Electronic Computers)  (24)
  13. Computational Complexity  (23)
  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. Logic, Symbolic And Mathematical  (19)
  22. Electronic Digital Computers  (18)
  23. Análise De Algoritmos  (18)
  24. Theory Of Computation  (14)
  25. Computation By Abstract Devices  (11)
  26. Automatic Data Processors  (11)
  27. Computer Hardware  (11)
  28. Electronic Calculating-Machines  (11)
  29. Electronic Computers  (11)
  30. Hardware, Computer  (11)
  31. Automatic Computers  (11)
  32. Electronic Brains  (11)
  33. Computing Machines  (11)
  34. E-Book Springer Lncs  (9)
  35. Mathematics Of Computing  (9)
  36. Kongress  (9)
  37. Congresses  (9)
  38. Computational Complexity And Cryptography  (7)
  39. Congressos  (7)
  40. Programas De Computador  (7)
  41. Computational Complexity  (5)
  42. Electronic Digital Computers  (4)
  43. Análise De Algoritmos  (4)
  44. Machine Theory  (3)
  45. Softwares  (2)
  46. Arquitetura E Organização De Computadores  (2)
  47. Linguagens Formais  (1)
  48. Algoritmos E Estruturas De Dados  (1)
  49. Logic, Symbolic And Mathematical  (1)
  50. Linguagem De Programação  (1)
  51. Inteligência Artificial  (1)
  52. Mais opções open sub menu

Data de Publicação 

De até
  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

Buscando em bases de dados remotas. Favor aguardar.