Natural Language Processing for Electronic Design Automation

Fundamentals of Digital Logic and Microcontrollers: Edition 6

Compact Models and Measurement Techniques for High-Speed Interconnects

Formal System Verification: State-of the-Art and Future Trends

Applying Math with Python: Over 70 practical recipes for solving real-world computational math problems, Edition 2

Information Storage: A Multidisciplinary Perspective

Model and Design of Improved Current Mode Logic Gates: Differential and Single-ended

Formal Specification Level: Concepts, Methods, and Algorithms

Advanced Logic Synthesis

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015

Programmable Logic Controllers: Edition 6

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Digital Logic Design: Edition 2

Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems

A Practical Introduction to Computer Architecture

Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings