Mechanical Verification of Parameterized Real-Time Systems
A Formal Framework and its Application to a Real-Time Operating System Scheduler
Thomas Göthel - ISBN: 978-3-8381-3460-4
Systemische Immunkompetenz und Pneumonierisiko im Rattenmodell
Auswirkungen einer zerebralen inflammatorischen Reaktion auf die systemische und die alveoläre Immunkompetenz
Susanne Guhl - ISBN: 978-3-8381-3464-2
Die Deutschkonservative Partei am Ende des Kaiserreichs
Stillstand und Wandel einer untergehenden Organisation
Joachim Bohlmann - ISBN: 978-3-8381-3446-8
The Effectiveness of Decision-Making in European Union Negotiations
An Empirical Analysis of Arguing and Bargaining in the Debates of the European Constitutional Convention
Arzu Hatakoy - ISBN: 978-3-8381-3439-0
Kognitives Schätzen im Alter
Ein Vergleich zwischen Kontrollen und Patienten mit Alzheimer Demenz und Altersdepression
Agota Barabassy - ISBN: 978-3-8381-3427-7
Graph-based approaches to protein structure comparison
From local to global similarity
Marco Mernberger - ISBN: 978-3-8381-3452-9
Modellierung anisothermer Argonplasmen
Hydrodynamische Modelle, numerische Verfahren und Anwendungen
Markus Becker - ISBN: 978-3-8381-3355-3
Einfluss pluripotenter mesenchymaler Zellen auf die Knochenheilung im atrophen Pseudarthrosemodell der Ratte
Daniel Toben - ISBN: 978-3-8381-2914-3
In-cell approaches in electron paramagnetic resonance spectroscopy
In-cell approaches in electron paramagnetic resonance spectroscopy to study conformations of DNA G-quadruplexes
Mykhailo Azarkh - ISBN: 978-3-8381-3440-6