Software Engineering – alle Bücher und LPs, Seite 9

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

Adam Bellemare
Building Event-Driven Microservices

Event-driven microservices offer an optimal approach to harnessing event streams, reacting and responding to changes as they occur across your company. With this fully revised and updated guide, you'll le…

sofort lieferbar

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

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

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

Mouse On Mars

AAI (Limited Edition) (Grey Vinyl)

Mouse on Mars, the Berlin-based duo of Jan St. Werner and Andi Toma, approach electronic music with an inexhaustible curiosity and unparalleled ingenuity. Operating in their unique orbit within dance mu…

lieferbar innerhalb 1-2 Wochen

2 LPs

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

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

The Practice of Enterprise Modeling

Lecture Notes in Business Information Processing - Band 570

This book constitutes the proceedings of the 18th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2025, which took place in Geneva, Switzerland, during December 3-5, 2025.PoEM offers …

lieferbar ab 3.1.2026.

Buch

Johannes Kuhlmann
The Debugging Handbook

Learn dozens of tried-and-true strategies to find and fix coding mistakes with this efficient debugging guide that slashes the time required for this tedious task.Most programmers dread debugging, but it …

lieferbar ab 28.4.2026.

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

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

Lecture Notes in Computer Science - Band 16031, Lecture Notes in Artificial Intelligence

This book constitutes the refereed proceedings of the 23rd International Conference on Practical applications of Agents and Multi-Agent Systems, PAAMS 2025, held in Lille, France, during June 25--27, 2025…

lieferbar ab 31.12.2025.

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 in mind. 4 Wochen

Buch

Ken Huang, Chris Hughes
Securing AI Agents

This book focuses on agentic AI security, providing a comprehensive guide to the theoretical foundations and practical techniques required to secure the increasingly prevalent AI agent systems. It examine…

lieferbar innerhalb 2-3 Wochen

Buch

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

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

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

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

Automated Reasoning with Analytic Tableaux and Related Methods

This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during S…

lieferbar innerhalb 2-3 Wochen

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