Verification – alle Bücher, CDs und LPs, Seite 7

Programming Languages and Systems

This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27--30, 2025.The 13 full papers presented here were ca…

lieferbar innerhalb 2-3 Wochen

Buch

Smart Systems and Wireless Communication

Smart Innovation, Systems and Technologies - Band 484

This book is a collection of high-quality research papers presented at International Conference on Smart Systems and Wireless Communication, SSWC 2025, organized by Department of Information Technology, J…

lieferbar innerhalb 2-3 Wochen

Buch

Verified Software. Theories, Tools and Experiments

Lecture Notes in Computer Science - Band 16499

This book constitutes the refereed proceedings of the 17th International Conference on Verified Software, VSTTE 2025, held in Menlo Park, USA, during October 6, 2025.The 4 full papers and 2 short papers p…

lieferbar innerhalb 2-3 Wochen

Buch

Blockchain Technologies for Smart Circular Economy and Organisational Sustainability

Environmental Footprints and Eco-design of Products and Processes

This book provides a descriptive overview of blockchain technology domain, we observe a transformative influence that has surpassed its initial application in Bitcoin and has permeated nearly all industri…

lieferbar innerhalb 2-3 Wochen

Buch

Mingfei Lu, Jihong Ye, Hui Li
Optimization of Gridshells Against Instability Considering Joints' Mechanical Performance

This open access book introduces external factors such as loads and constraints into the theory of configurational vulnerability, thereby overcoming the classical theory's inability to account for externa…

lieferbar innerhalb 2-3 Wochen

Buch

Matthew Hu, Yan-Fu Li
Enhancing Life Cycle Reliability with Robust Engineering and Predictive Health Management

Quality and Reliability Engineering Series

Enhancing Life Cycle Reliability with Robust Engineering and Predictive Health ManagementComplete process for ensuring product performance through robust concept design, robust optimization, selection, an…

lieferbar in mind. 4 Wochen

Buch

Paul Bradshaw, Steve Hill
Mobile-First Journalism

Combining theory and practice, this second edition of Mobile-First Journalism offers an engaging introduction to developing and producing interactive, user-centred content for mobile devices and social me…

lieferbar ab 7.12.2026.

Buch

Alexander Arnfinn Olsen
Subsea Pipeline Systems

Synthesis Lectures on Ocean Systems Engineering

This book is a comprehensive guide to the classification, design, construction, and maintenance of subsea pipeline systems. It provides an in-depth exploration of offshore pipeline architecture, serviceab…

lieferbar innerhalb 2-3 Wochen

Buch

Recent Advances in Manufacturing Engineering

Lecture Notes in Mechanical Engineering

This book comprises the proceedings of the 1st International Conference on Recent Advances in Design and Manufacturing (RADM-2024). The contents of this volume focus on recent technological advances in th…

lieferbar innerhalb 2-3 Wochen

Buch

Jane Vaynman
Enemies in Agreement

Why do adversaries sometimes cooperate to restrain their military competition? Why do they design arms control agreements with intrusive verification in some cases but rely on minimal transparency in othe…

lieferbar innerhalb 2-3 Wochen

Buch

Smart Systems and Wireless Communication

The volume is a collection of high-quality research papers presented at International Conference on Smart Systems and Wireless Communication, SSWC 2024, organized Department of Information Technology, JIS…

lieferbar innerhalb 2-3 Wochen

Buch

Khaled Mohammed
The Art of RTL Debugging

Synthesis Lectures on Digital Circuits & Systems

This book presents a comprehensive overview of RTL (Register Transfer Level) debugging, addressing both foundational concepts and emerging technologies. It begins by examining the key issues faced in RTL …

lieferbar innerhalb 2-3 Wochen

Buch

Qingsong Xu
Piezoelectric-Driven Flexible Robotic Microgrippers

This book provides a measured collation of the state of the art of emerging techniques to design and development of flexible robotic microgrippers driven by piezoelectric actuators. It aims to cover mecha…

lieferbar innerhalb 2-3 Wochen

Buch

Ming-Shan Zhao, Sing-Ping Chiew, Wang-Zhe Seah
Design of Headed Anchorage Bars in Reinforced Concrete Structures

This guide covers the design and application of headed bars as compact anchorage for reinforcement in congested or constrained concrete structures. Based on Eurocode 2, it explains the behaviour, analysis…

lieferbar ab 2.11.2026.

Buch

Dan A Simunic
The Economics of Auditing

The financial information provided to governments, creditors, investors etc. by businesses has been verified by auditors since ancient times. In its modern form, the independent public accounting professi…

lieferbar innerhalb 1-2 Wochen

Buch

Information and Communications Security

Lecture Notes in Computer Science - Band 16217

.- Cryptography..- Multi-Signer Locally Verifiable Aggregate Signature from (Leveled) Multilinear Maps..- Conditional Attribute-based Encryption with Keyword Search for Pay-Per-Query Commercial Model..- L…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3--5, 2025.The 12 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

Giuseppe Galloppo
A Journey into ESG Investments

Palgrave Studies in Impact Finance

This book deals with climate finance and presents a balance between the theoretical framework---as drawn by the most widely cited practitioner-oriented and academic journals in environmental management---…

lieferbar innerhalb 2-3 Wochen

Buch

Information Security Applications

Lecture Notes in Computer Science - Band 16434

This book constitutes the refereed proceedings of the 26th International Conference on Information Security Applications, WISA 2025, held in Jeju Island, South Korea, during August 20--22, 2025.The 26 ful…

lieferbar innerhalb 2-3 Wochen

Buch

Cyber Security, Cryptology, and Machine Learning

Lecture Notes in Computer Science - Band 16244

This volume constitutes the proceedings of 9th International Symposium on Cyber Security, Cryptology, and Machine Learning, CSCML 2025, in Be'er Sheva, Israel, during December 4--5, 2025.The 17 regular pa…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Verification" - alle Bücher, CDs und LPs