Information Flow Security in Tree-Manipulating Processes
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

€ 67,90
Morbiditätsentwicklung der Psychiatrie der Universitätsmedizin Rostock
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

€ 63,90
Software Engineering
Software Engineering

A Complex Systems Approach

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

€ 79,90
Activation of Silent Biosynthetic Pathways through Co-culture
Activation of Silent Biosynthetic Pathways through Co-culture

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

€ 59,90
Zyklin A1 und Interaktionspartner des Zyklin A1-CDK2-Komplexes
Zyklin A1 und Interaktionspartner des Zyklin A1-CDK2-Komplexes

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

€ 59,90
Complement Factor H In Intestinal Ischemia Reperfusion Injury
Complement Factor H In Intestinal Ischemia Reperfusion Injury

Mechanism Of Action

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

€ 59,90
Lateral organization of cell-matrix proteins on the nanoscale
Lateral organization of cell-matrix proteins on the nanoscale

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

€ 67,90
Oxidative NO-Bildung in Pflanzen und NO-Detektion mit DAF-Farbstoffen
Oxidative NO-Bildung in Pflanzen und NO-Detektion mit DAF-Farbstoffen

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

€ 59,90
Ereignis-Wahrnehmung im Sportunterricht
Ereignis-Wahrnehmung im Sportunterricht

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

€ 104,90
Freiraumplanerische Leitbilder in der Stadtentwicklung
Freiraumplanerische Leitbilder in der Stadtentwicklung

Historische Einordnung, Definition, Beispiele

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

€ 61,90