Software-Entwicklung – Bücher, DVD-ROMs, LPs und mehr, Seite 8

Anton Wijs: Concise Guide to Software Verification, Buch

Anton Wijs, Marieke Huisman
Concise Guide to Software Verification

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Gerard O'Regan
Mathematical Foundations of Software Engineering

Texts in Computer Science

This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes, cryptography, the …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Generative AI for Effective Software Development

This book provides a comprehensive, empirically grounded exploration of how Generative AI is reshaping the landscape of software development. It emphasizes the empirical evaluation of Generative AI tools …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 131,42*

Akanksha Gupta
Think Like a Software Engineering Manager

Think Like a Software Engineering Manager teaches you the skills you need to hire, train, and lead a successful software development team. In this practical guide, you'll explore all aspects of the Softwa…

lieferbar in mind. 4 Wochen

Buch

EUR 76,56*

Formal Aspects of Component Software

Lecture Notes in Computer Science -Band 14485

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023. The 11 full p…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51*

Jürg Gutknecht, Igor Schagaev
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

EUR 160,00*

Foundations of Software Science and Computation Structures

Lecture Notes in Computer Science -Band 14575

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took pla…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Foundations of Software Science and Computation Structures

Lecture Notes in Computer Science -Band 14574

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took pla…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Frontiers in Software Engineering Education

Lecture Notes in Computer Science -Band 14387

This book constitutes invited papers from the Second International Workshop on Frontiers in Software Engineering Education, FISEE 2023, which took place at the Château de Villebrumier, France, during Janu…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Agile Processes in Software Engineering and Extreme Programming

Lecture Notes in Business Information Processing -Band 512

This open access book constitutes the proceedings of the 25th International Conference on Agile Software Development, XP 2024, which took place in Bozen-Bolzano, Italy, during June 04-07, 2024. XP is the…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Product-Focused Software Process Improvement

This book constitutes the refereed proceedings of the 24th International Conference on Product-Focused Software Process Improvement, PROFES 2023, which took place in Dornbirn, Austria, in December 2023. …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Software Engineering Methods Design and Application

Lecture Notes in Networks and Systems -Band 1118

This book dives into contemporary research methodologies, emphasising the innovative use of machine learning and statistical techniques in software engineering. Exploring software engineering and its inte…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 219,03*

Software Engineering and Management: Theory and Application

Studies in Computational Intelligence -Band 1137

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

lieferbar innerhalb 2-3 Wochen

Buch

EUR 175,23*

David Clark, Paul Clark
Field Expedient SDR, Volume One

Discover the exciting world of software-defined radio (SDR) through this hands-on, beginner-friendly introduction. Software-defined radio (SDR) is transforming wireless communications through flexible, i…

lieferbar ab 6.5.2025.

Buch

EUR 21,14*

Product-Focused Software Process Improvement

Lecture Notes in Computer Science -Band 14483

This book constitutes the refereed proceedings of the 24th International Conference on Product-Focused Software Process Improvement, PROFES 2023, which took place in Dornbirn, Austria, in December 2023. …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 98,56*

Saeed Ranjbar, Mersedeh Karvandi
A Review on Recent Echocardiographic Software

This book provides simplified, easy-to-understand descriptions of the echocardiographic software used in conjunction with different echocardiography machines, such as those from Toshiba, Philips, GE, and …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 96,00*

Verified Software. Theories, Tools and Experiments

Lecture Notes in Computer Science -Band 14095

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23 24, 2023. The 6 full papers presented in this volum…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Requirements Engineering: Foundation for Software Quality

Lecture Notes in Computer Science -Band 14588

This book constitutes the refereed proceedings of the 30th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2024, held in Winterthur, Switzerland, durin…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

UML-Based Software Product Line Engineering with SMarty

This book is about software product lines (SPLs) designed and developed taking UML diagrams as the primary basis, modeled according to a rigorous approach composed of an UML profile and a systematic proce…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 85,33*

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

lieferbar innerhalb 2-3 Wochen

Buch

EUR 69,33*

Software-Entwicklung – Bücher, DVD-ROMs, LPs und mehr, Seite 8

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Software-Entwicklung" finden. Könnten diese Produkte zu Ihrer Suche passen?