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

Frederic Humbolt
Continuous Integration und Deployment in der Praxis

In der dynamischen Welt der Softwareentwicklung ist es entscheidend, schnell, effizient und fehlerfrei zu arbeiten. "Continuous Integration und Deployment in der Praxis" ist Ihr umfassender Leit…

lieferbar innerhalb 2-3 Wochen

Buch

Sustainable Manufacturing Innovations: Focus on New Energy Vehicles, Production Robots, and Software-Defined Manufacturing

This book provides an in-depth exploration of the latest advancements in sustainable manufacturing, as presented at the International Conference on Sustainable Manufacturing. The proceedings focus on thre…

lieferbar innerhalb 2-3 Wochen

Buch

Frederic Humbolt
Continuous Integration und Deployment in der Praxis

In der dynamischen Welt der Softwareentwicklung ist es entscheidend, schnell, effizient und fehlerfrei zu arbeiten. "Continuous Integration und Deployment in der Praxis" ist Ihr umfassender Leit…

lieferbar innerhalb 2-3 Wochen

Buch

Yashwanth Byalla
The Hilarious Realities of Software World

As a software developer, you're often seen as the person who 'just makes things work.' What people don't see is the countless hours of debugging, late-night commits, or the frustration when a "simple…

lieferbar innerhalb 2-3 Wochen

Buch

John Walsh, Uzi Ailon, Matt Barker
Identity Security for Software Development

In this practical book, authors John Walsh and Uzi Ailon provide conceptual frameworks, technology overviews, and practical code snippets to help DevSecOps engineers, cybersecurity engineers, security man…

sofort lieferbar

Buch

Theoretical Aspects of Software Engineering

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

Guide to Software Verification with Frama-C

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

Formal Aspects of Component Software

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.The 7 full papers …

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6¿8, 2024.The 23 full p…

lieferbar innerhalb 2-3 Wochen

Buch

Symbolic Computation in Software Science

This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.The 7…

lieferbar innerhalb 2-3 Wochen

Buch

Boosting Software Development Using Machine Learning

This book explores the transformative effects of AI and ML on software engineering. It emphasizes the potential of cutting-edge software development technologies such as Generative AI and ML applications.…

lieferbar innerhalb 2-3 Wochen

Buch

Handbook on Teaching Empirical Software Engineering

This handbook exploits the profound experience and expertise of well-established scholars in the empirical software engineering community to provide guidance and support in teaching various research metho…

lieferbar innerhalb 2-3 Wochen

Buch

Testing Software and Systems

This book constitutes the refereed proceedings of the 36th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2024, held in London, UK, during October 30-November 1, 2024.The 17 f…

lieferbar innerhalb 2-3 Wochen

Buch

Foundations of Software Science and Computation Structures

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

Product-Focused Software Process Improvement

This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2¿4, 2024.The 18 f…

lieferbar innerhalb 2-3 Wochen

Buch

Pankaj Jalote
A Concise Introduction to Software Engineering

Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software. It is therefore important to integrate op…

lieferbar innerhalb 2-3 Wochen

Buch

Software Engineering and Management: Theory and Application

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

lieferbar innerhalb 2-3 Wochen

Buch

Agile Processes in Software Engineering and Extreme Programming

This open access book constitutes the proceedings of the 26th International Conference on Agile Software Development, XP 2025, which took place in Brugg-Windisch, Switzerland, during June 2-5, 2025.XP is …

lieferbar innerhalb 2-3 Wochen

Buch

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