AI In Software Engineering – alle Bücher und LPs, Seite 3

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

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

This book reports state-of-the-art results in Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. This edited bookpresents original papers on both theory and prac…

lieferbar innerhalb 2-3 Wochen

Buch

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

This volume LNAI 16099 constitutes the refereed proceedings of the 19th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2025, held in Hagen, Germany, dur…

lieferbar innerhalb 2-3 Wochen

Buch

Len Bass, Qinghua Lu, Ingo Weber, Liming Zhu
Engineering AI Systems

Master the Engineering of AI Systems: The Essential Guide for Architects and DevelopersIn today's rapidly evolving world, integrating artificial intelligence (AI) into your systems is no longer optional. …

lieferbar innerhalb 1-2 Wochen

Buch

Let's Talk AI

Lecture Notes in Computer Science - Band 15000

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 ab 2.12.2025.

Buch

Artur Guja, Marlena Siwiak, Marian Siwiak
Starting Data Analytics with Generative AI and Python

From the Back CoverGenerative AI for Data Analytics is a guide to enhancing and accelerating data analytics using ChatGPT. This book walks you through the full analytics pipeline, demonstrating the discip…

lieferbar innerhalb 1-2 Wochen

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, Canada, during May 7--8, 2025.The 9 full papers included in this…

lieferbar ab 8.12.2025.

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

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

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

Matt Kesby
Untangling AI

Put AI at the foundation of your organization with proven adoption strategies you can deploy immediatelyIn Untangling AI: Driving Business Success Through Enterprise Automation and AI Agents, founder and …

lieferbar ab 10.2.2026.

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

Marcus J. Neuer
Machine Learning for Engineers

Machine learning and artificial intelligence are ubiquitous terms for improving technical processes. However, practical implementation in real-world problems is often difficult and complex.This textbook e…

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

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

ICT for Global Innovations and Solutions

This ACSAR volume constitutes the refered proceedings of International Conference, ICGIS 2025, Virtual Event, held during April 26-27, 2025. ICGIS 2025 emphasize innovation in interdisciplinary research a…

lieferbar innerhalb 2-3 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

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

Tanvir Islam
Hands-on Deep Learning

This book is designed for data scientists and machine learning engineers who are keen to dive deep into the complexities of deep learning. The book is particularly useful for professionals in industries w…

lieferbar ab 5.12.2025.

Buch

Marily Nika
Building AI-Powered Products

Drawing from her experience at Google and Meta, Dr. Marily Nika delivers the definitive guide for product managers building AI and GenAI powered products. Packed with smart strategies, actionable tools, a…

sofort lieferbar

Buch

Nick Durkin, Eric Minick, Chinmay Gaikwad
Ai-Native Software Delivery

AI coding assistants are helping teams create software faster than ever. But to turn that speed into real innovation, organizations must go beyond writing code and deliver software quickly, securely, and …

lieferbar innerhalb 1-2 Wochen

Buch

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.