|
251 |
A Formal Proof of Complexity Bounds on Diophantine Equations
Bayer, Jonas. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
252 |
A Formalization of Divided Powers in Lean
Chambert-Loir, Antoine. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
253 |
A Foundation for Synthetic Stone Duality
Cherubini, Felix. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
254 |
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
|
|
|
|
255 |
A Framework for Belief-based Programs and Their Verification
Liu, Daxin. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
256 |
A Framework for Extraction and Transformation of Documents
Riveros, Cristian. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
257 |
A framework for the emergence and analysis of language in social learning agents
Wieczorek, Tobias J.. - Darmstadt : Universitäts- und Landesbibliothek, 2025
|
|
|
|
258 |
A framework for the simulation of individual glycan coordinates to analyze spatial relationships within the glycocalyx
Fritsche, Sarah. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2025
|
|
|
|
259 |
A framework to evaluate machine learning crystal stability predictions
Riebesell, Janosh. - Berlin : Bundesanstalt für Materialforschung und -prüfung (BAM), 2025
|
|
|
|
260 |
A fully decoupled, iteration-free, unconditionally stable fractional-step scheme for dispersed multi-phase flows
Pacheco, Douglas R. Q.. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
Administration
