skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Resenhas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer science: Visionary of virtual reality
Computer science: Visionary of virtual reality
Material Type:
Resenha 		Adicionar ao Meu Espaço

Computer science: Visionary of virtual reality

Faisal, Aldo

Nature, 2017, Vol.551 (7680), p.298-299 [Periódico revisado por pares]

England: Nature Publishing Group

Texto completo disponível

Citações Citado por
2
Bits and qubits
Bits and qubits
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bits and qubits

Universidade Estadual de Campinas (Unicamp); Lavor, Carlile Campos, 1968-; Universidade Estadual De Campinas

https://repositorio.unicamp.br/acervo/detalhe/1224734

2019

Acesso online

3
What is (the philosophy of) computer science?: William J. Rapaport: Philosophy of computer science: an introduction to the issues and the literature. Hoboken, N. J.: John Wiley, Sons, 2023, 528pp, $44.95 PB
What is (the philosophy of) computer science?: William J. Rapaport: Philosophy of computer science: an introduction to the issues and the literature. Hoboken, N. J.: John Wiley, Sons, 2023, 528pp, $44.95 PB
Material Type:
Resenha 		Adicionar ao Meu Espaço

What is (the philosophy of) computer science?: William J. Rapaport: Philosophy of computer science: an introduction to the issues and the literature. Hoboken, N. J.: John Wiley, Sons, 2023, 528pp, $44.95 PB

Angius, Nicola

Metascience, 2024, Vol.33 (1), p.123-126

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
4
Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553-8
Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553-8
Material Type:
Resenha 		Adicionar ao Meu Espaço

Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553-8

BRINGSJORD, SELMER ; GOVINDARAJULU, NAVEEN SUNDAR

Theory and Practice of Logic Programming, 2021, Vol.21 (2), p.283-290 [Periódico revisado por pares]

Cambridge: Cambridge University Press

Texto completo disponível

Citações Citado por
5
Temporal Logics in Computer Science — Finite-State Systems
Temporal Logics in Computer Science — Finite-State Systems
Material Type:
Resenha 		Adicionar ao Meu Espaço

Temporal Logics in Computer Science — Finite-State Systems

Pinchinat, Sophie

Studia Logica: An International Journal for Symbolic Logic, 2019, Vol.107 (5), p.1083-1088 [Periódico revisado por pares]

Springer

Texto completo disponível

Citações Citado por
6
Turing’s Vision: The Birth of Computer Science
Turing’s Vision: The Birth of Computer Science
Material Type:
Resenha 		Adicionar ao Meu Espaço

Turing’s Vision: The Birth of Computer Science

Thomas, Wolfgang

Isis, 2018, Vol.109 (1), p.213-214 [Periódico revisado por pares]

Chicago: University of Chicago Press

Texto completo disponível

Citações Citado por
7
Models for the modern power grid
Models for the modern power grid
Material Type:
Artigo 		Adicionar ao Meu Espaço

Models for the modern power grid

Cardieri, Paulo, 1964- Universidade Estadual de Campinas (Unicamp); Universidade Estadual De Campinas

https://repositorio.unicamp.br/acervo/detalhe/1191204

2014

Acesso online

8
Early computer science education – goals and success criteria for pre-primary and primary education Early computer science education – goals and success criteria for pre-primary and primary education , edited by Nadine Bergner, Hilde Köster, Johannes Magenheim, Kathrin Müller, Ralf Romeike, Ulrik Schroeder, and Carsten Schulte, Berlin, Toronto, Verlag Barbara Budrich Opladen, 2023, 338 pp., $27,64 (Paperback), ISBN 978-3 8474-2646-2, eISBN 978-3-8474-1816-0 (PDF), DOI 10.3224/84742646: edited by Nadine Bergner, Hilde Köster, Johannes Magenheim, Kathrin Müller, Ralf Romeike, Ulrik Schroeder, and Carsten Schulte, Berlin, Toronto, Verlag Barbara Budrich Opladen, 2023, 338 pp., $27,64 (Paperback), ISBN 978-3 8474-2646-2, eISBN 978-3-8474-1816-0 (PDF), DOI 10.3224/84742646
Early computer science education – goals and success criteria for pre-primary and primary education Early computer science education – goals and success criteria for pre-primary and primary education , edited by Nadine Bergner, Hilde Köster, Johannes Magenheim, Kathrin Müller, Ralf Romeike, Ulrik Schroeder, and Carsten Schulte, Berlin, Toronto, Verlag Barbara Budrich Opladen, 2023, 338 pp., $27,64 (Paperback), ISBN 978-3 8474-2646-2, eISBN 978-3-8474-1816-0 (PDF), DOI 10.3224/84742646: edited by Nadine Bergner, Hilde Köster, Johannes Magenheim, Kathrin Müller, Ralf Romeike, Ulrik Schroeder, and Carsten Schulte, Berlin, Toronto, Verlag Barbara Budrich Opladen, 2023, 338 pp., $27,64 (Paperback), ISBN 978-3 8474-2646-2, eISBN 978-3-8474-1816-0 (PDF), DOI 10.3224/84742646
Material Type:
Resenha 		Adicionar ao Meu Espaço

