|
99691 |
An Operational Semantics in Isabelle/HOL-CSP
Ballenghien, Benoît. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
99692 |
An optical fiber integrated device for nonlinear generation of femtosecond mid-infrared pulses
Kempf, Hannes. - Konstanz : KOPS Universität Konstanz, 2024
|
|
|
|
99693 |
An Optimal Randomized Algorithm for Finding the Saddlepoint
Dallant, Justin. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
99694 |
An Optimal Sparsification Lemma for Low-Crossing Matchings and Its Applications to Discrepancy and Approximations
Csikós, Mónika. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
99695 |
An optimization approach for a milling dynamics simulation based on Quantum Computing
Schröder, Stefan. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
|
|
|
|
99696 |
An optimized method for PFAS analysis using HR–CS–GFMAS via GaF detection
Simon, Fabian. - Berlin : Bundesanstalt für Materialforschung und -prüfung (BAM), 2024
|
|
|
|
99697 |
An Optimized Protocol for the Generation of Alveolospheres from Wild-Type Mice
Zabihi, Mahsa. - Gießen : Universitätsbibliothek Gießen, 2024
|
|
|
|
99698 |
An Oracle with no UP-Complete Sets, but NP
Dingel, David. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
99699 |
An Order out of Nowhere: A New Algorithm for Infinite-Domain CSPs
Wiehe, Antoine. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
99700 |
An organic brain-inspired platform with neurotransmitter closed-loop control, actuation and reinforcement learning
Bruno, Ugo. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
|
|
Administration
