Verification – alle Bücher, LPs und CDs

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

AI Verification

This LNCS volume constitutes the proceedings of the Second International Symposium, SAIV 2025, in Zagreb, Croatia, during July 2025.The scope of the topics was broadly categorized into two groups. The fir…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

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

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

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

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

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

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.The…

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

William L. Oberkampf, Christopher J. Roy
Verification, Validation, and Uncertainty Quantification in Scientific Computing

Can you trust results from modeling and simulation? This text provides a framework for assessing the reliability of and uncertainty included in the results used by decision makers and policy makers in ind…

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4…

lieferbar innerhalb 2-3 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

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

Incantation

Unholy Deification (Deep Purple Vinyl)

»Unholy Deification« ist das 13. Full-Length-Album der Gruppe, die auf mehr als drei Jahrzehnten Erfahrung aufbaut. Incantation sind besser denn je - das Lineup, bestehend aus Gründungsgitarrist/Sänger Jo…

lieferbar innerhalb einer Woche

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…

Lieferzeit beträgt mind. ein Jahr

Buch

Incantation

Unholy Deification

»Unholy Deification« ist das 13. Full-Length-Album der Gruppe, die auf mehr als drei Jahrzehnten Erfahrung aufbaut. Incantation sind besser denn je - das Lineup, bestehend aus Gründungsgitarrist/Sänger Jo…

lieferbar innerhalb einer Woche

CD

Daniel R. Kälberer
Kontroll- und Verifikationsmöglichkeiten der Finanzverwaltung im Zeichen der Digitalisierung

Wissenschaftliche Beiträge aus dem Tectum Verlag: Rechtswissenschaft - Band 251

Plattform-Geschäftsmodelle im Bereich der Sharing Economy verdrängen traditionelle Vermittlungsformen wie im Einzelhandel oder im Dienstleistungssektor. Sie führen jedoch nicht nur zu Wettbewerbsverzerrun…

sofort lieferbar

Buch