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

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

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

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

Americo Rio, Jose Pereira dos Reis, Ricardo Machado, Stamatia Bibi
Quality of Information and Communications Technology

Lecture Notes in Computer Science

This book constitutes the proceedings of the 18th International Conference on the Quality of Information and Communications Technology, QUATIC 2025, held in Lisbon, Portugal, during September 3--5, 2025.T…

lieferbar ab 28.8.2026.

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

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

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

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

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

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

Americo Rio, Jose Pereira dos Reis, Ricardo Machado,
Quality of Information and Communications Technology

Lecture Notes in Computer Science

This book constitutes the proceedings of the 18th International Conference on the Quality of Information and Communications Technology, QUATIC 2025, held in Lisbon, Portugal, during September 3--5, 2025.T…

lieferbar ab 17.8.2026.

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

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

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

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

Engineering Design Applications VI

Advanced Structured Materials - Band 209

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

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

Buch

Next Democratic Frontiers for Facial Recognition Technology (FRT)

Law, Governance and Technology Series - Band 74

This book focuses on facial recognition technology (FRT) and sheds light on previously unexplored aspects that involve systematic legal issues concerning its regulation, the protection of rights and freed…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Design Applications VII

Advanced Structured Materials - Band 230

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 eng…

lieferbar innerhalb 2-3 Wochen

Buch

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