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

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

New Challenges in Software Engineering

Trends in Software Engineering: A Bibliometric Study.- Faults Detection in Use Case Modeling Learning.- Measurement of information technology service quality for the Faster Payment Systems in Peru.- User-…

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

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

THE STYLE OF LIFE (Coolbreeze Blue Vinyl)

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 von 1-3 Tagen

LP

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

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

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

Maintaining secrets, credentials, and machine identities in secure ways is an important, though often overlooked, aspect of secure software development. DevOps security often addresses vulnerabilities, bu…

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

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

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

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

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

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

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

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

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

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

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