Theory and Applications of Satisfiability Testing

Literature 1978, Part 1

Fluvial Hydraulics of Mountain Regions

Untersuchungen ber das kombinierte Quer-Napf-Vorwrts-Fliepressen

Cultural Rights and Justice

Messung, Modellierung und Bewertung von Rechensystemen und Netzen

Intraoperative Imaging in Neurosurgery

Computational Social Networks

Service-Oriented Computing ICSOC 2015 Workshops

Steuersystem und betriebliche Rationalisierung

Recent Trends in Algebraic Development Techniques

Kranke Gesellschaften

International Trade of Secondhand Goods

Effective Management of Research and Development

Fundraising Principles for Faculty and Academic Leaders

Betriebslehre des Binnenhandels

Nic Bishop: Big Cats

Tatort Familie

Cost-efficient Wastewater Treatment Technologies

New Trends in Materials Chemistry

Pattern Recognition, Machine Intelligence and Biometrics

Digital Watermarking for Machine Learning Model

Inhalt und Auswirkungen der verfassungsrechtlichen Kunstfreiheitsgarantie

The International Imperative in Higher Education

Polymer Technology in Dye-containing Wastewater

MERS Coronavirus

Acoustical Imaging

Entwicklung und Anwendung neuer Schmierstoffprfverfahren fr die Kaltmassivumformung

Design Techniques for Mash Continuous-Time Delta-Sigma Modulators

Big Data Integration

Automated Machine Learning

Geometric and Analytic Number Theory

The Deep Universe

Erniedrigung der Ionisierungsenergie in einem Plasma

Sourcebook of Methods of Analysis for Biomass and Biomass Conversion Processes

The Market and the State

DNA Replication: The Regulatory Mechanisms

Advances in Structural Engineering

Term Rewriting and Applications

The Enigma of Divine Revelation

Emergency Orthopedics