Digital Sketching: Computer-Aided Conceptual Design

  • Length: 256 pages
  • Publication Date: 2020-12-30

Model Checking Quantum Systems

  • Length: 220 pages
  • Publication Date: 2021-02-01