Treffer 1 - 3 von 3 für Suche 'D'Souza, Deepak 1970-', Suchdauer: 0,11s Treffer weiter einschränken
  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
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    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

    Zu den Favoriten
    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
    kostenfrei
    kostenfrei
    kostenfrei
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: