|
99351 |
Towards a Model Theory of Ordered Logics: Expressivity and Interpolation
Bednarczyk, Bartosz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
|
|
|
|
99352 |
Towards a Molecular Classification of Sinonasal Carcinomas: Clinical Implications and Opportunities
Taverna, Cecilia. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2022
|
|
|
|
99353 |
Towards a more realistic simulation of plant species with a dynamic vegetation model using field-measured traits: the Atlas cedar, a case study
Hambuckers, Alain. - Augsburg : Universität Augsburg, 2022
|
|
|
|
99354 |
Towards a multisensor station for automated biodiversity monitoring
Wägele, Johann Wolfgang. - Hamburg : Universitätsbibliothek der Technischen Universität Hamburg, 2022
|
|
|
|
99355 |
Towards a new level of quantitative treatment of 3D electron diffraction data - in-pattern optical distortions
Gorelik, Tatiana E.. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2022
|
|
|
|
99356 |
Towards a participatory systems approach to managing complex bioeconomy interventions in the agrarian sector
Spies, Michael. - Eberswalde : Hochschule für nachhaltige Entwicklung Eberswalde, 2022
|
|
|
|
99357 |
Towards a physiological computing infrastructure for researching students' flow in remote learning : Preliminary results from a field study
Li, Maximilian Xiling. - Mannheim : Universitätsbibliothek Mannheim, 2022
|
|
|
|
99358 |
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond
Berent, Lucas. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
|
|
|
|
99359 |
Towards a Theory of Algorithmic Proof Complexity (Invited Talk)
Atserias, Albert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
|
|
|
|
99360 |
Towards a two-dimensional analytical framework for understanding Georgian foreign policy
Kakhishvili, Levan. - Bamberg : Otto-Friedrich-Universität Bamberg, 2022
|
|
Administration
