de.mpg.escidoc.pubman.appbase.FacesBeande.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Impressum Kontakt Einloggen
  DetailsucheBrowse

Suchergebnisse

5 Datensätze gefunden (absteigend sortiert nach Änderungsdatum)
 
 
Zurück1Vor
  Sortierung nach Status ???List_Show??? Alle aufklappen Selektieren Alle zuklappen
  1. Urheber:
    Datum: Im Druck veröffentlicht: 2012  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Communications of the ACM
    Band / Heft: 55 (2)
    Start- / Endseite: 103 - 111
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  2. Urheber:
    Datum: Im Druck veröffentlicht: 2013  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 25th International Conference on Computer Aided V...
    Genre der Quelle: Konferenzband
    Title der Quelle: Computer Aided Verification
    Band / Heft: -
    Start- / Endseite: 158 - 173
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  3. Urheber:
    Datum: Online veröffentlicht: 2013 | Im Druck veröffentlicht: 2013  
    Genre: Buchkapitel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Buch
    Title der Quelle: Programming Logics : Essays in Memory of Harald G...
    Band / Heft: -
    Start- / Endseite: 169 - 193
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  4. Urheber:
    Datum: Online veröffentlicht: 2013 | Im Druck veröffentlicht: 2013  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 25th International Conference on Computer Aided V...
    Genre der Quelle: Konferenzband
    Title der Quelle: Computer Aided Verification
    Band / Heft: -
    Start- / Endseite: 773 - 789
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  5. Urheber:
    Datum: Im Druck veröffentlicht: 2013  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: ACM SIGPLAN Conference on Programming Language De...
    Genre der Quelle: Konferenzband
    Title der Quelle: PLDI'13
    Band / Heft: -
    Start- / Endseite: 27 - 38
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
 
 
Zurück1Vor