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

Agents and Robots for reliable Engineered Autonomy

Communications in Computer and Information Science - Band 2700

This book constitutes the proceedings of the 5th International Workshop on Agents and Robots for Reliable Engineered Autonomy, AREA 2025, which took place in Bologna, Italy, on October 25, 2025, in conjun…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods for Industrial Critical Systems

Lecture Notes in Computer Science - Band 16040

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

sofort lieferbar

Buch

Blockchain Technology and Emerging Applications

This book constitutes the refereed proceedings of the 4th EAI International Conference on Blockchain Technology and Emerging Applications, BlockTEA 2025, held in Venice, Italy, during September 18--19, 20…

lieferbar innerhalb 2-3 Wochen

Buch

Khaled Mohamed
Hardware Security

Synthesis Lectures on Engineering, Science, and Technology

This book provides an effective guide to hardware security, presenting both conventional countermeasures and advanced AI-driven strategies for preventing, detecting, and mitigating security vulnerabilitie…

lieferbar innerhalb 2-3 Wochen

Buch

Verified Software. Theories, Tools and Experiments

Lecture Notes in Computer Science

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 ab 3.8.2026.

Buch

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

Enhancing LLM Performance

Machine Translation: Technologies and Applications - Band 7

Introduction and Fundamentals.- SPEED: Speculative Pipelined Execution for Efficient Decoding.- Efficient LLM Inference on CPUs.- KronA: Parameter-Efficient Tuning with Kronecker Adapter.- LoDA: Low-Dimen…

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

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

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

Samir Tigane, Laid Kahloul, Abdelhamid Mellouk
Enhancing Stochastic Petri Nets with Reconfigurability

This book explores the world of reconfigurable stochastic Petri nets (RSPNs), a powerful method for modeling and verifying complex, dynamic and reconfigurable systems. As modern discrete-event systems bec…

lieferbar innerhalb 1-2 Wochen

Buch

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science - Band 16363

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

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

Soumyajit Mandal
Sensors, Circuits, and Systems for Scientific Instruments

Sensors, Circuits, and Systems for Scientific Instruments: Back-Ends and Applications delves into the advanced world of sensors and circuits tailored for precision measurements. This text builds on founda…

lieferbar in mind. 4 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

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

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

Stefano Bigliardi
Islam and Pseudoscience

Pseudoscience includes any practice or argument that is presented as scientific but systematically violates criteria that distinguish science, particularly experimental verification. This Element discusse…

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

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

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