|
1351 |
Bottom-Up Synthesis of Memory Mutations with Separation Logic
Ferdowsi, Kasra. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
1352 |
BOUNCE
Hildebrandt, Juliane. - Dresden : Technische Universität Dresden, 2025
|
|
|
|
1353 |
Boundary element simulation of the normal contact problem with a poroelastic half‐space
Leroy, Jean‐Emmanuel. - Berlin : Technische Universität Berlin, 2025
|
|
|
|
1354 |
Boundedness of Cost Register Automata over the Integer Min-Plus Semiring
Draghici, Andrei. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
1355 |
Bounding the WCET of a GPU Thread Block with a Multi-Phase Representation of Warps Execution
Jeanmougin, Louison. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
1356 |
Bounds on the fixed effects estimand in the presence of heterogeneous assignment propensities
Humphreys, Macartan. - Berlin : Humboldt-Universität zu Berlin, 2025
|
|
|
|
1357 |
Brain acid sphingomyelinase controls addiction-related behaviours in a sex-specific way
Kalinichenko, Liubov S.. - Augsburg : Universität Augsburg, 2025
|
|
|
|
1358 |
Brain-constrained neural modeling explains fast mapping of words to meaning
Constant, Marika. - Berlin : Humboldt-Universität zu Berlin, 2025
|
|
|
|
1359 |
Brain-derived blood biomarkers in multiple sclerosis—current trends and beyond
anandan, shamundeeswari. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2025
|
|
|
|
1360 |
Brain endurance training as a strategy for reducing mental fatigue
André, Nathalie. - Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg, 2025
|
|
Administration
