Ki Engineering – alle Bücher, Seite 4

Frontiers of Combining Systems

This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29--October 1, 2…

lieferbar innerhalb 2-3 Wochen

Buch

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took pl…

lieferbar innerhalb 2-3 Wochen

Buch

Computational Intelligence in Drug Development

Series in BioEngineering

This book offers a comprehensive overview of cutting-edge computational strategies in drug discovery, with a focus on in silico approaches that accelerate the identification and optimization of therapeuti…

lieferbar ab 20.12.2025.

Buch

Constrained Control and Machine Learning

Internet of Things

This book addresses the use of constrained control and machine learning approaches within data-driven settings in the field of autonomous robots for Industry 5.0 and Intelligent Transportation Systems. Th…

lieferbar ab 13.12.2025.

Buch

Norashikin M. Thamrin, Addie Irawan, Zurita Zulkifli, Syed Abdul Mutalib Al Junid
Robotics in Education

SpringerBriefs in Applied Sciences and Technology

This book investigates robotics' role in transforming STEM education through critical thinking and interdisciplinary skill development. Spanning six chapters, it examines robotics' ability to enhance tech…

lieferbar ab 15.12.2025.

Buch

Emerging Electronics and Automation, Volume 2

Lecture Notes in Electrical Engineering - Band 1469

This book contains peer-reviewed papers presented at the 4th International Conference on Emerging Electronics and Automation (E2A) 2024. It aims to provide a compilation of the scientific exchanges during…

lieferbar ab 24.3.2026.

Buch

Runtime Verification

.- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

lieferbar innerhalb 2-3 Wochen

Buch

Applications and Usability of Interactive TV

This book constitutes the refereed proceedings of the 13th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2024, held in Santo Domingo, Dominican Republic, during November …

sofort lieferbar

Buch

Zhijin Qin, Wei Chen
Semantic Communications

Textbooks in Telecommunication Engineering

This textbook provides a comprehensive, step-by-step guide to Semantic Communications, focusing on how deep learning enhances its performance in modern communication systems. The purpose of the book is to…

lieferbar ab 11.1.2026.

Buch

Jeffrey W. Herrmann
Metareasoning for Robots

Synthesis Lectures on Computer Science

This Second Edition provides an essential resource that robotics researchers and engineers can use to make their robots smarter. This book includes design guidelines and helpful examples from state-of-the…

lieferbar ab 21.1.2026.

Buch

Computer and Communication Engineering

Communications in Computer and Information Science - Band 2642

This volume constitutes the revised selected papers of 5th International Conference on Computer and Communication Engineering, CCCE 2025, in Helsinki, Finland, during May 23--25, 2025.The 12 full papers i…

mind. 2 Monate

Buch

Systems, Software and Services Process Improvement

The two-volume set CCIS 2657 + 2658 constitutes the refereed proceedings of the 32nd European Conference on Systems, Software and Services Process Improvement, EuroSPI 2025, held in Riga, Latvia, during S…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

sofort lieferbar

Buch

Suparna Biswas
Machine Learning and Deep Learning in Human Activity Recognition and Fall Detection

Signals and Communication Technology

This book presents research into the domain of Human Activity Recognition (HAR) and Fall Detection (FD), with a focus on the seamless monitoring and support of elderly people. The author shows how current…

lieferbar ab 23.1.2026.

Buch

Michael Kofler, Bernd Öggl, Sebastian Springer
AI-Assisted Coding

Generative AI is transforming software development. Stay on the cutting edge with this guide to AI pair programming! Learn how to make the most of modern tools like ChatGPT and GitHub Copilot to improve y…

sofort lieferbar

Buch

ICT for Global Innovations and Solutions

.- Advancing Vision-Language Models with Generative AI. .- A¨erlink: Blockchain-Enabled Supply-Chain Transparency for Counterfeit Prevention. .- Revolutionizing Shift-Left Testing through an Agentic AI Fr…

lieferbar innerhalb 2-3 Wochen

Buch

Lin Guo, Janet K. Allen, Farrokh Mistree
Architecting a Satisficing Strategy for Designing Complex Systems

In this book, the authors describe how designers evolve their designs through the Design Evolution Cycle. It identifies challenges associated with designing complex systems, such as dealing with multiple …

lieferbar ab 17.12.2025.

Buch

Michael Bühler, Konrad Nübel, Lothar Köhler, Thorsten Jelinek
Digitale und KI-gestützte Produktivitätsanalyse im Bauwesen - Der smarte Einstieg für KMU

Der Auftaktband der Reihe „Bauwirtschaft und -management" richtet sich gezielt an kleine und mittlere Unternehmen (KMU) im Bauwesen, die den tiefgreifenden Wandel, getrieben durch Digitalisierung, Fa…

Erscheint bald

Buch

Transformative Cloud Computing, IoT and Extended Reality

Signals and Communication Technology

This book explores the research on applications for smart cities, education, healthcare, industry and business through the integration of cloud computing, IoT and extended reality. Written by internationa…

lieferbar ab 4.1.2026.

Buch

Khalid Shaikh, Rohit Thanki, Affaan Shaikh
Artificial Intelligence in Drug Discovery and Development

Synthesis Lectures on Engineering, Science, and Technology

This book provides a comprehensive exploration of how artificial intelligence (AI) is transforming every stage of drug discovery and development---from the initial identification of drug targets to clinic…

lieferbar ab 20.12.2025.

Buch