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

Suchergebnisse

110 Datensätze gefunden (absteigend sortiert nach Änderungsdatum)
 
 
Zurück12345Vor
  Sortierung nach Status ???List_Show??? Alle aufklappen Selektieren Alle zuklappen
  1. Urheber:
    Datum: Online veröffentlicht: 2014 | Im Druck veröffentlicht: 2014  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 26th International Conference on Computer Aided V...
    Genre der Quelle: Konferenzband
    Title der Quelle: Computer Aided Verification
    Band / Heft: -
    Start- / Endseite: 603 - 619
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  2. ( )
    POPL'16
    Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzband 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
    Name der Veranstaltung: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Genre der Quelle: -
    Title der Quelle: -
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  3. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 13th International Workshop on Discrete Event Sys...
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of the 13th International Workshop on...
    Band / Heft: -
    Start- / Endseite: 22 - 27
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  4. Urheber:
    Datum: Erstellt: 2016-12-27 | Geändert: 2017-02-10 | Online veröffentlicht: 2016  
    Genre: Forschungspapier 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: -
    Title der Quelle: -
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  5. Urheber:
    Datum: Erstellt: 2016-02-11 | Geändert: 2016-07-18 | Online veröffentlicht: 2016  
    Genre: Forschungspapier 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: -
    Title der Quelle: -
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  6. Urheber:
    Datum: Erstellt: 2016-02-09 | Geändert: 2016-02-12 | Online veröffentlicht: 2016  
    Genre: Forschungspapier 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: -
    Title der Quelle: -
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  7. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 22nd International Conference on Tools and Algori...
    Genre der Quelle: Konferenzband
    Title der Quelle: Tools and Algorithms for the Construction and Ana...
    Band / Heft: -
    Start- / Endseite: 680 - 697
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  8. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 22nd International Conference on Tools and Algori...
    Genre der Quelle: Konferenzband
    Title der Quelle: Tools and Algorithms for the Construction and Ana...
    Band / Heft: -
    Start- / Endseite: 280 - 296
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  9. Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 22nd International Conference on Tools and Algori...
    Genre der Quelle: Konferenzband
    Title der Quelle: Tools and Algorithms for the Construction and Ana...
    Band / Heft: -
    Start- / Endseite: 3 - 13
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  10. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 22nd International Conference on Tools and Algori...
    Genre der Quelle: Konferenzband
    Title der Quelle: Tools and Algorithms for the Construction and Ana...
    Band / Heft: -
    Start- / Endseite: 147 - 163
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  11. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: IEEE 16th International Working Conference on Sou...
    Genre der Quelle: Konferenzband
    Title der Quelle: IEEE 16th International Working Conference on Sou...
    Band / Heft: -
    Start- / Endseite: 127 - 136
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  12. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 19th International Conference on Hybrid Systems: ...
    Genre der Quelle: Konferenzband
    Title der Quelle: HSCC'16
    Band / Heft: -
    Start- / Endseite: 267 - 276
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  13. Urheber:
    Datum: Online veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 2 ext. Referenzen
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 36th IARCS Annual Conference on Foundations of So...
    Genre der Quelle: Konferenzband
    Title der Quelle: 36th IARCS Annual Conference on Foundations of So...
    Band / Heft: -
    Start- / Endseite: 1 - 14
    Artikelnummer: 27
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
     : 1 es sind weitere Quellen vorhanden
  14. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 28th International Conference on Computer-Aided V...
    Genre der Quelle: Konferenzband
    Title der Quelle: Computer Aided Verification
    Band / Heft: -
    Start- / Endseite: 157 - 176
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  15. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 14th International Symposium on Automated Technol...
    Genre der Quelle: Konferenzband
    Title der Quelle: Automated Technology for Verification and Analysis
    Band / Heft: -
    Start- / Endseite: 444 - 460
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  16. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Journal of the ACM
    Band / Heft: 63 (1)
    Start- / Endseite: -
    Artikelnummer: 10
    Ort, Verlag, Ausgabe: New York, NY : ACM
  17. Urheber:
    Datum: Im Druck veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 54th IEEE Conference on Decision and Control (CDC)
    Genre der Quelle: Konferenzband
    Title der Quelle: 54th IEEE Conference on Decision and Control (CDC)
    Band / Heft: -
    Start- / Endseite: 6823 - 6829
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  18. Urheber:
    Datum: Online veröffentlicht: 2015 | Im Druck veröffentlicht: 2016  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Discrete Event Dynamic Systems
    Band / Heft: 26 (1)
    Start- / Endseite: 5 - 32
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : Springer
  19. Urheber:
    Datum: Im Druck veröffentlicht: 2016  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Discrete Event Dynamic Systems
    Band / Heft: 26 (1)
    Start- / Endseite: 5 - 32
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  20. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Genre der Quelle: Konferenzband
    Title der Quelle: POPL'16
    Band / Heft: -
    Start- / Endseite: 178 - 190
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  21. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Genre der Quelle: Konferenzband
    Title der Quelle: POPL'16
    Band / Heft: -
    Start- / Endseite: 649 - 662
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  22. Urheber:
    Datum: Angenommen: 2015 | Online veröffentlicht: 2015 | Im Druck veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 18th International Conference on Hybrid Systems: ...
    Genre der Quelle: Konferenzband
    Title der Quelle: HSCC'15
    Band / Heft: -
    Start- / Endseite: 199 - 208
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  23. Urheber:
    Datum: Online veröffentlicht: 2015 | Im Druck veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 18th International Conference on Hybrid Systems
    Genre der Quelle: Konferenzband
    Title der Quelle: HSCC'15
    Band / Heft: -
    Start- / Endseite: 98 - 107
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  24. Urheber:
    Datum: Online veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 2 ext. Referenzen
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 29th European Conference on Object-Oriented Progr...
    Genre der Quelle: Konferenzband
    Title der Quelle: 29th European Conference on Object-Oriented Progr...
    Band / Heft: -
    Start- / Endseite: 396 - 420
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
     : 1 es sind weitere Quellen vorhanden
  25. Urheber:
    Datum: Online veröffentlicht: 2015 | Im Druck veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 27th International Conference on Computer Aided V...
    Genre der Quelle: Konferenzband
    Title der Quelle: Computer Aided Verification
    Band / Heft: -
    Start- / Endseite: 496 - 503
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
 
 
Zurück12345Vor