|
221 |
A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs
Gomes, Leandro. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
222 |
A Knowledge-Based Molecular Single-Source Precursor Approach to Nickel Chalcogenide Precatalysts for Electrocatalytic Water, Alcohol, and Aldehyde Oxidations
Dasgupta, Basundhara. - Berlin : Technische Universität Berlin, 2025
|
|
|
|
223 |
A label machine for mechanical systems
Riebe, Jakob. - Dresden : Technische Universität Dresden, 2025
|
|
|
|
224 |
A laboratory scale fast feedback characterization loop for optimizing coated catalysts for emission control
Delrieux, Tim. - Darmstadt : Universitäts- und Landesbibliothek, 2025
|
|
|
|
225 |
A LEAP Forward in Wildlife Conservation : A Standardized Framework to Determine Mortality Causes in Large GPS-Tagged Birds
Panter, Connor T.. - Konstanz : KOPS Universität Konstanz, 2025
|
|
|
|
226 |
A Legal Scalpel Instead of an Axe
Rossi, Lucia Serena. - Berlin : Fachinformationsdienst für internationale und interdisziplinäre Rechtsforschung Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, 2025
|
|
|
|
227 |
A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
Izawa, Yusuke. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
228 |
A Linear Time Algorithm for the Maximum Overlap of Two Convex Polygons Under Translation
Chan, Timothy M.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
229 |
A Living Document: Unpacking the Memory of Reinhard Wiener’s Private Film from Liepaja (1941)
Ebbrecht-Hartmann, Tobias. - Marburg : Philipps-Universität Marburg, 2025
|
|
|
|
230 |
A long‐term study on food choices and nutritional goals of a leaf‐eating primate
Lauer, Patrick. - Konstanz : KOPS Universität Konstanz, 2025
|
|
Administration
