Purification – alle Bücher, CDs und LPs, Seite 4

Sonic Frontiers Original Soundtrack Stillness & Motion

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…

Johann Sebastian Bach (1685-1750)

Choräle BWV 599-617

Wolfgang Rübsam/Orgel d.Duke University Durham

Tibetan Mantras For Turbulent Times

Deva Premal & the Gyuto Monks of Tibet have created a powerful, deeply moving mantra meditation album, offering eight Tibetan mantras chanted 108 times each. As Deva notes, Tibetan Mantras for Turbulen…

Marc-Antoine Charpentier (1643-1704)

Noel - Weihnachtskantaten

Solistenensemble Stimmkunst, Ensemble 94, Kay Johannsen

Carlos Patino (1600-1675)

Geistliche Chorwerke - Musica sacra para la Corte

La Grande Chapelle, Albert Recasens

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…

Khaled Salah Mohamed

Heterogeneous SoC Design and Verification

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 …

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…

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

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.

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…

John Carroll

A humble overture for Methodist unification in the Dominion of Canada

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…

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…

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…

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

Anton Wijs, Marieke Huisman

Concise Guide to Software Verification

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 …

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…

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