Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Resenha
|
![]() |
Computer science: Visionary of virtual realityFaisal, AldoNature, 2017, Vol.551 (7680), p.298-299 [Periódico revisado por pares]England: Nature Publishing GroupTexto completo disponível |
2 |
Material Type: Resenha
|
![]() |
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 PBAngius, NicolaMetascience, 2024, Vol.33 (1), p.123-126Dordrecht: Springer NetherlandsTexto completo disponível |
3 |
Material Type: Resenha
|
![]() |
Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553-8BRINGSJORD, SELMER ; GOVINDARAJULU, NAVEEN SUNDARTheory and Practice of Logic Programming, 2021, Vol.21 (2), p.283-290 [Periódico revisado por pares]Cambridge: Cambridge University PressTexto completo disponível |
4 |
Material Type: Resenha
|
![]() |
Temporal Logics in Computer Science — Finite-State SystemsPinchinat, SophieStudia Logica: An International Journal for Symbolic Logic, 2019, Vol.107 (5), p.1083-1088 [Periódico revisado por pares]SpringerTexto completo disponível |
5 |
Material Type: Resenha
|
![]() |
Turing’s Vision: The Birth of Computer ScienceThomas, WolfgangIsis, 2018, Vol.109 (1), p.213-214 [Periódico revisado por pares]Chicago: University of Chicago PressTexto completo disponível |
6 |
Material Type: Resenha
|
![]() |
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/84742646Ismail, AgussalimEducation 3-13, 2023, p.1-2 [Periódico revisado por pares]Texto completo disponível |
7 |
Material Type: Resenha
|
![]() |
Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58Lodaya, KamalThe Bulletin of Symbolic Logic, 2017, Vol.23 (2), p.203-204 [Periódico revisado por pares]Cambridge University PressTexto completo disponível |
8 |
Material Type: Resenha
|
![]() |
100 Romanian Authors in Theoretical Computer Science (presentation of the book)Svetlana Cojocaru ; Gheorghe Paun ; Dragos VaidaComputer science journal of Moldova, 2018, Vol.26 (2(77)), p.190-196 [Periódico revisado por pares]Vladimir Andrunachievici Institute of Mathematics and Computer ScienceTexto completo disponível |
9 |
Material Type: Resenha
|
![]() |
Principles of computer science.(Book review)Knee, MCHOICE: Current Reviews for Academic Libraries, 2017, Vol.54 (12), p.1792Middletown: American Library Association CHOICETexto completo disponível |
10 |
Material Type: Resenha
|
![]() |
Using Computer Science in High-Tech Health and Wellness CentersSeidman, CaryThe Science Teacher, 2017, Vol.84 (8), p.66-66 [Periódico revisado por pares]Washington: National Science Teachers AssociationTexto completo disponível |