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

Suchergebnisse

149 Datensätze gefunden (absteigend sortiert nach Änderungsdatum)
 
 
Zurück123456Vor
  Sortierung nach Status ???List_Show??? Alle aufklappen Selektieren Alle zuklappen
  1. 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: -
  2. 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: -
  3. 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: -
  4. 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: -
  5. 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: -
  6. 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: -
  7. 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: -
  8. 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: -
  9. 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: -
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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: 45 - 54
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  15. Urheber:
    Datum: Online veröffentlicht: 2017  
    Genre: Buchkapitel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Konferenzband
    Title der Quelle: Hardware and Software: Verification and Testing
    Band / Heft: -
    Start- / Endseite: 35 - 50
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  16. Urheber:
    Datum: Geändert: 2017-08-04 | Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 17th Conference on Formal Methods in Computer-Aid...
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of the 17th Conference on Formal Meth...
    Band / Heft: -
    Start- / Endseite: 172 - 175
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  17. Urheber:
    Datum: Online veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 1 ext. Referenz
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 30th International Florida Artificial Intelligenc...
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of the Thirtieth International Florid...
    Band / Heft: -
    Start- / Endseite: 14 - 19
    Artikelnummer: -
    Ort, Verlag, Ausgabe: AAAI
  18. Urheber:
    Datum: Angenommen: 2017 | Online veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 1 ext. Referenz
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 28th International Conference on Concurrency Theo...
    Genre der Quelle: Konferenzband
    Title der Quelle: 28th International Conference on Concurrency Theo...
    Band / Heft: -
    Start- / Endseite: 1 - 17
    Artikelnummer: 13
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
     : 1 es sind weitere Quellen vorhanden
  19. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: IEEE 56th Annual Conference on Decision and Contr...
    Genre der Quelle: Konferenzband
    Title der Quelle: IEEE 56th Annual Conference on Decision and Contr...
    Band / Heft: -
    Start- / Endseite: 3551 - 3556
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  20. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: IEEE 56th Annual Conference on Decision and Contr...
    Genre der Quelle: Konferenzband
    Title der Quelle: IEEE 56th Annual Conference on Decision and Contr...
    Band / Heft: -
    Start- / Endseite: 550 - 557
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  21. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: American Control Conference
    Genre der Quelle: Konferenzband
    Title der Quelle: American Control Conference
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  22. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 18th International Conference on Artificial Intel...
    Genre der Quelle: Konferenzband
    Title der Quelle: Artificial Intelligence in Education
    Band / Heft: -
    Start- / Endseite: 455 - 458
    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: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: ACM Transactions on Embedded Computing Systems
    Band / Heft: 16 (5s)
    Start- / Endseite: 1 - 18
    Artikelnummer: 170
    Ort, Verlag, Ausgabe: New York, NY : ACM
  24. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: ACM Transactions on Embedded Computing Systems
    Band / Heft: 16 (5s)
    Start- / Endseite: 1 - 19
    Artikelnummer: 190
    Ort, Verlag, Ausgabe: New York, NY : ACM
  25. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Acta Informatica
    Band / Heft: 54 (8)
    Start- / Endseite: 729 - 764
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Heidelberg : Springer-Verlag Heidelberg
 
 
Zurück123456Vor