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

Wir konnten keine exakten Treffer zu Ihrer Suche nach "reification" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:

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
Aktueller Preis: EUR 238,45

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
Aktueller Preis: EUR 53,32

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
Aktueller Preis: EUR 41,99

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
Aktueller Preis: EUR 125,17

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
Aktueller Preis: EUR 72,27

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
 
Aktueller Preis: EUR 7,99

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
Aktueller Preis: EUR 153,32

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
Aktueller Preis: EUR 147,93

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
Aktueller Preis: EUR 82,75

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
Aktueller Preis: EUR 63,51

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
 
Aktueller Preis: EUR 46,99

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
Aktueller Preis: EUR 43,80

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
Aktueller Preis: EUR 109,51

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
 
Aktueller Preis: EUR 12,99

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
Aktueller Preis: EUR 48,62

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
Aktueller Preis: EUR 34,20

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
Aktueller Preis: EUR 43,80

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
 
Aktueller Preis: EUR 32,99

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
Aktueller Preis: EUR 63,51

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
 
Aktueller Preis: EUR 12,99
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.