Ki Engineering – alle Bücher, Seite 3

Wir konnten keine exakten Treffer zu Ihrer Suche nach "ki engineering" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:

Software Engineering and Formal Methods

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10--14, 2025.The 13 full papers and 2 sho…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 81,04

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
Aktueller Preis: EUR 72,27

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
Aktueller Preis: EUR 54,75

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.4.2026.
Buch
Aktueller Preis: EUR 186,19

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
Aktueller Preis: EUR 76,66

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
Aktueller Preis: EUR 89,80

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
Aktueller Preis: EUR 72,27

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
Aktueller Preis: EUR 43,80

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 8.4.2026.
Buch
Aktueller Preis: EUR 306,65

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.3.2026.
Buch
Aktueller Preis: EUR 106,66

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 28.2.2026.
Buch
Aktueller Preis: EUR 53,32

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
Aktueller Preis: EUR 63,51

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
Aktueller Preis: EUR 120,46

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
Aktueller Preis: EUR 43,80

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
Vorheriger Preis EUR 63,51, reduziert um 22%
Aktueller Preis: EUR 49,28

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
Aktueller Preis: EUR 131,42

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
Aktueller Preis: EUR 131,42

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
Aktueller Preis: EUR 131,42

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
Aktueller Preis: EUR 49,95

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
Aktueller Preis: EUR 63,51
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.