Alan Turing: His Work and Impact
- Length: 944 pages
- Publication Date: 2013-05-17
Coherence in Three-Dimensional Category Theory
by Nick Gurski
- Length: 286 pages
- Publication Date: 2013-05-06
Logic and Structure (Universitext), 5th Edition
- Length: 273 pages
- Publication Date: 2012-11-13
Representation of Multiple-Valued Logic Functions
- Length: 168 pages
- Publication Date: 2012-06-26
Digital Design and Computer Architecture, 2nd Edition
- Length: 712 pages
- Publication Date: 2012-08-07
Problem Solving and Programming Concepts, 9th Edition
- Length: 512 pages
- Publication Date: 2011-03-05
Handbook of Logic and Language, 2nd Edition
- Length: 1168 pages
- Publication Date: 2010-12-31
Mathematics of Discrete Structures for Computer Science
- Length: 309 pages
- Publication Date: 2012-09-14