Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 8 von 8 für Suche 'GULWANI, SUMIT~', Suchdauer: 1,34s Treffer weiter einschränken
  1. 1
    Software Engineering 2016 23.-26. Februar 2016, Wien, Österreich

    Software Engineering 2016 23.-26. Februar 2016, Wien, Österreich

    Veröffentlicht 2016
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings

    Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings

    Veröffentlicht 2011
    Inhaltstext
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Computer aided verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings

    Computer aided verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings

    Veröffentlicht 2009
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Conference record of POPL 2004 papers presented at the symposium ; Venice, Italy, January 14 - 16, 2004

    Conference record of POPL 2004 papers presented at the symposium ; Venice, Italy, January 14 - 16, 2004

    Veröffentlicht 2004
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings

    Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings von McMillan, Kenneth L.

    Veröffentlicht 2013
    Inhaltstext
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Conference record of POPL 2005 the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; January 12-14, 2005, Long Beach, California, USA

    Conference record of POPL 2005 the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ; papers presented at the symposium ; January 12-14, 2005, Long Beach, C...

    Veröffentlicht 2005
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Computer aided verification 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings

    Computer aided verification 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings

    Veröffentlicht 2012
    Inhaltstext
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Handbook of model checking

    Handbook of model checking

    Veröffentlicht 2018
    Inhaltsverzeichnis
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: