Theorem Provers in Circuit Design: Theory, Practice and Experience

Cooperative Multimodal Communication

The Apologetic Value of Human Holiness

Digital Control Systems

U.S. and West German Housing Markets

The Structures of Practical Knowledge

Bone by Bone

Leading Pharmaceutical Innovation

Lernen von den Weltbesten

Revisiting The Tempest

Basiswissen Ingenieurmathematik Band 2

Einfhrung in den Eurocode 3

Applied Cryptography and Network Security Workshops

Source and Channel Coding

New Perspectives on the History of Facial Hair

Rntgendiagnostik der Oberen Speise- und Atemwege der Atemorgane und des Mediastinums Teil 3 / Roent

Several Complex Variables III

Intimchirurgie

Aktive Konjunkturpolitik der Unternehmung

Modeling Decisions for Artificial Intelligence

Von der Informationsflut zum Information Brokering

Contemporary Skull Base Surgery

Kompendium Kinderansthesie

Auswirkungen des Electronic Commerce auf juristische Fachverlage

Magnetstimulation des Nervensystems

Because Technology Discriminates

Allgemeine Betriebswirtschaftslehre

Object-Oriented and Mixed Programming Paradigms

Advances in Real-Time Intelligent Systems

Hegel and Speculative Realism

Helical Wormlike Chains in Polymer Solutions

Countering Cyber Threats to Financial Institutions

Subsidy Regulation and State Transformation in North America, the GATT and the EU

The Physiology of Hemostasis

EBM 2020 Kommentar Kinderheilkunde

Many-Particle Physics

Handbuch Ganztagsbildung

Metamorphoses of Hamiltonian Systems with Symmetries

First Order Algebraic Differential Equations

Biomedical Electronics, Noise Shaping ADCs, and Frequency References

Operations Research