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

Mohammad Reza Heidari Iman

Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms

This book introduces leading-edge techniques for verifying the complex electronic systems used in industries such as aerospace, automotive, and medical devices, and ensuring the safety and security of the…

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

The open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took plac…

Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems

The open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took plac…

Cosmin Radu Popa

Fundamentals of CMOS Analog Integrated Circuits

This textbook is built upon a deliberately simplified, yet rigorous, methodological framework. Its primary objective is to enable students to develop a deep and operational understanding of the fundamenta…

Dying Fetus

Purification Through Violence (Reissue) (Custom Quad With Splatter Vinyl)

Computational Modeling and Simulation of Medical Devices

This open access book reflects the growth of computational modeling and simulation (CM&S) in support of medical device development over the past two decades, identifies the opportunities and challenge…

Lucas Klemmer, Daniel Große

Versatile Hardware Analysis Techniques

This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verif…

José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa

Rigorous Software Development

Software errors can lead to catastrophic consequences, from financial losses to threats to human safety. As a result, rigorous methods for software development and validation have become increasingly crit…

Dying Fetus

Purification Through..

Produktinfo: 'Purification Through Violence' ist das legendäre Debütalbum von Dying Fetus. Das wertige Reissue ist neu verpackt mit Liner Notes von der Band, ausgedehntes Artwork und Photos, und beinh…

European Commission

Commission Implementing Regulation (EU) 2017/980 of 7 June 2017

This text edition contains the full text of the following EU legal act:Commission Implementing Regulation (EU) 2017/980 of 7 June 2017 laying down implementing technical standards with regard to standard …

Diabolic

Infinity Through Purification (Limited Edition) (Flaming Orange Vinyl)

Nie zuvor auf LP erschienen, freut sich Svart Records, dieses kultige Florida Death Metal Album auf limitiertem Vinyl zu veröffentlichen. Die zweite Welle der Florida-Death-Metal-Band Diabolic produzierte…

Proceedings of the 32nd International Conference on Nuclear Engineering-Volume 15; ICONE 2025, 22-26 June, Weihai, China

This is the 15th volume of the proceeding papers from the 32nd International Conference on Nuclear Engineering (ICONE 32). This book covers the topics of Tracks 13 and 14, including risk assessments and m…

European Commission

Commission Implementing Regulation (EU) 2024/1321 of 8 May 2024

This text edition contains the full text of the following EU legal act:Commission Implementing Regulation (EU) 2024/1321 of 8 May 2024 amending Implementing Regulation (EU) 2018/2067 as regards the verifi…

European Commission

Commission Implementing Decision (EU) 2022/2519 of 20 December 2022

This text edition contains the full text of the following EU legal act:Commission Implementing Decision (EU) 2022/2519 of 20 December 2022 on the technical specifications and standards for the e-CODEX sys…

European Commission

Commission Implementing Regulation (EU) 2025/1192 of 18 June 2025

This text edition contains the full text of the following EU legal act:Commission Implementing Regulation (EU) 2025/1192 of 18 June 2025 amending Implementing Regulation (EU) 2018/2067 as regards certain …

European Commission

Commission Delegated Regulation (EU) 2023/2917 of 20 October 2023

This text edition contains the full text of the following EU legal act:Commission Delegated Regulation (EU) 2023/2917 of 20 October 2023 on the verification activities, accreditation of verifiers and appr…

European Commission

Commission Delegated Regulation (EU) 2023/2917 of 20 October 2023

This text edition contains the full text of the following EU legal act:Commission Delegated Regulation (EU) 2023/2917 of 20 October 2023 on the verification activities, accreditation of verifiers and appr…

European Commission

2010/713/EU: Commission Decision of 9 November 2010

This text edition contains the full text of the following EU legal act:2010/713/EU: Commission Decision of 9 November 2010 on modules for the procedures for assessment of conformity, suitability for use a…

European Commission

Commission Implementing Regulation (EU) 2018/2067 of 19 December 2018

This text edition contains the full text of the following EU legal act:Commission Implementing Regulation (EU) 2018/2067 of 19 December 2018 on the verification of data and on the accreditation of verifie…