E-kitap > Bilim > Mühendislik / Teknik > Elektronik, Elektrik Mühendisliği > Louise A. Dennis & Michael Fisher: Verifiable Autonomous Systems (PDF)

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

Destek

Adobe DRM

Örtmek Louise A. Dennis & Michael Fisher: Verifiable Autonomous Systems (PDF)

€87.40

Dil İngilizce ● Biçim PDF ● ISBN 9781108620215 ● Yayımcı Cambridge University Press ● Yayınlanan 2023 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 9047532 ● Kopya koruma Adobe DRM

DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

Louise A. Dennis Michael Fisher

18.083 Bu kategorideki e-kitaplar

Örtmek Padmalaya (Rangaraju Inst. of Eng. & Tech.) Nayak: Intelligent Computing on IoT 2.0, Big Data Analytics, and Block Chain Technology

Padmalaya (Rangaraju Inst. of Eng. & Tech.) Nayak: Intelligent Computing on IoT 2.0, Big Data Analytics, and Block Chain Technology

The book is designed as a reference text and explores the concepts and techniques of Io T, artificial intelligence (AI), and blockchain. It also discusses the possibility of applying blockchain for p …

Örtmek Prerna Ajmani & Balamurugan (Shiv Nadar Uni.) Balusamy: Wireless Communication Technologies

Prerna Ajmani & Balamurugan (Shiv Nadar Uni.) Balusamy: Wireless Communication Technologies

This book introduces recent wireless technologies and their impact on recent trends, applications, and opportunities. It explores the latest 6G, Io T, and Blockchain techniques with AI and evolutiona …

Örtmek Abhijit S. (Florida Atlantic University, Boca Raton, Florida, USA) Pandya & Ercan (Siemens Stromberg-Carlson, Boca Raton, Florida, USA) Sen: ATM Technology for Broadband Telecommunications Networks

Abhijit S. (Florida Atlantic University, Boca Raton, Florida, USA) Pandya & Ercan (Siemens Stromberg-Carlson, Boca Raton, Florida, USA) Sen: ATM Technology for Broadband Telecommunications Networks

This textbook presents all the latest information on all aspects of each important component of ATM – the hottest telecommunications technology of this decade. It demonstrates how ATM internetworks …

Örtmek Ugo Fiore & Valeriy Kharchenko: Handbook of Research on Smart Technology Models for Business and Industry

Ugo Fiore & Valeriy Kharchenko: Handbook of Research on Smart Technology Models for Business and Industry

Advances in machine learning techniques and ever-increasing computing power has helped create a new generation of hardware and software technologies with practical applications for nearly every …

Örtmek Wen-Long Chin: Principles of Verilog Digital Design

Wen-Long Chin: Principles of Verilog Digital Design

Covering both the fundamentals and the in-depth topics related to Verilog digital design, both students and experts can benefit from reading this book by gaining a comprehensive understanding of how …

Örtmek Trevor J. Cox & Francis F. Li: Digital Signal Processing in Audio and Acoustical Engineering

Trevor J. Cox & Francis F. Li: Digital Signal Processing in Audio and Acoustical Engineering

Starting with essential maths, fundamentals of signals and systems, and classical concepts of DSP, this book presents, from an application-oriented perspective, modern concepts and methods of DSP inc …

Örtmek Chandrasekar Vuppalapati: Democratization of Artificial Intelligence for the Future of Humanity

Chandrasekar Vuppalapati: Democratization of Artificial Intelligence for the Future of Humanity

Artificial intelligence (AI) stands out as a transformational technology of the digital age. Its practical applications are growing very rapidly. One of the chief reasons AI applications are attainin …

Örtmek Edmond J. Murphy: Integrated Optical Circuits and Components

Edmond J. Murphy: Integrated Optical Circuits and Components

Updates the advancements made in the level of achievable integration of optical circuits and components in the last ten years–highlighting the commercial success of particular devices as well as …

Örtmek Kavita (Maulana Azad National Institute Of Engineering, India) Khare & Afreen (Indian Institute of Information Technology, Bhopal, India) Khursheed: Nano Interconnects

Kavita (Maulana Azad National Institute Of Engineering, India) Khare & Afreen (Indian Institute of Information Technology, Bhopal, India) Khursheed: Nano Interconnects

This textbook comprehensively covers on-chip interconnect dimension and application of carbon nanomaterials for modeling VLSI interconnect and buffer circuits. It provides analysis of ultra-low p …

Örtmek Mohamed (Queen's University, Kingston, Ontario, Canada) Ibnkahla: Cooperative Cognitive Radio Networks

Mohamed (Queen’s University, Kingston, Ontario, Canada) Ibnkahla: Cooperative Cognitive Radio Networks

Cooperative Cognitive Radio Networks: The Complete Spectrum Cycle provides a solid understanding of the foundations of cognitive radio technology, from spectrum sensing, access, and handoff to routin …

Sonraki Sayfa >>>