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

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

Kristina Liefke
Reduction and Unification in Natural Language Ontology

"This Element investigates which ontological categories (such as individuals, properties, events, degrees, and kinds) are minimally required to provide a semantics for natural language. It yields ins…

lieferbar innerhalb 2-3 Wochen

Buch

Stefano Serafini
Gothic Italy

Gothic Italy explores how the Gothic permeated and shaped the project of nation-building in the aftermath of Italy's unification.

lieferbar in mind. 4 Wochen

Buch

Bob Marley

Survival (Limited Numbered Jamaican Pressing)

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 …

Artikel am Lager

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

Carlos Patino (1600-1675)

Geistliche Chorwerke - Musica sacra para la Corte

La Grande Chapelle, Albert Recasens

Artikel wird nachgefertigt.
Voraussichtlich wieder lieferbar Ende September 2025

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

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

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

Petros A. M. Gelepithis
Unification of Artificial Intelligence and Psychology

This book ¿the first of a two-volume monograph¿ seeks to unify the hitherto perceived-as-disparate foundations of psychology and artificial intelligence. It does this by replacing their constitutive notio…

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

Petros A. M. Gelepithis
Unification of Artificial Intelligence and Psychology

This book, the second of two-volumes, builds on the Unification of Artificial Intelligence and Psychology: Volume One - Foundations to explore its consequences. In doing so, this volume unifies three pivo…

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

lieferbar innerhalb einer Woche

6 CDs

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

Timo Bartholl, Christos Filippidis, Antonis Vradis, Minhocas Urbanas
Favela Resistance

Food is at the heart of well-being, peace, and health. But millions live without access to basic nutrition, and billions live without control or understanding of where their food will come from and how it…

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

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

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

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

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

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.