Software Engineering

SummaryType-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system.

SummaryGit in Practice is a collection of 66 tested techniques that will optimize the way you and your team manage your development projects.

SummaryAgile ALM is a guide for Java developers who want to integrate flexible agile practices and lightweight tooling along all phases of the software development process.

Many books discuss Agile from a theoretical or academic perspective.

In 2005, Microsoft quietly announced an initiative to bring dynamic languages to the .

Summary Modern C focuses on the new and unique features of modern C programming.

Skills to grow from a solo coder into a productive member of a software development team, with seasoned advice on everything from refactoring to acing an interview.

Kickstart a career in cybersecurity by adapting your existing technical and non-technical skills.

Designed for busy IT professionals, this innovative guide will take you from the basics to PowerShell proficiency through 25 tutorials you can do in your lunch break.

This hands-on beginners guide gets you building games fast, all with the awesome Unity engine!

The most insightful and intuitive guide to clean and simple software.

AI doesn't have to be a black box.

Solve difficult service-to-service communication challenges around security, observability, routing, and resilience with an Istio-based service mesh.

This book is an indispensable resource.

Summary Professional developers know the many benefits of writing application code that's clean, well-organized, and easy to maintain.

Unlock the groundbreaking advances of deep learning with this extensively revised edition of the bestselling original.

The multi-volume set LNAI 14169 until  14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.

This book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling:- the 25th International Conference on Business Process Modeling, Development and Support, BPMDS 2024, and- the 29th International Conference on Exploring Modeling Methods for Systems Analysis and Development, EMMSAD 2024.

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring.

This book highlights the transformative potential of AI-enabled pricing, showing how it empowers businesses to unlock revenue, optimize customer experiences, and gain a competitive edge.

The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.

The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.

The 4-volume proceedings set CCIS 2090, 2091,2092 and 2093 constitute the refereed post-conference proceedings of the Third International Conference on Advanced Network Technologies and Intelligent Computing, ANTIC 2023, held in Varanasi, India, during December 20-22, 2023.

This six-volume set LNCS 15794-15799 constitutes the refereed proceedings of the 14th International Conference on Design, User Experience, and Usability, DUXU 2025, held as part of the 27th International Conference on Human-Computer Interaction, HCII 2025, in Gothenburg, Sweden, during June 22-27, 2025.

This book constitutes the refereed proceedings of two long-running events held along with the CAiSE conference and related to the areas of enterprise, business-process and information systems modeling: - the 26th International Conference on Business Process Modeling, Development and Support, BPMDS 2025 and - the 30th International Conference on Exploring Modeling Methods for Systems Analysis and Development, EMMSAD 2025.

This book constitutes the proceedings of the 20th International Conference on Grid, Cloud, and Cluster Computing, GCC 2024, the Third International Conference on Quantum Technologies, ICEQT 2024, and the 21st International Conference on Modeling, Simulation and Visualization Methods, MSV 2024, held as part of the 2024 World Congress in Computer Science, Computer Engineering and Applied Computing, in Las Vegas, USA, during July 22 to July 25, 2024.

The 4-volume proceedings set CCIS 2090, 2091,2092 and 2093 constitute the refereed post-conference proceedings of the Third International Conference on Advanced Network Technologies and Intelligent Computing, ANTIC 2023, held in Varanasi, India, during December 20-22, 2023.

The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.

The three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conference on Parallel and Distributed Processing, Euro-Par 2024, which took place in Madrid, Spain, during August 26-30, 2024.

This book constitutes the proceedings of the 28th International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2024, and the 23rd International Conference on Information and Knowledge Engineering, IKE 2024, held as part of the 2024 World Congress in Computer Science, Computer Engineering and Applied Computing, in Las Vegas, USA, during July 22 to July 25, 2024.

This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 37th International Conference on Advanced Information Systems Engineering, CAiSE 2025, which was held in Vienna, Austria, during June 16-20, 2025.

The 6-volume set constitutes the worshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.

The two-volume set LNBIP 547 + LNBIP 548 constitutes the proceedings of the 19th International Conference on Research Challenges in Information Sciences, RCIS 2025, which took place in Seville, Spain, in May 2025.

This handbook provides a comprehensive guide on how natural language processing (NLP) can be leveraged to enhance various aspects of requirements engineering (RE), leading the reader from the exploration of fundamental concepts and techniques to the practical implementation of NLP for RE solutions in real-world scenarios.

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

The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.

The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.

The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.

This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students.

This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.

Craft domain-specific languages that empower experts to create software themselves.

This book de-emphasizes the formal mathematical description of spacecraft on-board attitude and orbit applications in favor of a more qualitative, concept-oriented presentation of these topics.

Providing insights into methodologies for designing adaptive systems based on semantic data, and introducing semantic models that can be used for building interactive systems, this book showcases many of the applications made possible by the use of semantic models.

This book presents both state-of-the-art research developments and practical guidance on approaches, technologies and frameworks for the emerging cloud paradigm.

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques.

This easy-to-read textbook/reference presents a comprehensive introduction to databases, opening with a concise history of databases and of data as an organisational asset.

After a brief introduction and contextualization on the Internet of Things (IoT) and Web of Things (WoT) paradigms, this timely new book describes one of the first research initiatives aimed at tackling the several challenges involved in building a middleware-layer infrastructure capable of realizing the WoT vision: the SmartSensor infrastructure.

Provides a comprehensive overview and introduction to the concepts, methodologies, analysis, design and applications of metasynthetic computing and engineering.

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.

This book presents the latest research on Software Engineering Frameworks for the Cloud Computing Paradigm, drawn from an international selection of researchers and practitioners.