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

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

Information Storage: A Multidisciplinary Perspective

Formal Specification Level: Concepts, Methods, and Algorithms

Digital Logic Design: Edition 2

Advanced Logic Synthesis

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

A Practical Introduction to Computer Architecture

Stencyl Essentials

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

Causal Inference and Discovery in Python: Unlock the secrets of modern causal machine learning with DoWhy, EconML, PyTorch and more

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