Software-Testing – Bücher, LPs, CDs und mehr, Seite 10

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

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

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

Finishing Move

DOOM: The Dark Ages (Original Soundtrack)

Der epische DOOM-Sound 2025 auch auf CD – finster, wuchtig, legendär! Bethesda Softworks und Laced Records bringen die rohe Gewalt und düstere Klangwelt von DOOM: The Dark Ages als Deluxe-Doppel-CD heraus…

Artikel am Lager

4 LPs

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

Medien-, Daten- und Vernetzungspraktiken erforschen

Ob sich Menschen informieren, kommunikativ vernetzen und datenbezogen handeln - typischerweise geschieht dies in der heutigen Medienumgebung nicht mittels eines Mediums, sondern über verschiedene hinweg. …

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

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

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

Nina Siessegger
Git - kurz & gut

OReillys Taschenbibliothek

Das Versionierungstool Git verstehen und typische Aufgaben des Programmieralltags lösenVerständliche Einführung in das beliebte Versionierungswerkzeug; v.a. für Einsteiger*innen und Entwickler*innen, die …

sofort lieferbar

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 Kaufmann
Git für Dummies

Git hat sich als Quellcodeverwaltung durchgesetzt und ist der De-facto-Standard in der Softwareentwicklung. Alle Unternehmen, die noch nicht auf Git sind, werden die nächsten Jahre wechseln. Und nicht nur…

sofort lieferbar

Buch