Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 9 von 9 für Suche 'Li, Shengchao A', Suchdauer: 3,85s Treffer weiter einschränken
  1. 1
    Unifying theories of programming third international symposium, UTP 2010, Shanghai, China, November 15 - 16, 2010 ; proceedings

    Unifying theories of programming third international symposium, UTP 2010, Shanghai, China, November 15 - 16, 2010 ; proceedings

    Veröffentlicht 2010
    Inhaltstext
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011 ; Durham, UK, October 26 - 28, 2011 ; proceedings

    Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011 ; Durham, UK, October 26 - 28, 2011 ; proceedings

    Veröffentlicht 2011
    Inhaltstext
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    FM 2011: Formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings

    FM 2011: Formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings

    Veröffentlicht 2011
    Inhaltstext
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    High performance computing and applications second international conference, HPCA 2009, Shanghai, China, August 10 - 12, 2009 ; revised selected papers

    High performance computing and applications second international conference, HPCA 2009, Shanghai, China, August 10 - 12, 2009 ; revised selected papers

    Veröffentlicht 2010
    Inhaltstext
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings

    Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings

    Veröffentlicht 2011
    Inhaltstext
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings

    Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings

    Veröffentlicht 2010
    Inhaltstext
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Goethe-Spuren in Literatur, Kunst, Philosophie, Politik, Pädagogik und Übersetzung

    Goethe-Spuren in Literatur, Kunst, Philosophie, Politik, Pädagogik und Übersetzung

    Veröffentlicht 2009
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Wetland ecosystems

    Wetland ecosystems

    Veröffentlicht 2017
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Advanced intelligent computing theories and applications with aspects of contemporary intelligent computing techniques ; third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007 ; proceedings

    Advanced intelligent computing theories and applications with aspects of contemporary intelligent computing techniques ; third International Conference on Intelligent Computing, IC...

    Veröffentlicht 2007
    Inhaltsverzeichnis
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: