skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Histories of Computing
Histories of Computing
Histories of Computing
Material Type:
Livro 		Adicionar ao Meu Espaço

Histories of Computing

MICHAEL SEAN MAHONEY Thomas Haigh

Harvard University Press 2011

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

2
Reflection and Software Engineering
Reflection and Software Engineering
Reflection and Software Engineering
Material Type:
Livro 		Adicionar ao Meu Espaço

Reflection and Software Engineering

Walter Cazzola Walter Cazzola; Robert J Stroud; Francesco Tisato

Springer Berlin Heidelberg 2000

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

3
Writing Scientific Software: A Guide for Good Style
Writing Scientific Software: A Guide for Good Style
Writing Scientific Software: A Guide for Good Style
Material Type:
Livro 		Adicionar ao Meu Espaço

Writing Scientific Software: A Guide for Good Style

Suely Oliveira David E Stewart; David Edward Stewart David E. Stewart

Leiden Cambridge University Press 2006

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

4
A Knowledge-Based Approach to Program Understanding
A Knowledge-Based Approach to Program Understanding
A Knowledge-Based Approach to Program Understanding
Material Type:
Livro 		Adicionar ao Meu Espaço

A Knowledge-Based Approach to Program Understanding

Abd-El-Hafiz Victor R Basili

Springer US 1995

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

5
Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

International Conference on Formal Engineering Methods (7th 2005 Manchester, England) K.-K Lau (Kung-Kiu) 1953; Richard Banach

Berlin Springer New York c2005

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

6
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings

International Conference on Formal Engineering Methods (8th 2006 Macau, China) Zhiming Liu 1961; Jifeng He 1943

Berlin Springer New York c2006

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

7
Artificial intelligence and computational intelligence third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, proceedings Part II
Artificial intelligence and computational intelligence third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, proceedings Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial intelligence and computational intelligence third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, proceedings Part II

International Conference on Artificial Intelligence and Computational Intelligence (3rd 2011 Taiyuan Shi, China) Hepu Deng

Berlin Springer New York c2011

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

8
Generative programming and component engineering Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings
Generative programming and component engineering Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Generative programming and component engineering Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings

GPCE 2004 (2004 Vancouver, B.C.) G abor Karsai; Eelco Visser

Berlin Springer New York c2004

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

9
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings

International Conference on Formal Engineering Methods (6th 2004 Seattle, Wash.) Jim Davies 1964; Wolfram Schulte; Mike Barnett 1957

Berlin Springer New York c2004

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

10
Generative programming and component engineering 4th international conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings
Generative programming and component engineering 4th international conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Generative programming and component engineering 4th international conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings

GPCE 2005 (2005 Tallinn, Estonia) R Gl uck (Robert) 1961; Michael R Lowry (Michael Randolph) 1955

Berlin Springer New York 2005

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (354.621)
  2. Disponível na Biblioteca (12)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (365.451)
  2. Anais de Congresso  (156.603)
  3. magazinearticle  (27.490)
  4. Book Chapters  (16.702)
  5. Livros  (6.500)
  6. Conjunto de Dados  (1.059)
  7. Reports  (733)
  8. Videos  (410)
  9. Imagens  (232)
  10. Resenhas  (163)
  11. Newsletter Articles  (152)
  12. Dissertações  (53)
  13. Artigos de Jornal  (33)
  14. Recursos Textuais  (31)
  15. Verbetes  (12)
  16. Web Resources  (8)
  17. Mais opções open sub menu

Assunto 

  1. Science & Technology  (519.368)
  2. Technology  (513.537)
  3. Computer Science  (495.328)
  4. Computer Science, Software Engineering  (379.074)
  5. Engineering  (180.552)
  6. Computer Science, Theory & Methods  (140.377)
  7. Software  (138.021)
  8. Engineering, Electrical & Electronic  (135.876)
  9. Computer Science, Information Systems  (132.240)
  10. Computer Science, Hardware & Architecture  (94.914)
  11. Exact Sciences And Technology  (83.461)
  12. Applied Sciences  (78.004)
  13. Computer Science; Control Theory; Systems  (62.083)
  14. Computer Science, Artificial Intelligence  (61.497)
  15. Software Engineering  (61.430)
  16. Physical Sciences  (61.344)
  17. Algorithms  (59.845)
  18. Computer Science, Interdisciplinary Applications  (51.741)
  19. Artificial Intelligence  (47.233)
  20. Mathematics  (46.525)
  21. Science  (2.207)
  22. Softwareentwicklung  (487)
  23. Formale Methode  (241)
  24. Softwarespezifikation  (49)
  25. Component Software  (43)
  26. Engenharia De Software  (20)
  27. Generische Programmierung  (9)
  28. Engenharia De Programas  (5)
  29. Composant Logiciel  (5)
  30. Engenharia De Software  (4)
  31. Formal Methods (Computer Science)  (3)
  32. Generative Programming (Computer Science)  (2)
  33. Softwareentwicklung  (2)
  34. G ENIE LOGICIEL  (2)
  35. Metodologia E Técnicas De Programação (Congressos)  (2)
  36. Expert Systems (Computer Science)  (2)
  37. Component Software  (2)
  38. Generische Programmierung  (1)
  39. Formale Methode  (1)
  40. Seattle (Wash., 2004)  (1)
  41. Softwarespezifikation  (1)
  42. Information Systems Applications (Incl. Internet)  (1)
  43. Composant Logiciel  (1)
  44. Science  (1)
  45. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1961  (648)
  2. 1961Até1976  (6.160)
  3. 1977Até1992  (32.317)
  4. 1993Até2009  (233.159)
  5. Após 2009  (308.436)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (573.523)
  2. Japonês  (44.145)
  3. Português  (1.889)
  4. Alemão  (1.488)
  5. Espanhol  (637)
  6. Francês  (122)
  7. Turco  (114)
  8. Norueguês  (92)
  9. Chinês  (72)
  10. Russo  (48)
  11. Italiano  (10)
  12. Croatian  (7)
  13. Catalão  (6)
  14. Serbian  (5)
  15. Sueco  (5)
  16. Árabe  (4)
  17. Polonês  (4)
  18. Ucraniano  (4)
  19. Galês  (3)
  20. Dinamarquês  (2)
  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.