Treffer 1 – 5 von 5 für Suche 'Rozier, Kristin Yvonne', 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
NASA formal methods 15th international symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, proceedings
Veröffentlicht 2023Weitere Verfasser: “… Rozier, Kristin Yvonne …”
Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch Tagungsbericht E-Book -
2
NASA formal methods 11th international symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, proceedings
Veröffentlicht 2019Weitere Verfasser:Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
3
Formal methods 26th International Symposium, FM 2024 Milan, Italy, September 9–13, 2024 : proceedings, part I
Veröffentlicht 2025Weitere Verfasser:Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
4
Formal methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings, part II
Veröffentlicht 2025Weitere Verfasser:Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
5
NASA formal methods 15th international symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings
Veröffentlicht 2023Weitere Verfasser: “… Rozier, Kristin Yvonne …”
Signatur: Wird geladen …
Standort: Wird geladen …