Formal Methods for Hardware Verification

New Data Structures and Algorithms for Logic Synthesis and Verification

Marktorientierte Unternehmenskultur

Cross-Strait Relations and International Organizations

Digital Image Processing Systems

Streptococcus suis

Knowledge Discovery, Knowledge Engineering and Knowledge Management

Haut und Anhangsgebilde

Smart and Sustainable Technology for Resilient Cities and Communities

Parteifinanzierung in Deutschland

Explorations in the Mathematics of Data Science

Mathematical Modelling of Estuarine Physics

Numerical and Practical Exercises in Thermoluminescence

Big Book of My World

The Land Question in Britain, 1750-1950

Oxygen-Ozone Therapy

Flexible Speicherung und Indexierung komplexer Datenbankobjekte

Captain Underpants and the Terrifying Return of Tippy Tinkletrousers (#9) (Color Edition) (Hardcover)

Viewegs Geschichte der Umweltwissenschaften

Runtime Verification

Eine mediko-mechanische Abteilung, von Leichtverwundeten kostenlos hergestellt

Transversale Strahldynamik bei der Erzeugung kohrenter Synchrotronstrahlung

Mechanics and Control of Soft-fingered Manipulation

Messung von radioaktiven und stabilen Isotopen

Cultural Policy and Federalism

Reprsentation und Verarbeitung rumlichen Wissens

Vegetation Survey and Classification of Subtropical Forests of Southern Africa

Theory and Applications of Nonviscous Fluid Flows

Elementare Wellenmechanik

Theory of Crystal Space Groups and Lattice Dynamics

Advances in Hypersonics

Atlas of Non-Desirable Outcomes in Cleft Lip and Palate Surgery

Theatricality, Dark Tourism and Ethical Spectatorship

Salmonella

The Kenya Rift Lakes: Modern and Ancient

Interactive Image Processing for Machine Vision

Alterations in the Neuronal Cytoskeleton in Alzheimer Disease

Of Fish, Fly, Worm, and Man

Love and the Novel

Hydrogen in Intermetallic Compounds I

Einfhrung Theoretische Meteorologie