Ki Engineering – alle Bücher, Seite 3

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

Lecture Notes in Computer Science - Band 16143

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

Lecture Notes in Computer Science - Band 15979

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

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science - Band 16145

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

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 16.6.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…

lieferbar innerhalb 2-3 Wochen

Buch

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

Lecture Notes in Computer Science - Band 16362

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

Product-Focused Software Process Improvement

Lecture Notes in Computer Science - Band 16361

Full Research Papers.- Coverage Isn't Enough: SBFL-Driven Insights into Manually Created vs. Automatically Generated Tests.- AI Alignment for Ethical Compliance and Risk Mitigation in Industrial Applicati…

lieferbar innerhalb 2-3 Wochen

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

Buch

Job Scheduling Strategies for Parallel Processing

This book constitutes the refereed proceedings of the 28th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2025, held in Milan, Italy, during June 3-4, 2025.The 17 full …

lieferbar innerhalb 2-3 Wochen

Buch

Applications and Usability of Interactive TV

Communications in Computer and Information Science - Band 2514

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

Model Checking Software

Lecture Notes in Computer Science - Band 15945

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

Formal Methods for Industrial Critical Systems

Lecture Notes in Computer Science - Band 16040

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

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

Emily M. Bender, Alex Hanna
The AI Con

A smart, incisive take-down of the bogus claims being made about so-called 'artificial intelligence', exposing the real harm these technologies do to our jobs, health, society and environment, who stands …

lieferbar ab 23.7.2026.

Buch

Artificial Intelligence in Catalysis

Enables researchers and professionals to leverage machine learning tools to optimize catalyst design and chemical processesArtificial Intelligence in Catalysis delivers a state-of-the-art overview of arti…

sofort lieferbar

Buch

Machine Learning and Knowledge Discovery in Databases. Research Track

Lecture Notes in Computer Science - Band 16016

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Po…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Visual Informatics

Lecture Notes in Computer Science - Band 16215

This book constitutes the refereed proceedings of the 9th International Conference on Advances in Visual Informatics, IVIC 2025, held in Guangzhou, China in November 12-13, 2025. The 36 full papers presen…

lieferbar innerhalb 2-3 Wochen

Buch

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track

Lecture Notes in Computer Science - Band 16021

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Po…

lieferbar innerhalb 2-3 Wochen

Buch

Machine Learning and Knowledge Discovery in Databases. Research Track

Lecture Notes in Computer Science - Band 16019

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Po…

lieferbar innerhalb 2-3 Wochen

Buch

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track and Demo Track

Lecture Notes in Computer Science - Band 16022

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Po…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Ki Engineering" - alle Bücher