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

Matthew Hu, Yan-Fu Li,
Enhancing Life Cycle Reliability with Robust Engineering and Prognostic 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 27.4.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

Frank Ehlers
Design Space Exploration in Robotics

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

Thom Frühwirth
Principles of Rule-Based Programming

The book provides a unified overview of concepts and features of a comprehensive variety of rule-based programming languages. They have applications in diverse areas such as workflow systems, the Semantic…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Techniques for Distributed Objects, Components, and Systems

.- tutorial paper..- A Choreographic View of Smart Contracts..- regular papers..- Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems..- Sequential Composition of BDD Transition Syst…

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

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

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

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

Next Democratic Frontiers for Facial Recognition Technology (FRT)

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

Bridging the Gap Between AI and Reality

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…

sofort lieferbar

Buch

Engineering Design Applications VII

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

Kwangjo Kim
Practical Post-Quantum Signatures

The current digital signature methods like RSA, DSA, and ECDSA are relatively simple to understand, and their signing and verification processes operate in comparable time frames. However, in the quantum …

lieferbar innerhalb 2-3 Wochen

Buch

Integrated Formal Methods

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

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

Artificial Intelligence and Data Analytics for Innovative Applications in Engineering, Sustainability and Technology

This book explores the forefront of Artificial Intelligence (AI), data analytics, and sustainable engineering, presenting in-depth research and practical applications across various domains. It is designe…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Systems Theory - EUROCAST 2024

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during Fe…

lieferbar innerhalb 2-3 Wochen

Buch

Alexander Arnfinn Olsen, Fidaa Karkori
Inventory of Hazardous Materials

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

Computer Aided Systems Theory - EUROCAST 2024

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during Fe…

lieferbar innerhalb 2-3 Wochen

Buch

Eike Best, Raymond Devillers
Petri Net Primer

Preface.- 1 First Steps in Petri Nets.- 2 Languages of Petri Nets.- 3 Reachability and Coverability.- 4 Linear-algebraic Structure of Petri Nets.- 5 Graph-theoretical Structure of Petri Nets.- 6 More Stru…

lieferbar innerhalb 2-3 Wochen

Buch