Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Die Anfngerklausur im Strafrecht

Molekulare Marker beim high-grade Harnblasenkarzinom

The Autonomous Web

Contemporary Domestic and Foreign Policies of Iran

Krisen-PR im Internet

Cliometrics of the Family

Waiting For Reform Under Putin and Medvedev

Bacterial Adaptation to Co-resistance

Rapid Product Development

Drawing and Painting Anime and Manga Faces

Understanding the History of the Aceh Conflict

Quantum Hamilton-Jacobi Formalism

Computer Vision ECCV 2022

Einfhrung in die Markscheidekunde

Entwicklung von Workflow-Typen

Mathematical Analysis

Intelligent Data Engineering and Automated Learning IDEAL 2019

Neutrino Physics in Present and Future Kamioka Watererenkov Detectors with Neutron Tagging

1951 (Exploring Civil Rights: The Beginnings)

Human-Computer Systems Interaction

Modelling

Britain in Global Politics Volume 1

Medical Tourism in Developing Countries

Fast Reactions in Energetic Systems

Children, Development and Education

Software Process Improvement

Combinatorial Heuristic Algorithms with FORTRAN

Bericht ber das Verhalten hydraulischer Bindemittel im Seewasser

Music and the Generosity of God

ber die Ermittelung der Inneren Theilungsfehler Zweier Massstbe

Zur Aktualitt von Robert K. Merton

Handbuch Arbeitgeber- und Wirtschaftsverbnde in Deutschland

Blood in Motion

Usborne Magic Painting Book - Famous Paintings

Offene Kinder- und Jugendarbeit im Kontext des Salafismus

Planar Circuits for Microwaves and Lightwaves

Toward a Whole-of-Europe Approach

Applications of Operations Research and Management Science

Soft Computing Applications in Modern Power and Energy Systems

Global and Regional Climate Interaction: The Caspian Sea Experience