Ki Engineering – all Bücher, Page 4

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…

deliverable within 2-3 weeks

Buch

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…

deliverable within 2-3 weeks

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

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

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

Emerging Electronics and Automation, Volume 2

Lecture Notes in Electrical Engineering - volume 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…

deliverable within 2-3 weeks

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 …

available for immediate delivery

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

deliverable within 2-3 weeks

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…

available for immediate delivery

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…

available for immediate delivery

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…

deliverable within 2-3 weeks

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

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

Rohit Thanki, Sejal Shah
Artificial Intelligence for Early Detection and Diagnosis of Oral Cancer

Signals and Communication Technology

This book analyzes using artificial intelligence (AI) for the purpose of oral cancer early detection. The book explores how advanced computer algorithms can analyze medical images, transcriptomic/epigenet…

lieferbar ab 20.12.2025.

Buch