skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
An introduction to discrete mathematics, formal system specification, and Z
An introduction to discrete mathematics, formal system specification, and Z
Material Type:
Livro 		Adicionar ao Meu Espaço

An introduction to discrete mathematics, formal system specification, and Z

D. Ince (Darrel) D Ince (Darrel)

Oxford Clarendon Press New York Oxford University Press 1992

Localização: IME - Inst. Matemática e Estatística    (QA752 I36i )(Acessar)

2
Computational science - ICCS 2001 international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings
Computational science - ICCS 2001 international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational science - ICCS 2001 international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings

ICCS 2001 (2001 San Francisco, Calif.) Vassil Alexandrov 1962-

Berlin Springer New York c2001

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

3
Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings
Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings

S Ramesh; G Sivakumar; Conference on Software Technology and Theoretical Computer Science Kharagpur, India) 1997; Conference on Foundations of Software Technology and Theoretical Computer Science (17. 1997 Kharagpur, IN)

Berlin Springer New York c1997

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

4
Computational science - ICCS 2002 international conference, Amsterdam, The Netherlands, April 21 - 24 2002 : proceedings. Pt. 1
Computational science - ICCS 2002 international conference, Amsterdam, The Netherlands, April 21 - 24 2002 : proceedings. Pt. 1
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational science - ICCS 2002 international conference, Amsterdam, The Netherlands, April 21 - 24 2002 : proceedings. Pt. 1

ICCS 2002 (2002 Amsterdam, Netherlands) Peter Sloot 1956-

Berlin Springer London c2002

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

5
Computational science-ICCS 2002 international conference, Amsterdam, The Netherlands, April 21-24, 2002 : proceedings
Computational science-ICCS 2002 international conference, Amsterdam, The Netherlands, April 21-24, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational science-ICCS 2002 international conference, Amsterdam, The Netherlands, April 21-24, 2002 : proceedings

ICCS 2002 (2002 Amsterdam, Netherlands) Peter Sloot 1956-

Berlin Springer New York c2002

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

6
Computational science and its applications, ICCSA 2003 international conference, Montreal, Canada, May 18-21, 2003 : proceedings
Computational science and its applications, ICCSA 2003 international conference, Montreal, Canada, May 18-21, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational science and its applications, ICCSA 2003 international conference, Montreal, Canada, May 18-21, 2003 : proceedings

ICCSA 2003 (2003 Montréal, Québec) Vipin Kumar 1956-

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2669 pt.III )(Acessar)

7
Computational science and its applications, ICCSA 2007 international conference, Kuala Lumpur, Malaysia August 26-29, 2007 : proceedings
Computational science and its applications, ICCSA 2007 international conference, Kuala Lumpur, Malaysia August 26-29, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational science and its applications, ICCSA 2007 international conference, Kuala Lumpur, Malaysia August 26-29, 2007 : proceedings

ICCSA 2007 (2007 Kuala Lumpur, Malaysia) Osvaldo Gervasi; Marina L Gavrilova

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4705 pt.1 )(Acessar)

8
SOFSEM 2008 theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008 : proceedings
SOFSEM 2008 theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

SOFSEM 2008 theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008 : proceedings

SOFSEM (Conference) (34th 2008 Novy Smokovec, Slovakia) Viliam Geffert

Berlin Springer New York c2008

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

9
IComb: Um sistema para o ensino e aprendizagem de combinatória em ambiente Web
IComb: Um sistema para o ensino e aprendizagem de combinatória em ambiente Web
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

IComb: Um sistema para o ensino e aprendizagem de combinatória em ambiente Web

Eisenmann, Alexandre Luis Kundrat

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2009-06-05

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

10
Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings
Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings

International Colloquium on Automata, Languages, and Programming (27th 2000 Geneva, Switzerland) Emo Welzl; Ugo Montanari; José D. P Rolim

Berlin Springer London c2000

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

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 (597.110)
  2. Revistas revisadas por pares (379.450)
  3. Disponível na Biblioteca (13)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (361.871)
  2. Anais de Congresso  (181.343)
  3. magazinearticle  (23.893)
  4. Book Chapters  (19.523)
  5. Livros  (9.361)
  6. Newsletter Articles  (394)
  7. Resenhas  (324)
  8. Artigos de Jornal  (197)
  9. Reports  (93)
  10. Verbetes  (39)
  11. Conjunto de Dados  (35)
  12. Dissertações  (26)
  13. Recursos Textuais  (18)
  14. Web Resources  (4)
  15. Produções Acadêmicas  (1)
  16. Imagens  (1)
  17. Mais opções open sub menu

Assunto 

  1. Science & Technology  (560.695)
  2. Technology  (558.454)
  3. Computer Science, Software Engineering  (378.083)
  4. Computer Science, Theory & Methods  (169.966)
  5. Computer Science, Information Systems  (162.779)
  6. Software  (162.730)
  7. Engineering  (141.278)
  8. Engineering, Electrical & Electronic  (117.933)
  9. Exact Sciences And Technology  (102.255)
  10. Computer Science, Hardware & Architecture  (100.628)
  11. Applied Sciences  (95.953)
  12. Computer Science, Artificial Intelligence  (82.644)
  13. Computer Science; Control Theory; Systems  (82.480)
  14. Computer Science, Interdisciplinary Applications  (75.321)
  15. Physical Sciences  (67.309)
  16. Algorithms  (64.804)
  17. Mathematics  (58.681)
  18. Artificial Intelligence  (57.367)
  19. Software Engineering  (49.048)
  20. Computers  (10.431)
  21. Computer Software  (8.144)
  22. Computational Complexity  (2.590)
  23. Quantum Computers  (165)
  24. Sistemas De Informação  (15)
  25. Softwares  (9)
  26. Computer Science–Congresses  (8)
  27. Softwares  (7)
  28. Teoria Da Computação  (7)
  29. Teoria Da Computação  (7)
  30. Computational Complexity  (5)
  31. Matemática Da Computação  (5)
  32. Computer Software  (4)
  33. Computer Science–Mathematics  (3)
  34. Softwares (Congressos)  (3)
  35. Matemática Da Computação  (3)
  36. Técnicas De Programação (Congressos)  (2)
  37. Ciência Da Computação (Congressos)  (2)
  38. Sistemas De Informação  (2)
  39. Ensino  (1)
  40. Programação Concorrente (Congressos)  (1)
  41. Quantum Computers  (1)
  42. Evolutionary Programming (Computer Science)  (1)
  43. Aprendizagem  (1)
  44. SOFSEM  (1)
  45. Computers  (1)
  46. Arquiteturas Paralelas (Congressos)  (1)
  47. Educação Matemática  (1)
  48. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1966  (2.180)
  2. 1966Até1979  (6.234)
  3. 1980Até1993  (35.681)
  4. 1994Até2008  (233.246)
  5. Após 2008  (325.618)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (595.604)
  2. Japonês  (47.939)
  3. Alemão  (1.713)
  4. Português  (674)
  5. Espanhol  (574)
  6. Francês  (136)
  7. Turco  (112)
  8. Norueguês  (102)
  9. Chinês  (85)
  10. Russo  (42)
  11. Árabe  (11)
  12. Ucraniano  (7)
  13. Sueco  (6)
  14. Catalão  (5)
  15. Coreano  (5)
  16. Tcheco  (4)
  17. Polonês  (4)
  18. Galês  (4)
  19. Dinamarquês  (2)
  20. Italiano  (1)
  21. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.