|
1 |
#43 Weltraumrecht
Rau, Daniela. - Berlin : Fachinformationsdienst für internationale und interdisziplinäre Rechtsforschung Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, 2025
|
|
|
|
2 |
A Bicriterion Concentration Inequality and Prophet Inequalities for k-Fold Matroid Unions
Alon, Noga. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
3 |
A Coinductive Representation of Computable Functions
Tang, Alvin. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
4 |
A Complete Diagrammatic Calculus for Automata Simulation
Antoine, Thibaut. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
5 |
A Complete Graphical Language for Linear Optical Circuits with Finite-Photon-Number Sources and Detectors
Heurtel, Nicolas. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
6 |
A Complete Inference System for Probabilistic Infinite Trace Equivalence
Cîrstea, Corina. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
7 |
A Deterministic Approach to Shortest Path Restoration in Edge Faulty Graphs
Choudhary, Keerti. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
8 |
A Dichotomy Theorem for Ordinal Ranks in MSO
Niwiński, Damian. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
9 |
A Faster Algorithm for Constrained Correlation Clustering
Fischer, Nick. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
10 |
A High Dimensional Cramer’s Rule Connecting Homogeneous Multilinear Equations to Hyperdeterminants
Joux, Antoine. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
Administration
