Vitrification – alle Bücher, CDs und LPs

Blood Incantation

Starspawn (Reissue 2021)

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…

Artikel am Lager

CD

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…

LP

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 …

lieferbar innerhalb 2-3 Wochen

Buch

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

Lecture Notes in Computer Science - Band 15221

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

lieferbar innerhalb 2-3 Wochen

Buch

Antonina Wozna
Theological Hermeneutics and Mary Daly's verification process

Theological Hermeneutics and Daly's verification processoffers an original overview of Mary Daly's inputs to the theological hermeneutics from the feminist perspective. In the context of multiple theologi…

lieferbar innerhalb 2-3 Wochen

Buch

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

lieferbar innerhalb 1-2 Wochen

Buch

Rebekah M. Martin
101 Topics for Clinical Microbiology Laboratory Leaders

Successfully manage your laboratory accreditation and compliance audits with this easily accessible how-to resource for clinical laboratories101 Topics for Clinical Microbiology Laboratory Leaders: Accred…

lieferbar in mind. 4 Wochen

Buch

Daniel Große, Lucas Klemmer
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

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 …

lieferbar innerhalb 2-3 Wochen

Buch

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

lieferbar innerhalb 2-3 Wochen

Buch

Runtime Verification

Lecture Notes in Computer Science - Band 15191

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

lieferbar innerhalb 2-3 Wochen

Buch

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

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

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

lieferbar innerhalb 2-3 Wochen

Buch

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen

Buch

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 lifecycleThe INCOSE Needs and Requirements Manual prese…

lieferbar innerhalb 1-2 Wochen

Buch

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen

Buch

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…

lieferbar innerhalb 2-3 Wochen

Buch

Verification and Evaluation of Computer and Communication Systems

This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during Octobe…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen

Buch

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