Information Flow Security in Tree-Manipulating Processes

Verifying Safety Hyperproperties Using Abstract Interpretation and Model Checking

Máté Kovács - ISBN: 978-3-8381-3880-0

Morbiditätsentwicklung der Psychiatrie der Universitätsmedizin Rostock

Eine Analyse unter Betrachtung des demografischen Wandels in der Region Rostock bis 2030

Marco Krüger - ISBN: 978-3-8381-3771-1

Software Engineering

A Complex Systems Approach

Marcelo Serrano Zanetti - ISBN: 978-3-8381-3884-8

Activation of Silent Biosynthetic Pathways through Co-culture

Antonius R B Ola - ISBN: 978-3-8381-3861-9

Zyklin A1 und Interaktionspartner des Zyklin A1-CDK2-Komplexes

Tim Sauer - ISBN: 978-3-8381-3907-4

Complement Factor H In Intestinal Ischemia Reperfusion Injury

Mechanism Of Action

Hubert Brandstätter - ISBN: 978-3-8381-3852-7

Lateral organization of cell-matrix proteins on the nanoscale

Justine Mondry - ISBN: 978-3-8381-3673-8

Oxidative NO-Bildung in Pflanzen und NO-Detektion mit DAF-Farbstoffen

Stefan Rümer - ISBN: 978-3-8381-3763-6

Ereignis-Wahrnehmung im Sportunterricht

Carolina Olufemi - ISBN: 978-3-8381-3891-6

Freiraumplanerische Leitbilder in der Stadtentwicklung

Historische Einordnung, Definition, Beispiele

Christian Poßer - ISBN: 978-3-8381-3658-5