Suche
Kategorie
Erscheinungsjahr
72834 Treffer
×
Publikationen
×
< 2021
×
Johannes Gutenberg-Universität Mainz
×
Universität Koblenz
×
Hochschule Worms
×
Technische Hochschule Bingen
- Sarhimaa, Anneli; Unger, Christoph; Müller-Wood, Anja
- International Journal of Literary Linguistics
- Mainz: Johannes Gutenberg-Universität Mainz
- Peuter, Dennis; Sofronie-Stokkermans, Viorica
- On Invariant Synthesis for Parametric Systems
- S. 1 - 33
- Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
- System Description: H-PILoT (Version 1.9)
- S. 1 - 43
- Mulawade, Raju N.; Garth, Christoph; Wiebel, Alexander et al.
- Visual Analytics System for Understanding DeepRL-Based Charged Particle Tracking
- The Visual Computer. Springer