หนังสือดิจิตอล > วิทยาศาสตร์ > วิศวกรรม / เทคนิค > อิเล็กทรอนิกส์, วิศวกรรมไฟฟ้า > Louise A. Dennis & Michael Fisher: Verifiable Autonomous Systems (PDF)

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

สนับสนุน

ปกของ Louise A. Dennis & Michael Fisher: Verifiable Autonomous Systems (PDF)

€89.97

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา อังกฤษ ● รูป PDF ● ISBN 9781108620215 ● สำนักพิมพ์ Cambridge University Press ● การตีพิมพ์ 2023 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 9047532 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Louise A. Dennis Michael Fisher

18,519 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ Bashir Al-Hashimi: The Art of Simulation Using PSPICEAnalog and Digital

Bashir Al-Hashimi: The Art of Simulation Using PSPICEAnalog and Digital

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. …

ปกของ Susmit Bagchi: Emerging Research in Cloud Distributed Computing Systems

Susmit Bagchi: Emerging Research in Cloud Distributed Computing Systems

ปกของ Malgorzata Chrzanowska-Jeske & Kirsten Weide-Zaage: Semiconductor Devices in Harsh Conditions

Malgorzata Chrzanowska-Jeske & Kirsten Weide-Zaage: Semiconductor Devices in Harsh Conditions

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 …

ปกของ Martin J N (University of Huddersfield, West Yorkshire, United Kingdom) Sibley: Modern Telecommunications

Martin J N (University of Huddersfield, West Yorkshire, United Kingdom) Sibley: Modern Telecommunications

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 …

ปกของ Jerry C. (Technical Press, Morgan Hill, California, USA) Whitaker: Microelectronics

Jerry C. (Technical Press, Morgan Hill, California, USA) Whitaker: Microelectronics

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 …

ปกของ Ali Diab: Self-Organized Mobile Communication Technologies and Techniques for Network Optimization

Ali Diab: Self-Organized Mobile Communication Technologies and Techniques for Network Optimization

ปกของ Amit (National University of Singapore, Singapore) Banerjee & Chinmay (BITS Mesra, Jharkhand, India) Chakraborty: Artificial Intelligence and the Fourth Industrial Revolution

Amit (National University of Singapore, Singapore) Banerjee & Chinmay (BITS Mesra, Jharkhand, India) Chakraborty: Artificial Intelligence and the Fourth Industrial Revolution

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 …

ปกของ Johannes Edelmann & Peter (Munich University of Applied Sciences, Department of Mechanical, Automotive and Aeronautical Engineering, Munchen, Germany) Pfeffer: Advanced Vehicle Control

Johannes Edelmann & Peter (Munich University of Applied Sciences, Department of Mechanical, Automotive and Aeronautical Engineering, Munchen, Germany) Pfeffer: Advanced Vehicle Control

The AVEC symposium is a leading international conference in the fields of vehicle dynamics and advanced vehicle control, bringing together scientists and engineers from academia and automotive indust …

ปกของ Tertulien (IEEE, Canada) Ndjountche: Data Converters, Phase-Locked Loops, and Their Applications

Tertulien (IEEE, Canada) Ndjountche: Data Converters, Phase-Locked Loops, and Their Applications

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 …

ปกของ Frantisek Darena & Arnost Svoboda: Text Mining with Machine Learning

Frantisek Darena & Arnost Svoboda: Text Mining with Machine Learning

This book provides a perspective on the application of machine learning-based methods in knowledge discovery from natural languages texts. By analysing various data sets, conclusions which are not no …

หน้าต่อไป >>>