Early computer science education – goals and success criteria for pre-primary and primary education Early computer science education – goals and success criteria for pre-primary and primary education , edited by Nadine Bergner, Hilde Köster, Johannes Magenheim, Kathrin Müller, Ralf Romeike, Ulrik Schroeder, and Carsten Schulte, Berlin, Toronto, Verlag Barbara Budrich Opladen, 2023, 338 pp., $27,64 (Paperback), ISBN 978-3 8474-2646-2, eISBN 978-3-8474-1816-0 (PDF), DOI 10.3224/84742646: edited by Nadine Bergner, Hilde Köster, Johannes Magenheim, Kathrin Müller, Ralf Romeike, Ulrik Schroeder, and Carsten Schulte, Berlin, Toronto, Verlag Barbara Budrich Opladen, 2023, 338 pp., $27,64 (Paperback), ISBN 978-3 8474-2646-2, eISBN 978-3-8474-1816-0 (PDF), DOI 10.3224/84742646

Ismail, Agussalim

Education 3-13, 2023, p.1-2 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
9
The NuMI neutrino beam
The NuMI neutrino beam
Material Type:
Artigo 		Adicionar ao Meu Espaço

The NuMI neutrino beam

Coelho, João De Abreu Barbosa, 1984-; Escobar, Carlos Ourivio, 1948- Universidade Estadual de Campinas (Unicamp); Universidade Estadual De Campinas

COELHO, João de Abreu Barbosa; ESCOBAR, Carlos Ourivio. The NuMI neutrino beam. Nuclear instruments & methods in physics research. Section A, Accelerators spectrometers detectors and associated equipment. Amsterdam : Elsevier, 2016. Vol. 806 (Jan., 2016), p. 279-306. Disponível em: https://hdl.handle.net/20.500.12733/1666957. Acesso em: 16 nov. 2023.

2016

Acesso online

10
Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58
Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58
Material Type:
Resenha 		Adicionar ao Meu Espaço

Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58

Lodaya, Kamal

The Bulletin of Symbolic Logic, 2017, Vol.23 (2), p.203-204 [Periódico revisado por pares]

Cambridge University Press

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 (343.742)
  2. Revistas revisadas por pares (94.446)

Refinar Meus Resultados

Assunto 

  1. Nonfiction  (46.567)
  2. Software  (20.041)
  3. Social Sciences  (10.911)
  4. Technology  (10.147)
  5. Science & Technology  (8.826)
  6. History  (7.472)
  7. Internet  (7.276)
  8. Mathematics  (7.136)
  9. Software Reviews  (7.047)
  10. Arts & Humanities  (6.971)
  11. Computer & Video Games  (6.119)
  12. Computers  (5.065)
  13. Information Science & Library Science  (4.861)
  14. Novels  (4.115)
  15. Computer Science  (4.022)
  16. Communication  (3.925)
  17. Personal Computers  (3.870)
  18. Libraries  (3.756)
  19. Video Technology  (3.587)
  20. Textbooks  (3.323)
  21. Education  (3.128)
  22. Memory  (779)
  23. Poetry  (742)
  24. Pathology  (178)
  25. Diagnosis  (15)
  26. Editorial  (6)
  27. Artigo Original  (6)
  28. Poesia  (5)
  29. Literatura  (5)
  30. Education  (5)
  31. Expediente  (5)
  32. Memória  (4)
  33. Teatro  (4)
  34. Artigo De Pesquisa  (4)
  35. Patrimônio Cultural  (4)
  36. Apresentação  (4)
  37. Parte De Evento  (4)
  38. Incid  (4)
  39. Diagnosis  (4)
  40. Entrevista  (4)
  41. Poetry  (4)
  42. Tradução  (4)
  43. Memory  (3)
  44. Dossiê  (3)
  45. Pathology  (3)
  46. Editorial  (1)
  47. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1960  (372)
  2. 1960Até1975  (3.977)
  3. 1976Até1991  (24.703)
  4. 1992Até2008  (158.339)
  5. Após 2008  (156.572)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (342.993)
  2. Alemão  (400)
  3. Francês  (285)
  4. Espanhol  (173)
  5. Japonês  (79)
  6. Português  (76)
  7. Eslovaco  (32)
  8. Croatian  (32)
  9. Italiano  (25)
  10. Tcheco  (12)
  11. Holandês  (11)
  12. Indeterminado  (6)
  13. Polonês  (6)
  14. Sueco  (6)
  15. Russo  (5)
  16. Turco  (4)
  17. Esloveno  (4)
  18. Africâner  (4)
  19. Árabe  (3)
  20. Bósnio  (3)
  21. Finlandês  (3)
  22. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Universidade Estadual De Campinas
  2. Silva, A
  3. Corpo Editorial
  4. Santos, R
  5. Pino, C

Neste Assunto:

  1. Nonfiction
  2. Software
  3. Social Sciences
  4. Technology
  5. Science & Technology

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

Buscando em bases de dados remotas. Favor aguardar.