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

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

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

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

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

Information and Communications Security

Lecture Notes in Computer Science - Band 16219

Attack and Defense.- Domain Adaptation for Cross-Device Profiled ML Side-Channel Attacks..- Find the Clasp of the Chain: Efficiently Locating Cryptographic Procedures in SoC Secure Boot by Semi-automated …

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

Integrated Formal Methods

Lecture Notes in Computer Science - Band 16194

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19--21, 2025.The 23 full pape…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Safe and Trustworthy Cyber Physical Systems

Lecture Notes in Computer Science - Band 15471

This Festschrift is dedicated to Werner Damm, a pioneering researcher and practitioner in cyber-physical systems. Werner received his PhD in 1981 from RWTH Aachen and held the Chairs for Computer Architec…

lieferbar innerhalb 2-3 Wochen

Buch

Robert Wang, Wei Wang
Synthetic Aperture Radar (SAR) Waveform Design and Signal Processing

This book reports the latest research results in the study of waveform design methods for the synthetic aperture radar (SAR) and the corresponding signal processing techniques. Novel research ideas and ex…

lieferbar innerhalb 2-3 Wochen

Buch

Graph Transformation

Lecture Notes in Computer Science - Band 16624

This book constitutes the refereed proceedings of the 19th International Conference on Graph Transformation, ICGT 2026, held in Rennes, France, during July 1--2, 2026.The 9 full papers and 4 short papers …

lieferbar innerhalb 2-3 Wochen

Buch

Antonina Wozna
Mary Daly's (1928-2010) Theological Method of Ontolinguistic Hermeneutics

Ontolinguistics theological Hermeneutics: sources and Daly's proposal analyses the method used by Mary Daly, her constructive criticism of the traditional theological method and her proposal to combine th…

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

Minchao Huang, Jianjun Wu, Jian Li, Yuqiang Cheng
Solar Thermal Thruster

This open access book focuses on the field of aerospace propulsion theory and engineering. The book takes the solar thermal thruster as the research object, has carried on the solar thermal thruster worki…

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science - Band 16032

This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/No…

lieferbar innerhalb 2-3 Wochen

Buch

Fidaa Karkori, Alexander Arnfinn Olsen
Inventory of Hazardous Materials

Synthesis Lectures on Ocean Systems Engineering

This book provides a comprehensive guide to the Inventory of Hazardous Materials (IHM), a critical document for ensuring the safe and environmentally sound recycling of ships. At the heart of this book is…

lieferbar innerhalb 2-3 Wochen

Buch

Games on Graphs

This volume introduces the fundamental results and the state of the art in infinite duration games on graphs. These versatile game models first appeared in the study of automata and logic, but later becam…

lieferbar innerhalb 2-3 Wochen

Buch

Yubin Lan
Precision Agricultural Aviation Application Technology

Agriculture Automation and Control

Modern technologies and information tools can be used to maximize agricultural aviation productivity, allowing for precision application of agrochemical products. This book reviews and summarizes state-of…

lieferbar innerhalb 2-3 Wochen

Buch

European Commission
Commission Delegated Regulation (EU) 2025/927 of 20 May 2025

This text edition contains the full text of the following EU legal act:Commission Delegated Regulation (EU) 2025/927 of 20 May 2025 supplementing Directive 2003/87/EC of the European Parliament and of the…

lieferbar innerhalb 2-3 Wochen

Buch

Foundations of Software Science and Computation Structures

Lecture Notes in Computer Science - Band 16503

This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the Internatio…

lieferbar innerhalb 2-3 Wochen

Buch

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