Essential Logic for Computer Science
1752 Kč
Odesíláme do 5 až 7 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.
-
The Little Schemer
Friedman, Daniel
-
Artificial Unintelligence
Broussard, Meredith
-
Reinforcement Learning
Richard Sutton
-
Machine Learning
Murphy, Kevin P.
-
The OpenMP Common Core
Munshi, Aaftab; Gaster, Benedict; Mattson, Timothy G.; Fung, James; Ginsburg, Dan
-
Types and Programming Languages
Pierce, Benjamin A.
-
Introduction to AI Robotics
Murphy Robin
-
Handbook of Game-Based Learning
-
Cloud Computing for Machine Learning...
Hwang, Kai (Professor of Electrical Engineering and Computer Science, University of Southern California)
-
The Little Typer
Friedman, Daniel
-
Introduction to Natural Language Pro...
Eisenstein, Jacob (Assistant Professor, 20 Aloha Street)
-
An Introductory Course in Computation...
Miller, Paul B.
-
Security Requirements Engineering
Dalpiaz, Fabiano (Assistant Professor, Utrecht University); Paja, Elda (University of Trento); Giorgini, Paolo (Universi
-
How Smart Machines Think
Gerrish, Sean
-
Using MPI
Gropp, William