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

Automated Technology for Verification and Analysis

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

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

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

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

Enterprise Information Systems

.- Design and Software Engineering Experience Report: Designing and Implementing Data Registration via File Import in an Administrative e-Commerce System. .- A Comparative Analysis of the Interactive Web …

lieferbar innerhalb 2-3 Wochen

Buch

Markus Glück
Agile Innovation

Innovationen sind für Unternehmen lebensnotwendig. Dies gilt in sich mit hohem Tempo revolutionär verändernden Märkten für Startups wie für Bestandsfirmen. Allerdings fehlt beiden heute oft die nötige Wir…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

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

Lucjan Stapp, Adam Roman, Michaël Pilaeten, Werner Henschelchen
ISTQB® Certified Tester Foundation Level

Dieses Buch richtet sich an alle, die sich auf die Prüfung ISTQB® Certified Tester - Foundation Level auf der Grundlage des im Jahr 2023 veröffentlichten Foundation Level Lehrplans (Version 4.0) vorbereit…

lieferbar innerhalb 2-3 Wochen

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

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

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

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

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

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

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

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

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. Applied Data Science Track and Demo 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 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

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