|
99181 |
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq
Kirst, Dominik. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99182 |
Synthetic Undecidability of MSELL via FRACTRAN Mechanised in Coq
Larchey-Wendling, Dominique. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99183 |
Synthetic zippers as an enabling tool for engineering of non-ribosomal peptide synthetases
Bozhüyük, Kenan A. J.. - Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg, 2021
|
|
|
|
99184 |
Synuclein Family Members Prevent Membrane Damage by Counteracting α-Synuclein Aggregation
Scheibe, Christian. - Albstadt-Sigmaringen : Hochschule Albstadt-Sigmaringen, 2021
|
|
|
|
99185 |
Synuclein Family Members Prevent Membrane Damage by Counteracting α-Synuclein Aggregation
Scheibe, Christian. - Konstanz : KOPS Universität Konstanz, 2021
|
|
|
|
99186 |
Syphilitic Gummata in the Central Nervous System
Barthel, Lennart. - Duisburg : Universität Duisburg-Essen, 2021
|
|
|
|
99187 |
Syrian Refugees’ Integration Policies in Jordanian Labor Market
Alshwawra, Ahmad. - Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2021
|
|
|
|
99188 |
Syrische Elefanten. Wiederentdeckt im Königspalast von Qatna
Pfälzner, Peter. - Heidelberg : Propylaeum, 2021
|
|
|
|
99189 |
System Design for a Data-Driven and Explainable Customer Sentiment Monitor Using IoT and Enterprise Data
Nguyen, An. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2021
|
|
|
|
99190 |
System for Context-Specific Visualization of Clinical Practice Guidelines (GuLiNav)
Fortmann, Jonas. - Aachen : Universitätsbibliothek der RWTH Aachen, 2021
|
|
Administration
