|
11 |
A Uniform Cut-Elimination Theorem for Linear Logics with Fixed Points and Super Exponentials
Saurin, Alexis. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026
|
|
|
|
12 |
A Unifying Conservation Theorem
Fellin, Giulio. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026
|
|
|
|
13 |
Academic Libraries as Partners in Data Literacy Education—An Explorative Case Study
Fühles-Ubach, Simone. - Köln : Bibliothek der Technischen Hochschule Köln, 2026
|
|
|
|
14 |
Accommodation at Any Cost
Van der Vlugt, Sam. - Berlin : Fachinformationsdienst für internationale und interdisziplinäre Rechtsforschung Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, 2026
|
|
|
|
15 |
Advancing the quantification of land-use intensity in forests: the ForMIX index combining tree species composition, tree removal, deadwood availability, and stand maturity
Staab, Michael. - Lüneburg : Medien- und Informationszentrum, Leuphana Universität Lüneburg, 2026
|
|
|
|
16 |
Alexander in Ruvo, Eretria und Sidon
Giuliani, Luca. - Heidelberg : Propylaeum, 2026
|
|
|
|
17 |
An Algorithmic Approach for Quantitative Determination of Microsatellite Status in NGS-Based Cancer Diagnostics
Männlein, Josefin. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2026
|
|
|
|
18 |
An efficient feature search approach for robust state of health estimation of Li-ion battery
Chen, Xiaolong. - Aachen : Universitätsbibliothek der RWTH Aachen, 2026
|
|
|
|
19 |
An Ising machine formulation for design updates in topology optimization of flow channels
Suzuki, Yudai. - Aachen : Universitätsbibliothek der RWTH Aachen, 2026
|
|
|
|
20 |
Analysis of Cellular Stress Assay Parameters and Intracellular ATP in Platelets
Tessema, Belay. - Leipzig : Universitätsbibliothek Leipzig, 2026
|
|
Administration
