Verifying Concurrent Processes Using Temporal Logic

Relativistic Collisions of Structured Atomic Particles

Precedent and Statute

Witnesses, Neighbors, and Community in Late Medieval Marseille

Gendered Readings of Change

Konzepte und Instrumente des Dialog-Marketings

Protecting Privacy in Video Surveillance

Modelling of Corroding Concrete Structures

Die problematische Neuerfindung der italienischen Rechten

Conditionally Specified Distributions

The Japanese Economic Crisis

Human Development in Bihar, India

Genetic Engineering

South African Institute of Computer Scientists and Information Technologists

Praxishandbuch ACT-Matrix

Technisches Denken und Schaffen

Magnetohydrodynamics: Waves and Shock Waves in Curved Space-Time

Passing the General Surgery Oral Board Exam

Applications of Zero-Suppressed Decision Diagrams

Smart Sensing and Context

Optical and Wireless Technologies

Zuverlssigkeit von Gerten und Systemen

Diabetes-Handbuch

Delayed Preconditioning and Adaptive Cardioprotection

Proceeding of the Second International Conference on Microelectronics, Computing & Communication Sys

Data Science

Introduction to Solar Terrestrial Relations

Zeolite-Type Crystal Structures and their Chemistry. Framework Type Codes LTA to RHO

New Advances on Chaotic Intermittency and its Applications

Politics, Taxation, and the Rule of Law

Evaluation and Explanation in the Biomedical Sciences

Free Trade within North America: Expanding Trade for Prosperity

Mycotoxins and Their Metabolites in Humans and Animals

Heavy-Tail Phenomena

Soziale Differenzierung

Consistency and Viability of Capitalist Economic Systems

Bad Guys in The One?! (The Bad Guys #12)

Crisis Management for Software Development and Knowledge Transfer

Tropical Forest Seed

Sustainable Development and Innovation of Digital Enterprises for Living with COVID-19

Embedded Multimedia Security Systems