|
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
|
|