Software-Qualität – Bücher, LPs, CDs und mehr, Seite 10

Sujeevan Vijayakumaran
DevOps

Optimize your software development lifecycle with DevOps! In this project-driven, practical guide, DevOps expert Sujeevan Vijayakumaran will teach you all you need to know about this methodology. Walk thr…

sofort lieferbar

Buch

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

Lecture Notes in Computer Science - Band 16031

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

Advances in Conceptual Modeling

Lecture Notes in Computer Science - Band 16190

.- FCM. .- Logical Foundations of Conceptual Modelling for Relational and SQL Databases - an introduction. .- Disentangling the schema turn: Restoring the information base to conceptual modelling. .- Repr…

lieferbar innerhalb 2-3 Wochen

Buch

Services Computing - SCC 2025

Lecture Notes in Computer Science - Band 16160

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

Joseph Albahari, Ben Albahari
C# 12 Pocket Reference

Looking for quick answers for using C# 12? This tightly focused and practical guide tells you exactly what you need to know without long intros or bloated samples. Succinct and easy to browse, this pocket…

sofort lieferbar

Buch

Security and Trust Management

Lecture Notes in Computer Science - Band 16137

.- Identity Management, Authentication, Access Control & Formal Modeling..- Toward Secure and Trustworthy Identity Management Systems: A Knowledge-base Driven Approach..- Always Authenticated, Never E…

lieferbar innerhalb 2-3 Wochen

Buch

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

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

Lecture Notes in Computer Science - Band 15955

.- 1st International Workshop on Co-Design of Communication, Computing, and Control in Cyber-Physical Systems (CoC3CPS 2025). .- An end-to-end testbed for communication, compute, and control co-design: th…

lieferbar innerhalb 2-3 Wochen

Buch

Marc-Florian Wendland, Florian Fieber
Praxiswissen Testanalyse und Testentwurf

Identifizieren Sie, was zu testen ist, und legen Sie fest, wie getestet werden sollPraktisches und anwendbares Expertenwissen zu Testanalyse und TestentwurfMit Fokus auf fachlichen Testmethoden und den zi…

lieferbar ab 31.7.2026.

Buch

Johanna Butz, Johannes Fuchs, Elisabeth Kattler, Christl Lobe
Campus A Training 2 mit Lernsoftware

Campus A / Gesamtkurs Latein

Das Arbeitheft bietet bewährte Übungen zur Wiederholung, Vertiefung, Intensivierung oder zur Vorbereitung auf Klassenarbeiten.Kostenlos enthalten ist zudem das passende Vokabelpaket von phase6, Deutschlan…

sofort lieferbar

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

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

Halloween Ends

Nach 45 Jahren erreicht die am meisten gefeierte und verehrte Horrorfilmreihe der Filmgeschichte ihren epischen, furchterregenden Abschluss, wenn Laurie Strode ein letztes Mal gegen die Verkörperung des B…

lieferbar innerhalb von 3 Tagen

CD

Job Scheduling Strategies for Parallel Processing

.- How to make the ultimate goal of energy-efficient data centers a reality. .- Power-Aware Scheduling for Multi-Center HPC Electricity Cost Optimization. .- Job Grouping Based Intelligent Resource Predic…

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

Applied Informatics

This book constitutes the refereed proceedings of the 8th International Conference on Applied Informatics, ICAI 2025, held in Ben Guerir, Morocco, during October 8--11, 2025.The 27 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

Automated Reasoning with Analytic Tableaux and Related Methods

Lecture Notes in Computer Science - Band 15980

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