Formal Verification of Control System Software

  • Length: 232 pages
  • Publication Date: 2019-05-14

Beginning Ethereum Smart Contracts Programming

  • Length: 293 pages
  • Publication Date: 2019-09-23

Practical Domain-Driven Design in Enterprise Java

  • Length: 381 pages
  • Publication Date: 2019-09-28

Migrating ASP.NET Microservices to ASP.NET Core: By Example

  • Length: 150 pages
  • Publication Date: 2019-09-16

Artificial Intelligence Applications and Innovations

  • Length: 244 pages
  • Publication Date: 2019-05-15