Reification – Bücher, CDs, LPs und mehr, Seite 3

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

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

Dokali Megharief
The Solar System Union & Earth Unification Roadmap

The Solar System Union The Solar Accord's transformative impact unfolds in the middle chapters, showcasing a robust infrastructure spanning the Solar System. Trade, communication, and cultural exchange fl…

lieferbar innerhalb 2-3 Wochen

Buch

Vassilis Petsinis
Echoes of the War in Ukraine: Political Ramifications in the Baltics and the Balkans

In a cross-regional approach, Vassilis Petsinis generates new insights about how developments of groundbreaking significance in regional and global politics (here, Russia's full-scale invasion of Ukraine …

lieferbar innerhalb 2-3 Wochen

Buch

Runtime Verification

.- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

lieferbar innerhalb 2-3 Wochen

Buch

Austra

Olympia

Nach dem gefeierten Debütalbum "Feel It Break" erscheint Mitte Juni das langerwartete zweite Werk namens "Olympia" der Kanadierin Katie Stelmanis aka Austra auf Domino! Mit dem Debütalbum landeten Aust…

Artikel am Lager

CD

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

Kai Schulze
Partisan Politics, Interest Groups and International Commitment

Chapter 1: Introduction.- Chapter 2: International commitments and domestic politics.- Chapter 3: Mapping international commitments to environmental and labour standards.- Chapter 4: Domestic actors and i…

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

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

Iron Savior

Riding On Fire: The Noise Years 1997 - 2004

Boxset mit 81 Titeln und 6 CDs der deutschen Power-Metal-Kultband! Mit fünf vollständigen Alben und einer EP aus den sehr produktiven, frühen Jahren der Band bei Noise Records, inkl. mehrerer Bonustracks.…

Artikel am Lager

6 CDs

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

Mohammad Reza Heidari Iman
Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms

Mohammad Reza Heidari Iman is a Postdoctoral Researcher at the TIMA Laboratory, Université Grenoble Alpes, France, starting in September 2024. He completed his Ph.D. in the Department of Computer Systems …

lieferbar innerhalb 2-3 Wochen

Buch

The Hyperions - Die Superheldenakademie

Als es Professor Ruckus Mandulbaum zu Beginn der 60er Jahre gelingt, mit der von ihm erfundenen Titan Badge in normalen Menschen ganz und gar außergewöhnliche Kräfte zu erwecken, erschafft er das erste Su…

lieferbar innerhalb von 3 Tagen

DVD

Mapping the Constitution

Ending in mid-September 1787, the Constitutional Convention recommended that the state legislatures call conventions elected by the people to consider ratifying the newly proposed Constitution. The five N…

lieferbar innerhalb 1-2 Wochen

Buch

Ibrahim Nugwa Abdulrazak
Educating Exceptional Needs Youngsters.

The purpose of guiding and counseling in a school context is to assist students in understanding themselves and taking the right actions when making decisions about their education, careers, social lives,…

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

Brad Mehldau (geb. 1970)

Jacob's Ladder

Brad Mehldaus »Jacob's Ladder« enthält neue Kompositionen, die inhaltlich vom Reflektieren der Heiligen Schriften und von der Suche nach Gott geprägt sind. Musikalisch wurde das neue Album vom Progrock in…

lieferbar innerhalb einer Woche

2 LPs

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

Bob Marley

Survival

Als Bob Marley 1979 sein elftes Studioalbum Survival veröffentlichte, war das für den damals 34-Jährigen ein klarer thematischer Richtungswechsel von seinen vorherigen Longplayern. Vor allem sein letztes …

lieferbar innerhalb von 3 Tagen

CD