skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Certifications of Critical Systems - The CECRIS Experience
Certifications of Critical Systems - The CECRIS Experience
Material Type:
Livro 		Adicionar ao Meu Espaço

Certifications of Critical Systems - The CECRIS Experience

Bondavalli, Andrea Brancati, Francesco ; Bondavalli, Andrea ; Bondavalli, Andrea ; Brancati, Francesco

Aalborg: Routledge 2017

Texto completo disponível

Citações Citado por
2
Electronic digital computers
Material Type:
Livro 		Adicionar ao Meu Espaço

Electronic digital computers

Charles V. L. Smith

New York McGraw-Hill 1959

Localização: EPBC - Esc. Politécnica-Bib Central    (004.386 Sm53e )(Acessar)

3
Designer’s Guide to VHDL (3rd Edition)
Designer’s Guide to VHDL (3rd Edition)
Material Type:
Livro 		Adicionar ao Meu Espaço

Designer’s Guide to VHDL (3rd Edition)

Ashenden, Peter J

San Diego: Elsevier 2008

Texto completo disponível

Citações Citado por
4
Electronic Digital Computers: Their Use in Science and Engineering
Electronic Digital Computers: Their Use in Science and Engineering
Material Type:
Livro 		Adicionar ao Meu Espaço

Electronic Digital Computers: Their Use in Science and Engineering

Alt, Franz L

San Diego: Elsevier Science & Technology 1958

Texto completo disponível

Citações Citado por
5
High Performance Computing: 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings
High Performance Computing: 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

High Performance Computing: 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings

Kunkel, Julian M ; Balaji, Pavan ; Dongarra, Jack Dongarra, Jack ; Kunkel, Julian M ; Balaji, Pavan ; Kunkel, Julian M. ; Balaji, Pavan ; Dongarra, Jack

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
6
High Performance Computing: ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers
High Performance Computing: ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

High Performance Computing: ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers

Taufer, Michela ; Mohr, Bernd ; Kunkel, Julian M Mohr, Bernd ; Taufer, Michela ; Kunkel, Julian M ; Taufer, Michela ; Mohr, Bernd ; Kunkel, Julian M.

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
7
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Blanchette, Jasmin Christian ; Merz, Stephan Blanchette, Jasmin Christian ; Merz, Stephan ; Merz, Stephan ; Blanchette, Jasmin Christian

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
8
Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings
Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings

Voges, Udo Voges, Udo

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
9
Language Design and Programming Methodology: Proceedings of a Symposium Held in Sydney, Australia, 10–11 September, 1979
Language Design and Programming Methodology: Proceedings of a Symposium Held in Sydney, Australia, 10–11 September, 1979
Material Type:
Livro 		Adicionar ao Meu Espaço

Language Design and Programming Methodology: Proceedings of a Symposium Held in Sydney, Australia, 10–11 September, 1979

Tobias, Jeffrey M Tobias, Jeffrey M.

Berlin, Heidelberg: Springer Berlin Heidelberg 1980

Texto completo disponível

Citações Citado por
10
ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976
ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976
Material Type:
Livro 		Adicionar ao Meu Espaço

ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics Amsterdam, August 9–12, 1976

Samelson, K Samelson, K.

Berlin, Heidelberg: Springer Berlin Heidelberg 1976

Texto completo disponível

Citações Citado por
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 (1.187.641)
  2. Revistas revisadas por pares (660.051)
  3. Disponível na Biblioteca (867)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (777.934)
  2. magazinearticle  (121.720)
  3. Anais de Congresso  (94.274)
  4. Newsletter Articles  (70.180)
  5. Book Chapters  (40.909)
  6. Verbetes  (37.445)
  7. Livros  (16.035)
  8. Artigos de Jornal  (9.521)
  9. Resenhas  (9.431)
  10. Reports  (7.765)
  11. Standards  (1.826)
  12. Conjunto de Dados  (721)
  13. Dissertações  (367)
  14. Recursos Textuais  (199)
  15. Videos  (64)
  16. Produções Acadêmicas  (42)
  17. Web Resources  (38)
  18. Imagens  (32)
  19. Documentos Governamentais  (11)
  20. Outros  (9)
  21. Audiovisuais  (3)
  22. Software  (1)
  23. Newspapers  (1)
  24. Produções Técnicas  (1)
  25. Revistas  (1)
  26. Mais opções open sub menu

