Handbook of Model Checking

  • Length: 1210 pages
  • Publication Date: 2018-03-20

Practical Electronics for Inventors, 4th Edition

  • Length: 1056 pages
  • Publication Date: 2016-03-24

Logics for Computer Science: Classical and Non-Classical

  • Length: 535 pages
  • Publication Date: 2018-09-28

Fundamentals of Digital Logic with Verilog Design, 3rd Edition

  • Length: 864 pages
  • Publication Date: 2013-02-12

Digital Logic Design: A Rigorous Approach

  • Length: 365 pages
  • Publication Date: 2012-10-08

Mathematical Aspects of Computer and Information Sciences

  • Length: 462 pages
  • Publication Date: 2018-01-25

Bernard Bolzano: Theory of Science ( 4 Volumes)

  • Length: 2044 pages
  • Publication Date: 2014-05-27

Principles and Structures of FPGAs

  • Length: 231 pages
  • Publication Date: 2018-10-02