|
99941 |
A Formally Verified Checker for First-Order Proofs
Baek, Seulkee. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99942 |
A Foundation for Ledger Structures
Nester, Chad. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99943 |
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
|
|
|
|
99944 |
A fractional version of Rivière’s GL(n)-gauge
Da Lio, Francesca. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
|
|
|
|
99945 |
A Framework for Addressing Circularity Challenges in Cities with Nature-Based Solutions
Langergraber, Günter. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
|
|
|
|
99946 |
A framework for BIM-based disassembly models to support reuse of building components✰
Sanchez, Benjamin. - Berlin : Technische Universität Berlin, 2021
|
|
|
|
99947 |
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
|
|
|
|
99948 |
A framework for social tipping in climate change mitigation : What we can learn about social tipping dynamics from the chlorofluorocarbons phase-out
Stadelmann-Steffen, Isabelle. - Konstanz : KOPS Universität Konstanz, 2021
|
|
|
|
99949 |
A framework for students' competence development in undergraduate medical education
Schindler, Ann-Kathrin. - Augsburg : Universität Augsburg, 2021
|
|
|
|
99950 |
A framework for testing large-scale distributed soil erosion and sediment delivery models: dealing with uncertainty in models and the observational data
Batista, Pedro. - Augsburg : Universität Augsburg, 2021
|
|
Administration
