Software Engineering

Blockchain, a decentralized ledger technology based on cryptographic algorithms, ensures the creation of immutable and tamper-proof ledgers in dece...

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took...

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place i...

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took...

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 17th European Conference on Software Architecture...

Blockchain and distributed-ledger technologies enable new modes of communication, synchronization, and transfer of value with a broad impact on Int...

The Next Generation Innovation in IoT and Cloud Computing with Applications is a thought-provoking edited book that explores the cutting-edge advan...

Take the next step in raising your coding skills and dive into the intricacies of Java Standard Libraries. You will continue to raise your coding s...

Take the next step in raising your coding skills and dive into the intricacies of Java Standard Libraries. You will continue to raise your coding s...

The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important n...

This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, Chi...

Wearepleasedtopresenttheproceedingsofthe8thInternationalConferenceon Parallel Processing and Applied Mathematics - PPAM 2009, which was held in Wro...

The goal of the International Conference on Software Composition is to advance the state of research on modularity and reuse in the context of soft...

Wearepleasedtopresenttheproceedingsofthe8thInternationalConferenceon Parallel Processing and Applied Mathematics - PPAM 2009, which was held in Wro...

Covering the three underlying technologies of web pagesHTML, CSS, and JavaScriptthis book is a onestop guide to getting started in web development,...

In the past few weeks, OpenAI has released ChatGPT (Chat Generative Pre-trained Transformer). ChatGPT emerges as a formidable chatbot, surpassing v...

Covering the three underlying technologies of web pagesHTML, CSS, and JavaScriptthis book is a onestop guide to getting started in web development,...

This book is written for engineering students and working professionals. Technical professionals are increasingly involved in IT issues, such as im...

As the transformation to hybrid multicloud accelerates, businesses require a structured approach to securing their workloads. Adopting zero trust p...

With hundreds of tools preinstalled, the Kali Linux distribution makes it easier for penetration testers and other professionals to get started wit...

Engineers, researchers, and students attempting to effectively utilize numerical methods to solve complex engineering problems in today's fast-pace...

This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held ...

This volume contains the invited and contributed papers selected for presen- tion at SOFSEM 2010, the 36th Conference on Current Trends in Theory a...