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

Suchergebnisse

30 Datensätze gefunden (absteigend sortiert nach Änderungsdatum)
 
 
Zurück12Vor
  Sortierung nach Status ???List_Show??? Alle aufklappen Selektieren Alle zuklappen
  1. ( )
    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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. Urheber:
    Datum: Online veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 2 ext. Referenzen
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 26th International Conference on Concurrency Theo...
    Genre der Quelle: Konferenzband
    Title der Quelle: 26th International Conference on Concurrency Theo...
    Band / Heft: -
    Start- / Endseite: 483 - 496
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
     : 1 es sind weitere Quellen vorhanden
  19. Urheber:
    Datum: Online veröffentlicht: 2015  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Journal of Functional Programming
    Band / Heft: 25
    Start- / Endseite: -
    Artikelnummer: e12
    Ort, Verlag, Ausgabe: Cambridge : Cambridge Univ. Press
  20. Urheber:
    Datum: Online veröffentlicht: 2015-08-29 | Im Druck veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 20th ACM SIGPLAN International Conference on Func...
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of the 20th ACM SIGPLAN International...
    Band / Heft: -
    Start- / Endseite: 166 - 178
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
     : 1 es sind weitere Quellen vorhanden
  21. Urheber:
    Datum: Im Druck veröffentlicht: 2009  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: FMCAD 2009
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of 9th International Conference 2009 ...
    Band / Heft: -
    Start- / Endseite: 205 - 212
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  22. Urheber:
    Datum: Online veröffentlicht: 2013 | Im Druck veröffentlicht: 2013  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Journal of the ACM
    Band / Heft: 60 (3)
    Start- / Endseite: 1 - 50
    Artikelnummer: 22
    Ort, Verlag, Ausgabe: New York, NY : ACM
  23. Urheber:
    Datum: Online veröffentlicht: 2013 | Im Druck veröffentlicht: 2013  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: International Conference on Object Oriented Progr...
    Genre der Quelle: Konferenzband
    Title der Quelle: OOPSLA'13
    Band / Heft: -
    Start- / Endseite: 867 - 884
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  24. Urheber:
    Datum: Online veröffentlicht: 2013 | Im Druck veröffentlicht: 2013  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 24th Conference on Concurrency Theory
    Genre der Quelle: Konferenzband
    Title der Quelle: CONCUR 2013 -- Concurrency Theory
    Band / Heft: -
    Start- / Endseite: 242 - 256
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  25. ( )
    Adjustable References
    Datum: Online veröffentlicht: 2013 | Im Druck veröffentlicht: 2013  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 4th International Conference on Interactive Theor...
    Genre der Quelle: Konferenzband
    Title der Quelle: Interactive Theorem Proving
    Band / Heft: -
    Start- / Endseite: 328 - 337
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
 
 
Zurück12Vor