|
99021 |
On algebra of program correctness and incorrectness
Möller, Bernhard. - Augsburg : Universität Augsburg, 2021
|
|
|
|
99022 |
On Approximate Compressions for Connected Minor-Hitting Sets
Ramanujan, M. S.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99023 |
On Approximate Envy-Freeness for Indivisible Chores and Mixed Resources
Bhaskar, Umang. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99024 |
On assessing trustworthy AI in healthcare. Machine learning as a supportive tool to recognize cardiac arrest in emergency calls
Zicari, Roberto V.. - Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg, 2021
|
|
|
|
99025 |
On Basing Auxiliary-Input Cryptography on NP-Hardness via Nonadaptive Black-Box Reductions
Nanashima, Mikito. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99026 |
On blurry boundaries when defining digital biomarkers: how much biology needs to be in a digital biomarker?
Montag, Christian. - Ulm : Universität Ulm, 2021
|
|
|
|
99027 |
On boundary exact controllability of one‐dimensional wave equations with weak and strong interior degeneration
Kogut, Peter I.. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2021
|
|
|
|
99028 |
On Broadcast in Generalized Network and Adversarial Models
Liu-Zhang, Chen-Da. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
|
|
99029 |
On ciphers that continuously access the non-volatile key
Mikhalev, Vasily. - Mannheim : Universitätsbibliothek Mannheim, 2021
|
|
|
|
99030 |
On Classical Decidable Logics Extended with Percentage Quantifiers and Arithmetics
Bednarczyk, Bartosz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
|
|
Administration
