Louise A. Dennis & Michael Fisher 
Verifiable Autonomous Systems [PDF ebook] 
Using Rational Agents to Provide Assurance about Decisions Made by Machines

When it comes to electronics, demand grows as technology shrinks. From consumer and industrial markets to military and aerospace applications, the call is for more functionality in smaller and smalle …

This comprehensive volume covers both elementary and advanced analog and digital circuit simulation using PSpice. The text includes many worked examples, circuit diagrams, tables, and code listings. …

This book presents the overall technology spectrum in artificial intelligence (AI) and the Fourth Industrial Revolution, which is set to revolutionize the world. It discusses their various aspects an …

This book introduces the reader to a number of challenges for the operation of electronic devices in various harsh environmental conditions. While some chapters focus on measuring and understanding t …

Telecommunications is fundamental to modern society, with nearly everyone on the planet having access to a mobile phone, Wi-Fi, or satellite and terrestrial broadcast systems. This book is a concise …

With a focus on designing and verifying CMOS analog integrated circuits, the book reviews design techniques for mixed-signal building blocks, such as Nyquist and oversampling data converters, and cir …

Exponential improvement in functionality and performance of digital integrated circuits has revolutionized the way we live and work. The continued scaling down of MOS transistors has broadened the sc …

A multiplicity of techniques and angles of attack are incorporated in 18 contributions describing recent developments in the structure, architecture, programming, control, and implementation of indus …