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

Suchergebnisse

645 Datensätze gefunden (absteigend sortiert nach Änderungsdatum)
 
 
Zurück1234567Vor
  Sortierung nach Status ???List_Show??? Alle aufklappen Selektieren Alle zuklappen
  1. Urheber:
    Datum: Erstellt: 2017-10-19 | Geändert: 2017-12-20 | Online veröffentlicht: 2017  
    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: -
  2. ( )
    Optimizing Human Learning
    Urheber:
    Datum: Erstellt: 2017-12-05 | Online veröffentlicht: 2017  
    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: -
  3. Urheber:
    Datum: Angenommen: 2017 | Online veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: IEEE International Conference on Image Processing
    Genre der Quelle: Konferenzband
    Title der Quelle: IEEE International Conference on Image Processing
    Band / Heft: -
    Start- / Endseite: 4382 - 4386
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  4. Urheber:
    Datum: Erstellt: 2017-11-17 | Geändert: 2017-11-24 | Online veröffentlicht: 2017  
    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: 2017-11-17 | Geändert: 2017-11-24 | Online veröffentlicht: 2017  
    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: 2017-01-09 | Online veröffentlicht: 2017  
    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: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 1 ext. Referenz
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 34th Symposium on Theoretical Aspects of Computer...
    Genre der Quelle: Konferenzband
    Title der Quelle: 34th Symposium on Theoretical Aspects of Computer...
    Band / Heft: -
    Start- / Endseite: 1 - 13
    Artikelnummer: 29
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
     : 1 es sind weitere Quellen vorhanden
  8. ( )
    LICS 2017 Foreword
    Datum: Angenommen: 2017 | Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 32nd Annual ACM-IEEE Symposium on Logic in Comput...
    Genre der Quelle: Konferenzband
    Title der Quelle: 32nd Annual ACM-IEEE Symposium on Logic in Comput...
    Band / Heft: -
    Start- / Endseite: II - IV
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  9. Urheber:
    Datum: Angenommen: 2017 | Online veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 1 ext. Referenz
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 44th International Colloquium on Automata, Langua...
    Genre der Quelle: Konferenzband
    Title der Quelle: 44th International Colloquium on Automata, Langua...
    Band / Heft: -
    Start- / Endseite: 1 - 14
    Artikelnummer: 24
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
     : 1 es sind weitere Quellen vorhanden
  10. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 20th International Conference on Hybrid Systems: ...
    Genre der Quelle: Konferenzband
    Title der Quelle: HSCC'17
    Band / Heft: -
    Start- / Endseite: 11 - 17
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  11. ( )
    Timed Temporal Logics
    Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Buchkapitel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Buch
    Title der Quelle: Models, Algorithms, Logics and Tools
    Band / Heft: -
    Start- / Endseite: 211 - 230
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  12. Urheber:
    Datum: Online veröffentlicht: 2017  
    Genre: Konferenzband 
    Dateien : -
    externe Referenzen: 1 ext. Referenz
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
    Name der Veranstaltung: Dagstuhl Seminar 17201 "Formal Synthesis of Cyber...
    Genre der Quelle: Reihe
    Title der Quelle: Dagstuhl Reports
    Band / Heft: 7 (5)
    Start- / Endseite: 84 - 96
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  13. Urheber:
    Datum: Online veröffentlicht: 2018  
    Genre: Konferenzband 
    Dateien : -
    externe Referenzen: 2 ext. Referenzen
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
    Name der Veranstaltung: Dagstuhl Seminar 17352 "Analysis and Synthesis of...
    Genre der Quelle: Reihe
    Title der Quelle: Dagstuhl Reports
    Band / Heft: 7 (8)
    Start- / Endseite: 74 - 101
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  14. Urheber:
    Datum: Online veröffentlicht: 2017  
    Genre: Konferenzband 
    Dateien : -
    externe Referenzen: 1 ext. Referenz
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
    Name der Veranstaltung: Dagstuhl Seminar 17111 "Game Theory in AI, Logic,...
    Genre der Quelle: Reihe
    Title der Quelle: Dagstuhl Reports
    Band / Heft: 7 (3)
    Start- / Endseite: 27 - 32
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  15. Urheber:
    Datum: Erstellt: 2017-10-29 | Online veröffentlicht: 2017  
    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: -
  16. Urheber:
    Datum: Erstellt: 2017-10-05 | Geändert: 2017-10-09 | Online veröffentlicht: 2017  
    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: -
  17. Urheber:
    Datum: Erstellt: 2017-09-29 | Online veröffentlicht: 2017  
    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: -
  18. Urheber:
    Datum: Erstellt: 2017-09-27 | Online veröffentlicht: 2017  
    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: -
  19. Urheber:
    Datum: Erstellt: 2017-06-26 | Online veröffentlicht: 2017  
    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: -
  20. Urheber:
    Datum: Erstellt: 2017-05-05 | Online veröffentlicht: 2017  
    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: -
  21. Urheber:
    Datum: Erstellt: 2017-04-18 | Geändert: 2017-07-17 | Online veröffentlicht: 2017  
    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: -
  22. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 14th International Conference on Quantitative Eva...
    Genre der Quelle: Konferenzband
    Title der Quelle: Quantitative Evaluation of Systems
    Band / Heft: -
    Start- / Endseite: 351 - 367
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  23. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 23rd 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: 499 - 517
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  24. 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: 473 - 485
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  25. Urheber:
    Datum: Online veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 1 ext. Referenz
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 21st International Conference on Logic for Progra...
    Genre der Quelle: Konferenzband
    Title der Quelle: LPAR-21
    Band / Heft: -
    Start- / Endseite: 1 - 13
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Manchester, UK : EasyChair
     : 1 es sind weitere Quellen vorhanden
 
 
Zurück1234567Vor