|
99951 |
A type-theoretic framework for software component synthesis
Bessai, Jan. - Dortmund : Universitätsbibliothek Dortmund, 2019
|
|
|
|
99952 |
A typology of CI-reduplication in Niger-Congo and beyond
Ibirahim, Njoya. - Hamburg : Staats- und Universitätsbibliothek Hamburg, 2019
|
|
|
|
99953 |
A unified seismicity catalogue for the Sea of Marmara Region, Turkey, and subsequent studies regarding repeating earthquakes and the local stress field
Wollin, Christopher. - Berlin : Freie Universität Berlin, 2019
|
|
|
|
99954 |
A Unified Translation of Linear Temporal Logic to ω-Automata
Sickert, Salomon. - München : Universitätsbibliothek der TU München, 2019
|
|
|
|
99955 |
A Unitary Perturbation Theory Approach to Real-Time Evolution in the Hubbard Model
Kreye, Manuel. - Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2019
|
|
|
|
99956 |
A User's Theory - How to Model Agents of Online Debates
Schadrack, Hilmar. - Düsseldorf : Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2019
|
|
|
|
99957 |
A water storage reanalysis over the European continent: assimilation of GRACE data into a high-resolution hydrological model and validation
Springer, Anne. - Bonn : Universitäts- und Landesbibliothek Bonn, 2019
|
|
|
|
99958 |
A Way through the Hills. The Formation of Uratu-Biainili in the Lake Van Region
Bonzano, Simone. - Berlin : Freie Universität Berlin, 2019
|
|
|
|
99959 |
Ab-initio analysis of the structural response of solids after femtosecond-laser-pulse excitation
Zier, Tobias. - Kassel : Universitätsbibliothek Kassel, 2019
|
|
|
|
99960 |
Ab initio Description of Materials Properties: An Application to Thermoelectric and Raman Scattering Phenomena
Guerra-Castro, Juan Manuel. - Gießen : Universitätsbibliothek, 2019
|
|
Administration
