Suche
Kategorie
Erscheinungsjahr
203 Treffer
- 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
- Weber, Jan; Kjølsrud, Eirik; Schober, Kay-Uwe
- Kraftflussoptimierte Verbindungen im Ingenieurbau: Parametrische Werkzeuge und Konzepte zur Generierung kraftflussoptimierter Verbindungen
- Berlin Ernst