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

John Rutherford
The Secret History of the Fenian Conspiracy. Its Origin, Objects, & Ramifications

Reprint of the original, first published in 1877. 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…

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

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

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

Get Fast - Flucht am Limit

Man kennt ihn nur als The Thief, und zusammen mit seinem Kumpel Vic hat der tollkühne Draufgänger gerade nicht nur die Gangsterkönigin Nushi um zwei Taschen voller Geld erleichtert, sondern dabei auch noc…

lieferbar innerhalb von 3 Tagen

DVD

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

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…

Artikel am Lager

2 LPs

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

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

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

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

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

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

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

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

Austra

Olympia (180g)

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…

lieferbar innerhalb 2-3 Wochen

2 LPs