Treffer 1 – 3 von 3 für Suche 'Sokolsky, Oleg', 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
Automated technology for verification and analysis 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020 : proceedings
Veröffentlicht 2020Weitere Verfasser:Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
2
From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday
Veröffentlicht 2019Weitere Verfasser:Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch E-Book -
3
Dependable software engineering theories, tools, and applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings
Veröffentlicht 2017Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch Tagungsbericht E-Book