Vitrification – alle Bücher, LPs und CDs

Blood Incantation

Starspawn (Reissue 2021) (180g)

Nach der Veröffentlichung der »Interdimensional Extinction EP« kehrten Blood Incantation mit einem 34-minütigen zerebralen Wirbelwind aus kraftvollem, atmosphärischem Death Metal zurück. Der intensive und…

Petrification

Sever Sacred Light

Petrification

Sever Sacred Light

Khaled Salah Mohamed

Heterogeneous SoC Design and Verification

This book covers the foundations of hardware/software codesign, on-chip communication, debugging, and verification, for heterogenous SoCs. Its primary objective is to empower designers in making informed …

Chris Köcher

Verification of Automata with Storage Mechanisms

An important question in computer science is to ask, whether a given system conforms to a specification. Often this question is equivalent to ask whether a finite automaton with certain memory like a stac…

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

Alireza Mahzoon, Rolf Drechsler, Daniel Große

Formal Verification of Structurally Complex Multipliers

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebr…

William L Oberkampf, Christopher J Roy

Verification, Validation, and Uncertainty Quantification in Scientific Computing

"This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework problem…

Anton Wijs, Marieke Huisman

Concise Guide to Software Verification

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

Guide to Software Verification with Frama-C

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiqui…

Runtime Verification

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short pap…

Computer Aided Verification

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

Computer Aided Verification

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024.The primary f…

Computer Aided Verification

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

John Stuart Stuart Glennie

Isis and Osiris; Or, The Origin of Christianity as a Verification of an Ultimate Law of History.

Reprint of the original, first published in 1878. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

Louis S Wheatcraft, Michael J Ryan, Tami Edner Katz,

Incose Needs and Requirements Manual

Complete and comprehensive manual for eliciting, defining, and managing needs and requirements, integration, verification, and validation across the lifecycle The INCOSE Needs and Requirements Manual pres…

John Stuart Stuart Glennie

Isis and Osiris; Or, The Origin of Christianity as a Verification of an Ultimate Law of History.

Reprint of the original, first published in 1878. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

Verification and Evaluation of Computer and Communication Systems

This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during Oct…

David Allen Burke

Atomic Testing in Mississippi

In Atomic Testing in Mississippi, David Allen Burke illuminates the nearly forgotten history of America's only nuclear detonations east of the Mississippi River. The atomic tests, conducted in the mid-196…