The Correctness-by-Construction Approach to Programming
- Length: 277 pages
- Publication Date: 2012-04-11
Computational Intelligence in Complex Decision Systems
by Da Ruan
- Length: 404 pages
- Publication Date: 2010-06-03
Fundamentals of Digital and Computer Design with VHDL
- Length: 736 pages
- Publication Date: 2011-09-23
Digital Design, 5th Edition
- Length: 576 pages
- Publication Date: 2012-01-12
Sets, Logic and Maths for Computing, 2nd Edition
- Length: 304 pages
- Publication Date: 2012-03-31
Principles and Practice of Constraint Programming – CP 2011
- Length: 860 pages
- Publication Date: 2011-11-03
Proofs and Algorithms: An Introduction to Logic and Computability
by Gilles Dowek
- Length: 203 pages
- Publication Date: 2011-01-13
Proofs and Computations
- Length: 480 pages
- Publication Date: 2012-01-16
