|
251 |
A finance scheme to help Germany's small private landlords sharply increase their buildings' energy performance : tapping into the banking system
Galvin, Ray. - Wuppertal : Wuppertal Institut für Klima, Umwelt, Energie, 2025
|
|
|
|
252 |
A First Look at ROS 2 Applications Written in Asynchronous Rust
Škoudlil, Martin. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
253 |
A Fluid-Solid Coupled Micromechanical Simulation for the Analysis of Piping Erosion During the Seabed Installation of a Suction Bucket Foundation
Kemmler, Samuel. - Berlin : Bundesanstalt für Materialforschung und -prüfung (BAM), 2025
|
|
|
|
254 |
A Force Based Determination of Hot Cracking Susceptibility
Liepold, Philipp. - Berlin : Bundesanstalt für Materialforschung und -prüfung (BAM), 2025
|
|
|
|
255 |
A Formal Analysis of Algorithms for Matroids and Greedoids
Abdulaziz, Mohammad. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
256 |
A Formal Language Perspective on Factorized Representations
Kimelfeld, Benny. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
257 |
A formal model of party competition with salience
Kurella, Anna-Sophie. - Mannheim : Universitätsbibliothek Mannheim, 2025
|
|
|
|
258 |
A Formal Proof of Complexity Bounds on Diophantine Equations
Bayer, Jonas. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
259 |
A Formalization of Divided Powers in Lean
Chambert-Loir, Antoine. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
260 |
A Foundation for Synthetic Stone Duality
Cherubini, Felix. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
Administration
