Treffer 1 – 3 von 3 für Suche 'D'Souza, Deepak 1970-', Suchdauer: 0,02s 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 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017 : proceedings

    Automated technology for verification and analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… D'Souza, Deepak 1970- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Autmated technology for verification and analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, proceedings

    Autmated technology for verification and analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… D'Souza, Deepak 1970- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012) FSTTCS 2012, December 15–17, 2012, Hyderabad, India

    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012) FSTTCS 2012, December 15–17, 2012, Hyderabad, India

    Veröffentlicht 2012
    Weitere Verfasser: “… D'Souza, Deepak 1970- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: