Ihre Suche nach "Purification" ergab 121 Treffer

Ansicht:
Jade (Rock): The Pacification Of Death, CD

Jade
The Pacification Of Death

Mit unheimlicher Finsternis und überwältigendem Riffing haben Jade ein erstklassiges Genre-Debüt aufgenommen. Aufgenommen, gemischt und gemastert von Javi Félez in den Moontower Studios, Barcelona (Gravey…

lieferbar in mind. 4 Wochen
CD
 
EUR 16,99*
Nicholas: The Christmas Story, CD

Nicholas
The Christmas Story

Gabriel Jacksons The Christmas Story behandelt den Zeitraum von Advent bis Mariä Lichtmess und verbindet biblische Erzählungen mit liturgischen Texten und eigens in Auftrag gegebenen Gedichten. Bemerkensw…

lieferbar ab 8.11.2024.
CD
EUR 17,99*
Leos Janacek: The Many Passions of Leos Janacek, CD,CD,CD,CD

Leos Janacek (1854-1928)
The Many Passions of Leos Janacek

Josef Hala, Teodor Srubar, Beno Blachut, Magdalena Hajossyova, Gabriela Benackova, Radoslav Kvapil, Jana Jonasova, Helena Tattermuschova, Vaclav Bednar, Czech Philharmonic Choir of Brno, Prague Philharmon…

umgehend lieferbar, Bestand beim Lieferanten vorhanden
4 CDs
 
EUR 26,99*
Carlos Patino: Geistliche Chorwerke - Musica sacra para la Corte, CD

Carlos Patino (1600-1675)
Geistliche Chorwerke - Musica sacra para la Corte

La Grande Chapelle, Albert Recasens

lieferbar innerhalb 1-2 Wochen
CD
 
EUR 19,99*
Marc-Antoine Charpentier: Noel - Weihnachtskantaten, CD

Marc-Antoine Charpentier (1643-1704)
Noel - Weihnachtskantaten

Solistenensemble Stimmkunst, Ensemble 94, Kay Johannsen

umgehend lieferbar, Bestand beim Lieferanten vorhanden
CD
 
EUR 19,99*
Gimp Fist: Isolation (Clear Blue w/ White Splash Vinyl), LP

Gimp Fist
Isolation (Clear Blue w/ White Splash Vinyl)

Gimp Fist im Doppelpack! Die Alben »Isolation« und »Unification«! Jeweils 15 Songs auf jedem Album und wie nicht anders zu erwarten, liefert die North-East Oi! Division wie gewohnt Songs der Extraklas…

umgehend lieferbar, Bestand beim Lieferanten vorhanden
LP
 
EUR 24,99*
Khaled Salah Mohamed: Heterogeneous SoC Design and Verification, Buch

Khaled Salah Mohamed
Heterogeneous SoC Design and Verification

Synthesis Lectures on Digital Circuits & Systems

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
EUR 53,32*
Chris Köcher: Verification of Automata with Storage Mechanisms, Buch

Chris Köcher
Verification of Automata with Storage Mechanisms

An important question in computer science is to ask, whether a given system conforms to a specification. Often this question is equivalent to ask whether a finite automaton with certain memory like a stac…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 18,00*
Stefano Serafini: Gothic Italy, 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 ab 7.2.2025.
Buch
EUR 64,31*
Alessandro Gianola: Verification of Data-Aware Processes via Satisfiability Modulo Theories, Buch

Alessandro Gianola
Verification of Data-Aware Processes via Satisfiability Modulo Theories

Lecture Notes in Business Information Processing -Band 470

This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy. It presents a new approach to safety verification of a particular class of i…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Alireza Mahzoon: Formal Verification of Structurally Complex Multipliers, Buch

Alireza Mahzoon, Rolf Drechsler, Daniel Große
Formal Verification of Structurally Complex Multipliers

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebr…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 98,56*
William L Oberkampf: Verification, Validation, and Uncertainty Quantification in Scientific Computing, Buch

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

Erscheint bald
Buch
: Guide to Software Verification with Frama-C, Buch

Guide to Software Verification with Frama-C

Computer Science Foundations and Applied Logic

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

lieferbar innerhalb 2-3 Wochen
Buch
EUR 69,33*
Anton Wijs: Concise Guide to Software Verification, Buch

Anton Wijs, Marieke Huisman
Concise Guide to Software Verification

Texts in Computer Science

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
: Runtime Verification, Buch

Runtime Verification

Lecture Notes in Computer Science -Band 15191

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

lieferbar innerhalb 2-3 Wochen
Buch
EUR 60,23*
Timo Bartholl: Favela Resistance, 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 ab 12.11.2024.
Buch
EUR 25,43*
Iron Savior: Riding On Fire: The Noise Years 1997 - 2004, CD,CD,CD,CD,CD,CD

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 1-2 Wochen
6 CDs
 
EUR 49,99*
: Automated Technology for Verification and Analysis, Buch

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science -Band 14216

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium inten…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: Computer Aided Verification, Buch

Computer Aided Verification

Lecture Notes in Computer Science -Band 14682

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
: Computer Aided Verification, Buch

Computer Aided Verification

Lecture Notes in Computer Science -Band 14681

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
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.