Treffer 1 – 5 von 5 für Suche 'ter Beek, Maurice', Suchdauer: 0,04s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Proceedings of the 11th International Workshop on Variability Modelling of Software-Intensive Systems von ter Beek, Maurice H
Veröffentlicht 2017Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
2
Proceedings of the 21st International Systems and Software Product Line Conference - Volume B von ter Beek, Maurice
Veröffentlicht 2017Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
3
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Veröffentlicht 2019Weitere Verfasser: “… ter Beek, Maurice H. …”
Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
4
Formal methods - the next 30 years third world congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings
Veröffentlicht 2019Weitere Verfasser: “… Ter Beek, Maurice H. …”
Signatur: Wird geladen …
Standort: Wird geladen … -
5
From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th birthday
Veröffentlicht 2019Weitere Verfasser: “… Ter Beek, Maurice H. …”
Signatur: Wird geladen …
Standort: Wird geladen …