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
Neutrinos in a minimal 3-3-1 model
Neutrinos in a minimal 3-3-1 model
Material Type:
Artigo 		Adicionar ao Meu Espaço

Neutrinos in a minimal 3-3-1 model

Guzzo, Marcelo Moraes, 1963-; Leite, Leonardo José Ferreira, 1996-; Novelo, Sany Willian Ponce, 1992- Universidade Estadual de Campinas (Unicamp); Universidade Estadual De Campinas

GUZZO, Marcelo Moraes; LEITE, Leonardo José Ferreira; NOVELO, Sany Willian Ponce. Neutrinos in a minimal 3-3-1 model. Frontiers in physics. Lausanne : Frontiers Research Foundation, 2022. Vol. 10 (Feb., 2022), n. art. 812921, p. 1-6. Disponível em: https://hdl.handle.net/20.500.12733/5222. Acesso em: 9 ago. 2022.

2022

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

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
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
10
100 Romanian Authors in Theoretical Computer Science (presentation of the book)
100 Romanian Authors in Theoretical Computer Science (presentation of the book)
Material Type:
Resenha 		Adicionar ao Meu Espaço

100 Romanian Authors in Theoretical Computer Science (presentation of the book)

Svetlana Cojocaru ; Gheorghe Paun ; Dragos Vaida

Computer science journal of Moldova, 2018, Vol.26 (2(77)), p.190-196 [Periódico revisado por pares]

Vladimir Andrunachievici Institute of Mathematics and Computer Science

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

Data de Publicação 

De até
Refinar
  1. Antes de1960  (371)
  2. 1960Até1975  (3.956)
  3. 1976Até1991  (24.666)
  4. 1992Até2008  (160.895)
  5. Após 2008  (157.774)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (346.681)
  2. Alemão  (393)
  3. Francês  (287)
  4. Espanhol  (158)
  5. Japonês  (76)
  6. Português  (70)
  7. Eslovaco  (32)
  8. Italiano  (25)
  9. Croatian  (18)
  10. Tcheco  (12)
  11. Holandês  (11)
  12. Polonês  (8)
  13. Indeterminado  (7)
  14. Russo  (7)
  15. Sueco  (6)
  16. Turco  (4)
  17. Esloveno  (4)
  18. Africâner  (4)
  19. Árabe  (3)
  20. Bósnio  (3)
  21. Chinê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. Corpo Editorial
  3. Lopes, M
  4. Silva, A
  5. Romancini, R

Neste Assunto:

  1. Nonfiction
  2. Software
  3. Social Sciences
  4. Technology
  5. Computer Assisted Instruction

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

Buscando em bases de dados remotas. Favor aguardar.