|
231 |
A First Look at ROS 2 Applications Written in Asynchronous Rust
Škoudlil, Martin. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
232 |
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
|
|
|
|
233 |
A Force Based Determination of Hot Cracking Susceptibility
Liepold, Philipp. - Berlin : Bundesanstalt für Materialforschung und -prüfung (BAM), 2025
|
|
|
|
234 |
A Formal Analysis of Algorithms for Matroids and Greedoids
Abdulaziz, Mohammad. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
235 |
A Formal Language Perspective on Factorized Representations
Kimelfeld, Benny. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
236 |
A formal model of party competition with salience
Kurella, Anna-Sophie. - Mannheim : Universitätsbibliothek Mannheim, 2025
|
|
|
|
237 |
A Formal Proof of Complexity Bounds on Diophantine Equations
Bayer, Jonas. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
238 |
A Formalization of Divided Powers in Lean
Chambert-Loir, Antoine. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
239 |
A Foundation for Synthetic Stone Duality
Cherubini, Felix. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
240 |
A framework for assessing and enhancing product circularity by translating circular design criteria into measurable requirements
Dreier, Jennifer. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
Administration
