Verification, Model Checking, and Abstract Interpretation

Desktopvirtualisierung

Unsupervised Pattern Discovery in Automotive Time Series

Ray's Big Day (Hardcover)

Assessment of Depression

Rigid-Flexible Coupling Dynamics and Control of Flexible Spacecraft with Time-Varying Parameters

Cluster-Based Industrial Development:

The Future of Software Engineering

Hochschulreformen, Leistungsbewertungen und berufliche Identitt von Professor*innen

Production Engineering and Management under Fuzziness

Kurzes Lehrbuch der Frauenkrankheiten

Medien und Migration

Quantitative Methods in Supply Chain Management

Numerische Berechnung linearer Netzwerke und Systeme

Die Aktie und Du

Autonomy and the Self

Nanostructured Photocatalyst via Defect Engineering

Implementing Adaptation Strategies by Legal, Economic and Planning Instruments on Climate Change

Term Structure Modeling and Estimation in a State Space Framework

Role of Exosomes in Biological Communication Systems

Die Relevanz berfachlicher Kompetenzen bei Personalauswahlen in der ffentlichen Verwaltung

Combinatorial Search: From Algorithms to Systems

Die geistigen Grundlagen des Risorgimento

The Macroeconomics of Corruption

Molecular Mechanism of Crucifers Host-Resistance

Challenges and Innovations in Geomechanics

Harmonization and Development of Resources and Tools for Italian Natural Language Processing within

Problems and Solutions for Undergraduate Analysis

Think Tanks and Non-Traditional Security

Understanding Autonomous Cooperation and Control in Logistics

Xenotransplantation

Education for All and Multigrade Teaching

Management and Culture in an Enlarged European Commission

Eye Movements and Vision

Burning Women

Molecular Imaging and Targeted Therapy

Revision of loose femoral prostheses with a stem system based on the "press-fit" principle

EPSA Epistemology and Methodology of Science

Algorithms and Techniques for VLSI Layout Synthesis

Design of Underground Structures

The Psychology of Expertise