5th Conference on Automated Deduction

Developments in Mathematical and Experimental Physics

SAT-Based Scalable Formal Verification Solutions

Culture, Participation and Policy in the Municipal Public Park

Photography and the Non-Place

Multi-Agent-Based Simulation XII

Wherever You Go by Pat Zietlow Miller

Mediatisierung der Klimapolitik

Datenanonymisierung im Kontext von Knstlicher Intelligenz und Big Data

Jahrbuch zur Mittelstandsforschung 2/2005

Selected Systems from Al-Fe-V to Al-Ni-Zr

Physics, Philosophy and Psychoanalysis

My Life as a Book

Cost-Benefit Studies of Natural Resource Management in Southeast Asia

Capitalism and Climate Change

Nachhaltiges Personalmanagement

International Handbook of Learning, Teaching and Leading in Faith-Based Schools

A Sketch of the World After the COVID-19 Crisis

Relapse Prevention for Sexual Harassers

Male Circumcision in Japan

Social Work with Populations Vulnerable to Neglected Tropical Diseases

Development and Evaluation of Setup Strategies in Printed Circuit Board Assembly

Collaborative Research and Development Projects

Image Analysis and Recognition

Handbook of Nanocomposite Supercapacitor Materials III

Studies in Computer Science

Optimale Lagerhaltung bei ungenauen Daten

Organic Compounds

sterreichische Mediengeschichte

Industrial Applications of Holonic and Multi-Agent Systems

Distributed Computing Pearls

Surgical Care of Voice Disorders

Poset Codes: Partial Orders, Metrics and Coding Theory

Urban Services in Developing Countries

Struggle for a Better South

Radiative Corrections for e+e- Collisions

Coping with the Pandemic in Fragile Cities

Eine kurze Geschichte der Sprachen

The Educational Innovators

DNA Computing and Molecular Programming

Power System Grid Operation Using Synchrophasor Technology