|
98811 |
Proof Complexity of Natural Formulas via Communication Arguments
Itsykson, Dmitry. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
98812 |
Proof of Behavior (Short Paper)
Grollemund, Paul-Marie. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
98813 |
Proof of Concept: Measuring Aortic Annulus Resistance by Means of Pressure-Volume Curves During Balloon Inflation to Guide Transcatheter Aortic Valve Implantation
Noterdaeme, Timothée. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
|
|
|
|
98814 |
Proof of Principle for Direct Reconstruction of Qualitative Depth Information from Turbid Media by a Single Hyper Spectral Image
Hohmann, Martin. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2021
|
|
|
|
98815 |
Proof Pearl : Playing with the Tower of Hanoi Formally
Théry, Laurent. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
98816 |
Properly capturing tariff rate quotas for trade policy analysis in computable general equilibrium models
Jafari, Yaghoob. - Bonn : Universitäts- und Landesbibliothek Bonn, 2021
|
|
|
|
98817 |
Properties of a New Group of Cosmic Nuclei
Aguilar, M.. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
|
|
|
|
98818 |
Properties of alkali-activated mortars with salt aggregate for sealing structures in evaporite rock
Sturm, Patrick. - Berlin : Bundesanstalt für Materialforschung und -prüfung (BAM), 2021
|
|
|
|
98819 |
Properties of an Alternative Off-Shell Formulation of 4D Supergravity
Brandt, Friedemann. - Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2021
|
|
|
|
98820 |
Properties of Heavy Secondary Fluorine Cosmic Rays
Aguilar, M.. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
|
|
Administration
