Ki Engineering – alle Bücher, Seite 3

Service-Oriented Computing

This book constitutes the revised selected papers of the 19th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2025, held in Crete, Greece, during June 16--21, 2025.The 8 full papers a…

lieferbar innerhalb 2-3 Wochen

Buch

Algorithmic Foundations of Robotics XVI, Volume 2

Springer Proceedings in Advanced Robotics - Band 38

This book is the second volume of two that present research advances on algorithmic robotics written by leading experts in the field. Algorithms are a fundamental component of robotic systems: they contro…

lieferbar ab 10.3.2026.

Buch

Advances in Practical Applications of Agents, Multi-Agent Systems, and Computational Social Science: The PAAMS Collection

.- Main Track. .- Transformer Based Models for Offline Multi-Agent Reinforcement Learning. .- Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information. .- Optimizing…

lieferbar innerhalb 2-3 Wochen

Buch

Services Computing - SCC 2025

This book constitutes the refereed proceedings of the 22nd International Conference on Services Computing -- SCC 2025, Held as Part of the Services Conference Federation, SCF 2025, held in Hong Kong, Chin…

lieferbar innerhalb 2-3 Wochen

Buch

Molecular Robotics II

This book proposes an innovative concept of chemical AI and discusses fundamental technologies, methods, and theories used for Molecular Cybernetics. Research on so-called "chemical artificial intell…

lieferbar ab 1.2.2026.

Buch

Computer and Communication Engineering

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…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.The…

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

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

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

Buch

Product-Focused Software Process Improvement. Industry, Doctoral-Symposium, Tutorial, and Workshop Papers

Industry Papers.- Obtaining Test Data in the Estonian e-Government System: Challenges and Improvement Potential.- From C to Rust -- How Feasible is it?.- Cross-Domain Evaluation of Transformer-Based Vulne…

lieferbar innerhalb 2-3 Wochen

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

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

Buch

Applications and Usability of Interactive TV

.- Technologies, services, and applications for digital TV..- Integration of content in TVC+ through the second screen..- Innovative Design and Implementation of a Low-Cost ISDB-T Receiver and Transport S…

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

Buch

Hybrid Human-AI Collaborative Networks

This two-volume set, IFIP AICT 770-771, constitutes the refereed proceedings of the 26th IFIP WG 5.5 SOCOLNET Working Conference on Virtual Enterprises on Hybrid Human-AI Collaborative Networks, PRO-VE 20…

lieferbar innerhalb 2-3 Wochen

Buch

Model Checking Software

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar innerhalb 2-3 Wochen

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

Hybrid Human-AI Collaborative Networks

This two-volume set, IFIP AICT 770-771, constitutes the refereed proceedings of the 26th IFIP WG 5.5 SOCOLNET Working Conference on Virtual Enterprises on Hybrid Human-AI Collaborative Networks, PRO-VE 20…

lieferbar innerhalb 2-3 Wochen

Buch

Let's Talk AI

This unique open access volume represents an interdisciplinary dialog with top-class researchers and practitioners on the Artificial Intelligence revolution. The contributions derive from structured inter…

lieferbar innerhalb 2-3 Wochen

Buch