|
61 |
An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
Stutz, Felix. - Konstanz : KOPS Universität Konstanz, 2025
|
|
|
|
62 |
An integrated precision medicine approach in major depressive disorder: a study protocol to create a new algorithm for the prediction of treatment response
Baune, Bernhard T.. - Münster : Universitäts- und Landesbibliothek Münster, 2025
|
|
|
|
63 |
Andante und Konzertallegro
Niedernhausen : Noten Roehr, 2025, Partitur und 1 Stimme
|
|
|
|
64 |
Anime Revolution I Wie Japans Kultur die Welt eroberte – Die unaufhaltsame Expansion der Anime-Welt
Sterling, Viktor. - Berlin : epubli, 2025, 1. Auflage
|
|
|
|
65 |
Anti-Stress I Wege zu einem gelasseneren Leben
Sterling, Viktor. - Berlin : epubli, 2025, 1. Auflage
|
|
|
|
66 |
Artikel zur Selbsterziehung
Wehrli, Urs Viktor. - Berlin : epubli, 2025, 10. Auflage
|
|
|
|
67 |
Artikel zur Selbsterziehung
Wehrli, Urs Viktor. - Berlin : epubli, 2025, 9. Auflage
|
|
|
|
68 |
[Aljaska]
Audio-priloženie k knige Igorja Šestkova Aljaska
Schestkow, Igor. - Leipzig : Deutsche Nationalbibliothek, 2025
|
|
|
|
69 |
[Zagadočnyj sosed]
Audio-priloženie k knige Igorja Šestkova Zagadočnyj sosed
Schestkow, Igor. - Leipzig : Deutsche Nationalbibliothek, 2025
|
|
|
|
70 |
Automated Dynamic AI Inference Scaling on HPC-Infrastructure: Integrating Kubernetes, Slurm and vLLM
Trappen, Tim. - Köln : Universitäts- und Stadtbibliothek Köln, 2025
|
|
Administration
