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

Two Door Cinema Club

Tourist History (15th Anniversary) (Deluxe Edition)

"Tourist History" ist das Debütalbum der nordirischen Indie-Rocker. Laura Silverman von der Times bezeichnete es als „einen mitreißenden Ausbruch kurzer, einfacher Indie-Pop-Songs, getragen von klirrend…

lieferbar innerhalb von 3 Tagen

2 CDs

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

Miriam Schiffer
Der Ausweis von Verträgen über Softwarebereitstellung und -anpassung in der Handels- und Steuerbilanz

'The Recognition of Contracts for Software Provision and Customization in the Commercial and Tax Balance Sheet': The thesis examines which asset must be recognized in the commercial and tax balance sheets…

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

Theoretical Aspects of Software Engineering

Lecture Notes in Computer Science - Band 15841

.- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program S…

lieferbar innerhalb 2-3 Wochen

Buch

Jürgen Wolf
Capture One Pro

Rheinwerk Fotografie

Jürgen Wolf zeigt Ihnen in über 100 Workshops Schritt für Schritt, wie Sie Capture One Pro effizient einsetzen und Ihren Workflow aufbauen. Lernen Sie, mit Sessions oder Katalogen zu arbeiten. Archivieren…

sofort lieferbar

Buch

Mark Richards, Neal Ford, Raju Gandhi
Software Architecture Patterns, Antipatterns, and Pitfalls

The increasing adoption of cloud native development, real-time applications, and AI-enabled services requires mastering the trade-offs of the most influential software architecture patterns and antipatter…

lieferbar ab 31.8.2026.

Buch

Advanced Security on Software and Systems

Communications in Computer and Information Science - Band 2903

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

Buch

Software Architecture. ECSA 2025 Tracks and Workshops

Lecture Notes in Computer Science - Band 15982

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 1…

lieferbar innerhalb 2-3 Wochen

Buch

The Style Of Life

Gönnen Sie sich eine dringend benötigte Auszeit für Ihren Geist, ganz bequem von zu Hause aus. Die erste Zusammenstellung der Secondhand-Laden- und YouTube-Lieblinge »Paradise Is A Frequency«, »The Style …

lieferbar innerhalb 1-2 Wochen

2 LPs

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

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 in mind. 4 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

Applied Computing for Software and Smart Systems

This book features a collection of high-quality research papers presented at the 12th International Symposium on Applied Computing for Software and Smart systems (ACSS 2025), held on July 4--5, 2025, in K…

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

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 einer Woche

2 LPs

Principles and Practices of Building Parallel Software

Lecture Notes in Computer Science - Band 14564

This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-perfor…

lieferbar innerhalb 2-3 Wochen

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

Trefferliste "Software" - alle Bücher, CDs, LPs und mehr