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

Fernando Sansò, Alberta Albertella
The Probabilistic Vision of the Physical World

Probability and Frequency.- 2. The Sources of Stochasticity.- 3. Statistical Inference: The Theory of Estimation.- 4. Statistical Inference: Model Verification.- 5. Finite vs Infinite, Discrete vs Continu…

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

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

Verified Software. Theories, Tools and Experiments

Lecture Notes in Computer Science - Band 15525

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14--15, 2024.The 6 full papers, as well…

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

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

Foundations and Practice of Security

Lecture Notes in Computer Science - Band 15533

.- Preserving privacy and maintaining trust for end users in a complex and numeric cyberspace. .- Another Walk for Monchi. .- An Innovative DSSE Framework: Ensuring Data Privacy and Query Verification in …

lieferbar innerhalb 2-3 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

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

Complete process for ensuring product performance through robust concept design, robust optimization, selection, and verification in an uncontrollable user environmentLife Cycle Reliability through Robust…

lieferbar ab 20.7.2026.

Buch

Alexander Arnfinn Olsen
Subsea Pipeline Systems

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

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

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

Blockchain Technologies for Smart Circular Economy and Organisational Sustainability

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

Engineering Design Applications VI

This book gives an update on recent developments in the mentioned areas of modern engineering design application. Different engineering disciplines such as mechanical, materials, computer and process engi…

lieferbar innerhalb 2-3 Wochen

Buch

Sidorov Denis
Approximation & Regular Methods Operator-Function Equations

This book presents an overview of the most recent research and findings in the field of approximation and regularisation methods for operator-functional equations, and explores their applications in elect…

lieferbar innerhalb 2-3 Wochen

Buch

Foundations of Software Science and Computation Structures

Lecture Notes in Computer Science - Band 15691

This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, du…

lieferbar innerhalb 2-3 Wochen

Buch

Theoretical Aspects of Computing - ICTAC 2025

Lecture Notes in Computer Science - Band 16237

This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24--28, 2025.The 21 full pap…

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

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