Interactive Theorem Proving

X-Rated!

Artificial Intelligence and Creativity

Accounting Information Systems for Decision Making

Parkinson's Disease and Nonmotor Dysfunction

A Geometric Approach to Thermomechanics of Dissipating Continua

Formal Aspects of Component Software

Amino Acid Availability and Brain Function in Health and Disease

Chimera Patterns in Networks

Corporate Entrepreneurship in Professional Service Firms

Food Safety, Market Organization, Trade and Development

Ecology, Cognition and Landscape

News Media and EU-China Relations

Management and Development of Agricultural and Natural Resources in Egypt's Desert

Aristotle on Equality and Justice

Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail

Mglichkeiten der Soziologie

Intelligent Manufacturing and Energy Sustainability

Jahrbuch der Preuischen forst- und Jagdgesetzgebung und Verwaltung

Rappy the Raptor

Integrated Biochips for DNA Analysis

The Art of Writing Reasonable Organic Reaction Mechanisms

Orbital Relative Motion and Terminal Rendezvous

Ergebnisse der Exakten Naturwissenschaften

Oncogenes and Growth Control

Computer-Assisted Neurosurgery

Zum Zehnjhrigen Bestehen der Gttinger Vereinigung fr Angewandte Physik und Mathematik

Walk and See: Walk and See Opposites

Morality Politics in a Secular Age

Effiziente Zentralisierung in den Unternehmensbereichen IT und Finanzen

Programmieren in COBOL 85

Simultaneous Switching Noise of CMOS Devices and Systems

Strain-Induced Effects in Advanced MOSFETs

Trade and Tax Policy, Inflation and Exchange Rates

Multidisciplinary Approaches to Forensic Archaeology

Building Global Mindsets

Management of Water Use in Agriculture

The Catalytic Chemistry of Nitrogen Oxides

Axiomatic Design in Systems

Einfhrung in die Unternehmensforschung I

Quantum Theory of Chemical Reactivity