Essential Logic for Computer Science
1405 Kč 1 455 Kč
Odesíláme do 3 až 5 dní
Sleva až 70% u třetiny knih
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
| Autor: | Page, Rex (Professor (Emeritus), University of Oklahoma); Gamboa, Ruben (University of Wyoming) |
| Nakladatel: | MIT Press Ltd |
| ISBN: | 9780262039185 |
| Rok vydání: | 2019 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 304 |
Mohlo by se vám také líbit..
-
Deep Learning
Kelleher, John D.
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Artificial Unintelligence
Broussard, Meredith
-
Reinforcement Learning
Richard Sutton
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
The Promise of Artificial Intelligence
Smith, Brian
-
The Deep Learning Revolution
Sejnowski, Terrence J. (Francis Crick Professor, Salk Institute for Biological Studies)
-
Machine Learning
Murphy, Kevin P.
-
A Composer's Guide to Game Music
Phillips, Winifred (Video game composer)
-
Effective Coding with VHDL
Jasinski, Ricardo
-
The Little Schemer
Friedman, Daniel
-
How AI Is Transforming the Organization
Review, MIT Sloan Management (Paul Michelman)
-
From Fingers to Digits
Boden, Margaret A.
-
Cybernetic Revolutionaries
Medina, Eden
-
The AI Advantage
Davenport, Thomas H.
-
How to Design Programs
Felleisen, Matthias