Software – Bücher, CDs, LPs und mehr, Seite 7

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…

lieferbar innerhalb von 3 Tagen

2 LPs

Guide to Software Verification with Frama-C

Computer Science Foundations and Applied Logic

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquit…

lieferbar innerhalb 2-3 Wochen

Buch

Igor Schagaev, Jürg Gutknecht
Software Design for Resilient Computer Systems

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features should provide for highest reliability. With this third edition of Soft…

lieferbar innerhalb 2-3 Wochen

Buch

Tessa Pfattheicher, Tehseen Rug, Felix Böhmer
When is it good enough? - Softwareprojekte im Zeitalter generativer KI

Einleitung - Willkommen im Zeitalter der Unschärfe.- Emotionen im Fokus.- Ambiguitätstoleranz -- Der Umgang mit fehlender Eindeutigkeit.- Einschub -- wie ticken Large Language Models (LLMs) eigentlich?.- …

lieferbar innerhalb 2-3 Wochen

Buch

SEET-Software Engineering for Emerging Technologies

This book constitutes the refereed proceedings of the First International Conference on Software Engineering for Emerging Technologies, SEET 2025, held at Long Beach, California, USA, during August 11--12…

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

Foundations of Software Science and Computation Structures

Lecture Notes in Computer Science - Band 15691

This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, du…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering and Management: Theory and Applications

This book reports state-of-the-art results in Software Engineering Research, Management & Applications in both printed and electronic form. Studies in Computation Intelligence (SCI) has grown into the…

lieferbar innerhalb 2-3 Wochen

Buch

Agile Processes in Software Engineering and Extreme Programming

Lecture Notes in Business Information Processing

This open access book constitutes the proceedings of the 27th International Conference on Agile Software Development, XP 2026, which took place in São Paulo, Brazil, during April 8-11, 2026.XP is the prem…

lieferbar ab 17.5.2026.

Buch

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

Requirements Engineering: Foundation for Software Quality

Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 32nd International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2026, held in Poznan, Poland, during March 2…

lieferbar ab 29.4.2026.

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…

lieferbar innerhalb 2-3 Wochen

2 CDs

Advanced Security on Software and Systems

Communications in Computer and Information Science

This book constitutes the post proceedings of the International Conference on Advanced Security on Software and Systems, ASSS 2025, in Guilin, China, held during December 3-5, 2025.The 10 full papers pres…

lieferbar ab 11.5.2026.

Buch

Software Architecture. ECSA 2025 Tracks and Workshops

Lecture Notes in Computer Science - Band 15982

.- Tools and Demos..- SAVAT: A Tool for Visualizing the Impact of Changes in Microservices..- Infragenie: Living Software Architecture Diagrams From Docker Compose Files..- ServLessSense: Serverless Smell…

lieferbar innerhalb 2-3 Wochen

Buch

Requirements Engineering: Foundation for Software Quality

Lecture Notes in Computer Science - Band 15588

This book constitutes the refereed proceedings of the 31st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2025, held in Barcelona, Spain, during April…

lieferbar innerhalb 2-3 Wochen

Buch

Andreas Johannsen, Anne Kramer, Daniela Stokar von Neuforn
Foundations for Software Project Management in Classic and Agile Environments

This book provides the necessary foundational knowledge in the increasingly critical field of software project management. It follows the curriculum of the ASQF® Certified Professional for Project Managem…

lieferbar ab 20.5.2026.

Buch

Verified Software. Theories, Tools and Experiments

Lecture Notes in Computer Science - Band 15525

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14--15, 2024.The 6 full papers, as well…

lieferbar innerhalb 2-3 Wochen

Buch

Model-Based Software and Systems Engineering

Communications in Computer and Information Science - Band 2547

This volume constitutes the revised selected papers of 12th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2024, in Rome, Italy, during February 21--23, 2024.The…

lieferbar innerhalb 2-3 Wochen

Buch

Chris Kardell, Mark Brouwer
Build Financial Software with Generative AI (from Scratch)

Build working and regulation-compliant financial software---from scratch!The software used by banks, trading firms, and other financial services has special requirements at every level, from securing the …

lieferbar innerhalb 1-2 Wochen

Buch

Robert Martin, Robert C. Martin
Clean Code: A Handbook of Agile Software Craftsmanship

Bestselling author Robert C. Martin brings new life and updated code to his beloved Clean Code bookWith Clean Code, Second Edition, Robert C. Martin ("Uncle Bob") reinvigorates the classic guide…

sofort lieferbar

Buch