Verified Software: Theories, Tools, Experiments

Abstract State Machines, Alloy, B, VDM, and Z

Versorgungsstrategien in der Logistik

Advances in Transitional Flow Modeling

Astrotomography

Capital Rising

Knowledge Acquisition for Expert Systems

Corporate Diplomacy: How Multinational Corporations Gain Organizational Legitimacy

Solar Sailing

Computational Linguistics and Intelligent Text Processing

Augmented Education

Mathematical Theory of Elasticity of Quasicrystals and Its Applications

Architektur von Rechensystemen

Stochastic Biomathematical Models

Soil Organic Carbon Sequestration in Terrestrial Biomes of the United States

Innovation, Social Networks, and Service Ecosystems

Wohnen und Mobilitt im Kontext von Fremdbestimmung und Exklusion

Gerechtigkeit bei der Beschwerdebehandlung

Municipal Incorporation Activity in the United States

Neurosurgery for Spasticity

Advanced Geometrical Optics

X-Men '92- House of Xcii by Steve Foxe

Demographic aspects of the changing status of women in Europe

The Holocaust as Colonial Genocide

Fluvial Systems in the Anthropocene

E-government and Public Sector Process Rebuilding

Bioinformatics for agriculture: High-throughput approaches

Europes Legitimacy Crisis

Global Corporate Workplaces

Robust Optimization in Electric Energy Systems

Innovative Supply Chain Management via Digitalization and Artificial Intelligence

Rationality of Varieties

Lasers in Dermatology

Conflict and Human Security in Africa

Neural Progenitor Cells

African Land Reform Under Economic Liberalisation

Glycerol

Surgical Guide to Circumcision

Conservativism: A Cultural-Psychological Exploration

Air Instrument Surgery

The Sustainability of Hemp