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

Christoph Hazott, Daniel Große
Breaking Barriers in HW-to-SW Stack Verification

This book aims to overcome the barriers in HW-to-SW stack verification, specifically those posed by the test oracle problem and isolated analysis. The authors provide tools and strategies that make it fea…

lieferbar ab 11.11.2026.

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar ab 23.11.2026.

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts

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…

lieferbar ab 28.11.2026.

Buch

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…

lieferbar ab 23.11.2026.

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

Azfar Adib
Safe or Secure?

*Safe or Secure?*examines the evolution and deployment of age verification systems, situating them within broader technological, regulatory, and societal frameworks. It analyses this trend as part of the …

lieferbar in mind. 4 Wochen

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

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

Undergraduate Topics in Computer Science

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…

lieferbar innerhalb 2-3 Wochen

Buch

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…

Artikel am Lager

CD

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 …

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar in mind. 4 Wochen

LP

Günter Fischer
Der Bau der Cheops-Pyramide

Seit Jahrhunderten schon versuchen Wissenschaftler die Frage zu beantworten, wie die Ägypter es geschafft haben, mit den ihnen damals zur Verfügung stehenden einfachen Mitteln 2,32 Millionen Steine in ein…

lieferbar in mind. 4 Wochen

Buch

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

Springer Proceedings in Physics - Band 342

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…

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

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 …

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

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