Assunto 

  1. Science & Technology  (569.063)
  2. Technology  (446.889)
  3. Engineering  (276.965)
  4. Computer Science  (201.145)
  5. Engineering, Electrical & Electronic  (189.309)
  6. Physical Sciences  (154.188)
  7. Life Sciences & Biomedicine  (125.906)
  8. Algorithms  (86.573)
  9. Social Sciences  (74.747)
  10. Computer Science, Information Systems  (74.058)
  11. Exact Sciences And Technology  (69.067)
  12. Physics  (68.446)
  13. Software  (66.504)
  14. Chemistry  (65.960)
  15. Humans  (61.508)
  16. Telecommunications  (55.081)
  17. Internet  (54.562)
  18. Materials Science  (51.068)
  19. Artificial Intelligence  (49.963)
  20. Methods  (49.912)
  21. Computers  (26.870)
  22. Electronic Data Processing  (5.171)
  23. Electronic Digital Computers  (2.366)
  24. Electronic Digital Computers  (822)
  25. Computer Algorithms  (255)
  26. Fortran  (230)
  27. Computadores Digitais  (170)
  28. Metodologia E Técnicas De Computação  (114)
  29. Electronic Data Processing  (113)
  30. Arquitetura E Organização De Computadores  (91)
  31. Linguagem De Programação  (83)
  32. Ciência Da Computação  (82)
  33. Programming Languages (Electronic Computers)  (55)
  34. Engenharia De Software  (51)
  35. Computação Aplicada  (50)
  36. Algoritmos E Estruturas De Dados  (49)
  37. Computer Algorithms  (37)
  38. Fortran (Computer Program Language)  (37)
  39. Teoria Da Computação  (35)
  40. Fortran  (32)
  41. Processamento Eletrônico De Dados  (29)
  42. Computers  (28)
  43. Computabilidade E Complexidade  (26)
  44. Softwares  (26)
  45. Metodologia E Técnicas De Programação  (26)
  46. Computadores Digitais  (14)
  47. Linguagem De Programação  (11)
  48. Arquitetura E Organização De Computadores  (9)
  49. Algoritmos E Estruturas De Dados  (8)
  50. Teoria Da Computação  (7)
  51. Computação Aplicada  (6)
  52. Computabilidade E Complexidade  (5)
  53. Softwares  (3)
  54. Engenharia De Software  (2)
  55. Processamento Eletrônico De Dados  (2)
  56. Ciência Da Computação  (1)
  57. Metodologia E Técnicas De Programação  (1)
  58. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1962  (1.507)
  2. 1962Até1976  (8.267)
  3. 1977Até1991  (28.321)
  4. 1992Até2007  (305.932)
  5. Após 2007  (859.582)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.181.358)
  2. Japonês  (54.999)
  3. Português  (4.748)
  4. Espanhol  (4.413)
  5. Alemão  (1.870)
  6. Francês  (1.160)
  7. Chinês  (510)
  8. Russo  (401)
  9. Norueguês  (398)
  10. Ucraniano  (299)
  11. Turco  (218)
  12. Polonês  (204)
  13. Italiano  (204)
  14. Tcheco  (153)
  15. Croatian  (135)
  16. Africâner  (134)
  17. Lituano  (131)
  18. Árabe  (130)
  19. Catalão  (125)
  20. Esloveno  (121)
  21. Indeterminado  (2)
  22. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.