|
99931 |
A finite time combinatorial algorithm for instantaneous dynamic equilibrium flows
Graf, Lukas. - Augsburg : Universität Augsburg, 2021
|
|
|
|
99932 |
A first estimate of η/s in Au+Au reactions at Elab = 1.23 AGeV
Reichert, Tom. - Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg, 2021
|
|
|
|
99933 |
A flexible approach for the dimensioning of on-site energy conversion systems for manufacturing companies
Gahm, Christian. - Augsburg : Universität Augsburg, 2021
|
|
|
|
99934 |
A Focal Adhesion Filament Cross-correlation Kit for fast, automated segmentation and correlation of focal adhesions and actin stress fibers in cells
Hauke, Lara. - Bayreuth : Universität Bayreuth, 2021
|
|
|
|
99935 |
A follow-up study of a European IgG4-related disease cohort treated with rituximab
Backhus, Johanna. - Ulm : Universität Ulm, 2021
|
|
|
|
99936 |
A football player rating system
Wolf, Stephan. - Augsburg : Universität Augsburg, 2021
|
|
|
|
99937 |
A Formal Proof of Modal Completeness for Provability Logic
Maggesi, Marco. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99938 |
A Formalization of Dedekind Domains and Class Groups of Global Fields
Baanen, Anne. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99939 |
A Formally Verified Checker for First-Order Proofs
Baek, Seulkee. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99940 |
A Foundation for Ledger Structures
Nester, Chad. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
Administration
