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

Riccardo Bonfichi
Practical Monte Carlo Simulation in GMP Manufacturing and Control

In pharmaceutical manufacturing, quality control, and quality assurance, critical GMP decisions are often made with incomplete data, variable processes, and uncertain measurements. Batch release, process …

lieferbar ab 28.12.2026.

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…

sofort lieferbar

Buch

Emerging Centralised Automotive E/E Architectures

This book presents a practical roadmap for developing dependable, scalable, and evolvable software-defined vehicles by combining AI-driven engineering, data-centric architectures, and continuous verificat…

lieferbar ab 24.2.2027.

Buch

Artificial Intelligence Logic and Applications

This book constitutes the proceedings of the 5th International Conference on Artificial Intelligence Logic and Applications, AILA 2025, held in Xi'an, China, during August 16--17, 2025.The 12 full papers …

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

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

OpenMP: Adaptability for Heterogeneous Multi¿Device Systems

Lecture Notes in Computer Science - Band 17099

This book constitutes the refereed proceedings of the 22nd International Workshop on OpenMP, IWOMP 2026, held in Vienna, Austria, during October 7-9, 2026The 19 full papers included in this book were care…

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

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 innerhalb 1-2 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

American Exceptionalism and US Foreign Policy

A compelling examination of American exceptionalism at a crossroadsThe idea of American exceptionalism claims that the United States has a superior character, special mission, and unique destiny. Often tr…

lieferbar ab 1.3.2027.

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

American Exceptionalism and US Foreign Policy

A compelling examination of American exceptionalism at a crossroadsThe idea of American exceptionalism claims that the United States has a superior character, special mission, and unique destiny. Often tr…

lieferbar ab 1.3.2027.

Buch

Steve Hill, Paul Bradshaw
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 25.3.2027.

Buch

Frank Ehlers
Design Space Exploration in Robotics

Studies in Systems, Decision and Control - Band 229

This book provides a foundation of the overall cycle from design and modelling to implementation and control of unmanned systems, exhibiting autonomy and instantiating self-organization amidst disturbance…

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

Muhammad H. Rashid
SPICE and LTspice for Power Electronics and Electric Power

Power Electronics and Applications Series

Power electronics can be a difficult course for students to understand and for professional professors to teach, simplifying the process for both. LTspice for power electronics and electrical power editio…

lieferbar ab 30.4.2027.

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

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