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

Suchergebnisse

39 Datensätze gefunden (absteigend sortiert nach Änderungsdatum)
 
 
Zurück12Vor
  Sortierung nach Status ???List_Show??? Alle aufklappen Selektieren Alle zuklappen
  1. Urheber:
    Datum: Online veröffentlicht: 2017  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: 2 ext. Referenzen
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Dagstuhl Artifacts Series
    Band / Heft: 3 (1)
    Start- / Endseite: 1 - 2
    Artikelnummer: 15
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
  2. Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 29th International Conference on Computer-Aided V...
    Genre der Quelle: Konferenzband
    Title der Quelle: Computer Aided Verification
    Band / Heft: -
    Start- / Endseite: 30 - 46
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
  3. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: International Symposium on Code Generation and Op...
    Genre der Quelle: Konferenzband
    Title der Quelle: CGO'17
    Band / Heft: -
    Start- / Endseite: 100 - 110
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  4. Urheber:
    Datum: Online veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 2 ext. Referenzen
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 31st European Conference on Object-Oriented Progr...
    Genre der Quelle: Konferenzband
    Title der Quelle: 29th European Conference on Object-Oriented Progr...
    Band / Heft: -
    Start- / Endseite: 1 - 29
    Artikelnummer: 17
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
     : 1 es sind weitere Quellen vorhanden
  5. Urheber:
    Datum: Online veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 2 ext. Referenzen
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 31st European Conference on Object-Oriented Progr...
    Genre der Quelle: Konferenzband
    Title der Quelle: 29th European Conference on Object-Oriented Progr...
    Band / Heft: -
    Start- / Endseite: 1 - 28
    Artikelnummer: 22
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
     : 1 es sind weitere Quellen vorhanden
  6. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 26th European Symposium on Programming
    Genre der Quelle: Konferenzband
    Title der Quelle: Programming Languages and Systems
    Band / Heft: -
    Start- / Endseite: 448 - 475
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  7. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 44th ACM SIGPLAN Symposium on Principles of Progr...
    Genre der Quelle: Konferenzband
    Title der Quelle: POPL'17
    Band / Heft: -
    Start- / Endseite: 175 - 189
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  8. ( )
    CPP'17
    Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzband 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
    Name der Veranstaltung: 6th ACM SIGPLAN Conference on Certified Programs ...
    Genre der Quelle: -
    Title der Quelle: -
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  9. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 38th ACM SIGPLAN Conference on Programming Langua...
    Genre der Quelle: Konferenzband
    Title der Quelle: PLDI'17
    Band / Heft: -
    Start- / Endseite: 618 - 632
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  10. ( )
    Improved MHP Analysis
    Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: The 25th International Conference on Compiler Con...
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of CC 2016
    Band / Heft: -
    Start- / Endseite: 207 - 217
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  11. Urheber:
    Datum: Online 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: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT...
    Band / Heft: -
    Start- / Endseite: 649 - 662
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  12. Urheber:
    Datum: Online veröffentlicht: 2016-04-04  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 24th Euromicro International Conference on Parall...
    Genre der Quelle: Konferenzband
    Title der Quelle: PDP 2016
    Band / Heft: -
    Start- / Endseite: 520 - 527
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  13. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 14th Annual IEEE/ACM International Symposium on C...
    Genre der Quelle: Konferenzband
    Title der Quelle: CGO'16
    Band / Heft: -
    Start- / Endseite: 216 - 226
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  14. Urheber:
    Datum: Online veröffentlicht: 2016-11-02  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 21st International Symposium on Formal Methods
    Genre der Quelle: Konferenzband
    Title der Quelle: FM 2016: Formal Methods
    Band / Heft: -
    Start- / Endseite: 479 - 495
    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: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: 1 ext. Referenz
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Bulletin of the Technical Committee on Data Engin...
    Band / Heft: 39 (1)
    Start- / Endseite: 81 - 92
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Los Alamitos, CA : IEEE Computer Society
  16. Datum: Online veröffentlicht: 2015-01-13  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: Fourth ACM SIGPLAN Conference on Certified Progra...
    Genre der Quelle: Konferenzband
    Title der Quelle: CPP'15
    Band / Heft: -
    Start- / Endseite: 1 - 2
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  17. Urheber:
    Datum: Online veröffentlicht: 2015-01-13  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: Fourth ACM SIGPLAN Conference on Certified Progra...
    Genre der Quelle: Konferenzband
    Title der Quelle: CPP'15
    Band / Heft: -
    Start- / Endseite: 119 - 127
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  18. Urheber:
    Datum: Online veröffentlicht: 2015-01-14 | Im Druck veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Genre der Quelle: Konferenzband
    Title der Quelle: POPL'15
    Band / Heft: -
    Start- / Endseite: 209 - 220
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  19. Urheber:
    Datum: Online veröffentlicht: 2015 | Im Druck veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 36th ACM SIGPLAN Conference on Programming Langua...
    Genre der Quelle: Konferenzband
    Title der Quelle: PLDI'15
    Band / Heft: -
    Start- / Endseite: 110 - 120
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  20. Urheber:
    Datum: Online veröffentlicht: 2015 | Im Druck veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 36th ACM SIGPLAN Conference on Programming Langua...
    Genre der Quelle: Konferenzband
    Title der Quelle: PLDI'15
    Band / Heft: -
    Start- / Endseite: 326 - 335
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  21. Urheber:
    Datum: Online veröffentlicht: 2015 | Im Druck veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 42nd International Colloquium on Automata, Langua...
    Genre der Quelle: Konferenzband
    Title der Quelle: Automata, Languages, and Programming
    Band / Heft: -
    Start- / Endseite: 311 - 323
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  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: 29th International Symposium on Distributed Compu...
    Genre der Quelle: Konferenzband
    Title der Quelle: Distributed Computing
    Band / Heft: -
    Start- / Endseite: 371 - 387
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  23. Urheber:
    Datum: Online veröffentlicht: 2015 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 17th International Conference on Verification, Mo...
    Genre der Quelle: Konferenzband
    Title der Quelle: Verification, Model Checking, and Abstract Interp...
    Band / Heft: -
    Start- / Endseite: 413 - 430
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  24. 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
  25. 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
 
 
Zurück12Vor