|
99951 |
A football player rating system
Wolf, Stephan. - Augsburg : Universität Augsburg, 2021
|
|
|
|
99952 |
A Formal Proof of Modal Completeness for Provability Logic
Maggesi, Marco. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99953 |
A Formalization of Dedekind Domains and Class Groups of Global Fields
Baanen, Anne. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99954 |
A Formally Verified Checker for First-Order Proofs
Baek, Seulkee. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99955 |
A Foundation for Ledger Structures
Nester, Chad. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99956 |
A Four-Year Longitudinal Comparative Study on the Lexicon Development of Russian and Turkish Heritage Speakers in Germany
Czapka, Sophia. - Berlin : Humboldt-Universität zu Berlin, 2021
|
|
|
|
99957 |
A fractional version of Rivière’s GL(n)-gauge
Da Lio, Francesca. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
|
|
|
|
99958 |
A Framework for Addressing Circularity Challenges in Cities with Nature-Based Solutions
Langergraber, Günter. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
|
|
|
|
99959 |
A framework for BIM-based disassembly models to support reuse of building components✰
Sanchez, Benjamin. - Berlin : Technische Universität Berlin, 2021
|
|
|
|
99960 |
A framework for instantaneous driver drowsiness detection based on improved HOG features and Naïve Bayesian classification
Bakheet, Samy. - Magdeburg : Universitätsbibliothek Otto-von-Guericke-Universität, 2021
|
|
Administration
