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
|
Statistical Methods for Annotation AnalysisWilkens, RodrigoComputational Linguistics, 2023, Vol.49 (3), p.763-765 [Periódico revisado por pares]Cambridge: MIT Press Journals, TheTexto completo disponível |
|
10 |
Material Type: Resenha
|
6G: The Next Horizon: From Connected People and Things to Connected IntelligenceRong, BoIEEE Wireless Communications, 2021, Vol.28 (5), p.8-8 [Periódico revisado por pares]New York: IEEETexto completo disponível |