|
1 |
Classical-Quantum Synergies in the Theory and Practice of Quantum Error Correction (Dagstuhl Seminar 24212)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2024, Volume 14, Issue 5, page 173-190
|
|
|
|
2 |
Synergizing Theory and Practice of Automated Algorithm Design for Optimization (Dagstuhl Seminar 23332)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2024, Volume 13, Issue 8, page 46-70
|
|
|
|
3 |
Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2023, Volume 12, Issue 10, page 84-105
|
|
|
4 |
Constructivism: implications, prospects, and challenges for contemporary theory and practice
Basel, Switzerland : Karger, 2022
|
|
|
|
5 |
Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2022, Volume 11, Issue 8, page 52-75
|
|
|
|
6 |
Soft computing / Vol.25.2021,No.3 Special issue on theory and practice of natural computing
2021
|
|
|
|
7 |
Matching Under Preferences: Theory and Practice (Dagstuhl Seminar 21301)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2021, Volume 11, Issue 6, page 124-146
|
|
|
|
8 |
On the Monitorability of Session Types, in Theory and Practice (Artifact)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Artifacts Series 2021, Volume 7, Issue 2, page 2:1-2:3
|
|
|
|
9 |
Focus: Selected papers of the Fourth International Conference on the Theory and Practice of Natural Computing
TPNC (4. : 2015 : Mieres). - Heidelberg : Springer, January 2018
|
|
|
|
10 |
Selected papers of the Third International Conference on the Theory and Practice of Natural Computing
TPNC (3. : 2014 : Granada). - Heidelberg : Springer, [2017]
|
|
Administration
