Treffer 1 – 3 von 3 für Suche 'Sokolsky, Oleg', Suchdauer: 0,05s 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.
  1. 1
    Automated technology for verification and analysis 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020 : proceedings

    Automated technology for verification and analysis 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020 : proceedings

    Veröffentlicht 2020
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

    From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Dependable software engineering theories, tools, and applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings

    Dependable software engineering theories, tools, and applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: