Operating systems

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time.

Smart cards are an established security research area with a very unique pr- erty: it integrates numerous sub?

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013.

The 9th Australasian Conference on Information Security and Privacy (ACISP 2004) was held in Sydney, 13-15 July, 2004.

Become an expert in implementing observability methods for legacy technologies and discover how to use AIOps and OpenTelemetry to analyze root causes and solve problems in banking and telecommunications.

Become an expert in implementing observability methods for legacy technologies and discover how to use AIOps and OpenTelemetry to analyze root causes and solve problems in banking and telecommunications.

This books helps you embark on the journey to master the art of Appium automation, from installation all the way to building a Plugin and Driver.

This books helps you embark on the journey to master the art of Appium automation, from installation all the way to building a Plugin and Driver.

Supercomputers and High Performance Computing (HPC) clusters are not so exotic as people imagine these days.

Supercomputers and High Performance Computing (HPC) clusters are not so exotic as people imagine these days.

Arguably one of the most highly regarded and widely used enterprise level operating systems available today is the Red Hat Enterprise Linux 8 distribution.

This book is a comprehensive guide to building Android applications using Android Studio Narwhal (2025.

This book, fully updated for Android Studio Narwhal Feature Drop, teaches you how to develop Android-based applications using Kotlin.

This book, fully updated for Android Studio Narwhal Feature Drop, teaches you how to develop Android-based applications using Java.

This book is a comprehensive guide designed to introduce newcomers to Go (Golang).

This book is a comprehensive guide designed to introduce newcomers to Go (Golang).

With the recent evolution of frontend frameworks toward the server, there has been a growing interest in server-side rendering and optimizing for the server to unlock greater performance gains.

With the recent evolution of frontend frameworks toward the server, there has been a growing interest in server-side rendering and optimizing for the server to unlock greater performance gains.

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 15–19, 2025.

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 15–19, 2025.

The two-volume set LNCS 15701 + 15702 constitutes the proceedings of the 37th International Conference on Advanced Information Systems Engineering, CAiSE 2025, which was held in Vienna, Austria, during June 16–17, 2025.

The two-volume set LNCS 15701 + 15702 constitutes the proceedings of the 37th International Conference on Advanced Information Systems Engineering, CAiSE 2025, which was held in Vienna, Austria, during June 16–17, 2025.

This book constitutes the refereed proceedings of the 27th IFIP WG 6.

This book constitutes the refereed proceedings of the 25th IFIP WG 6.

This book constitutes the refereed proceedings of the 25th IFIP WG 6.

This three-volume set LNCS 15825-15827 constitutes the proceedings of the 23rd International Conference on Applied Cryptography and Network Security, ACNS 2025, held in Munich, Germany, during June 23-26, 2025.

This book constitutes the refereed proceedings of the 27th IFIP WG 6.

This three-volume set LNCS 15825-15827 constitutes the proceedings of the 23rd International Conference on Applied Cryptography and Network Security, ACNS 2025, held in Munich, Germany, during June 23-26, 2025.

This book CCIS 2497 constitutes the refereed proceedings of the 7th CCF China Blockchain Summit on Blockchain Technology and Application, CBCC 2024, held in Shanghai, China, during December 13–15, 2024.

This book CCIS 2497 constitutes the refereed proceedings of the 7th CCF China Blockchain Summit on Blockchain Technology and Application, CBCC 2024, held in Shanghai, China, during December 13–15, 2024.

This book constitutes the refereed proceedings of the 32nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2025, held in Delphi, Greece in June 2025.

This book constitutes the refereed proceedings of the 32nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2025, held in Delphi, Greece in June 2025.

This book constitutes the refereed proceedings of the 8th International Symposium on Distributed Ledger Technology, SDLT 2024, held in Brisbane, QLD, Australia, during November 28–29, 2024.

This book constitutes the refereed proceedings of the 8th International Symposium on Distributed Ledger Technology, SDLT 2024, held in Brisbane, QLD, Australia, during November 28–29, 2024.

This book provides a structured and comprehensive pathway through the complexities of Electronic Design Automation (EDA) tools and processes.

This three-volume set LNCS 15825-15827 constitutes the proceedings of the 23rd International Conference on Applied Cryptography and Network Security, ACNS 2025, held in Munich, Germany, during June 23-26, 2025.

The two-volume set, LNICST 613 and 614, constitutes the refereed post-conference proceedings of the 15th EAI International Conference on Digital Forensics and Cyber Crime, ICDF2C 2024, held in Dubrovnik, Croatia, during October 9–10, 2024.

The two-volume set, LNICST 613 and 614, constitutes the refereed post-conference proceedings of the 15th EAI International Conference on Digital Forensics and Cyber Crime, ICDF2C 2024, held in Dubrovnik, Croatia, during October 9–10, 2024.

This three-volume set LNCS 15825-15827 constitutes the proceedings of the 23rd International Conference on Applied Cryptography and Network Security, ACNS 2025, held in Munich, Germany, during June 23-26, 2025.

The two-volume set LNCS 15701 + 15702 constitutes the proceedings of the 37th International Conference on Advanced Information Systems Engineering, CAiSE 2025, which was held in Vienna, Austria, during June 16–17, 2025.

The two-volume set LNCS 15701 + 15702 constitutes the proceedings of the 37th International Conference on Advanced Information Systems Engineering, CAiSE 2025, which was held in Vienna, Austria, during June 16–17, 2025.

This book constitutes the refereed post-conference proceedings of the 7th EAI International Conference on Innovations and Interdisciplinary Solutions for Underserved Areas, InterSol 2024, held in Dakar, Senegal, during July 3-4, 2024.

This book constitutes the refereed post-conference proceedings of the 7th EAI International Conference on Innovations and Interdisciplinary Solutions for Underserved Areas, InterSol 2024, held in Dakar, Senegal, during July 3-4, 2024.

This book CCIS 2498 constitutes the refereed proceedings of the 7th CCF China Blockchain Summit on Blockchain Technology and Application, CBCC 2024, held in Shanghai, China, during December 13–15, 2024.

This book CCIS 2498 constitutes the refereed proceedings of the 7th CCF China Blockchain Summit on Blockchain Technology and Application, CBCC 2024, held in Shanghai, China, during December 13–15, 2024.