Treffer 1 – 9 von 9 für Suche 'Lahiri, Shuvendu K.', Suchdauer: 0,07s 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
    Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part I

    Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part I

    Veröffentlicht 2020
    Weitere Verfasser: “… Lahiri, Shuvendu K. …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II

    Computer aided verification 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings, part II

    Veröffentlicht 2020
    Weitere Verfasser: “… Lahiri, Shuvendu K. …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Automated technology for verification and analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings

    Automated technology for verification and analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Lahiri, Shuvendu K. …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Runtime verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings

    Runtime verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… Lahiri, Shuvendu K. …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Runtime verification 17th international conference, RV 2017, Seattle, WA, September 13-16, 2017 : proceedings

    Runtime verification 17th international conference, RV 2017, Seattle, WA, September 13-16, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… Lahiri, Shuvendu K. …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Computer aided verification 32th international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings

    Computer aided verification 32th international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings

    Veröffentlicht 2020
    Weitere Verfasser: “… Lahiri, Shuvendu K. …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Computer aided verification 32th international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings

    Computer aided verification 32th international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings

    Veröffentlicht 2020
    Weitere Verfasser: “… Lahiri, Shuvendu K. …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Computer aided verification 32th international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings

    Computer aided verification 32th international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings

    Veröffentlicht 2020
    Weitere Verfasser: “… Lahiri, Shuvendu K. …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Automated technology for verification and analysis 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings

    Automated technology for verification and analysis 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Lahiri, Shuvendu K. …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: