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

Suchergebnisse

519 Datensätze gefunden (absteigend sortiert nach Änderungsdatum)
 
 
Zurück1234567Vor
  Sortierung nach Status ???List_Show??? Alle aufklappen Selektieren Alle zuklappen
  1. Urheber:
    Datum: Angenommen: 2017-11-20 | Online veröffentlicht: 2017-11-24 | Im Druck veröffentlicht: 2017  
    Genre: Hochschulschrift 
    Dateien : -
    externe Referenzen: 1 ext. Referenz
    Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
    Name der Veranstaltung: -
    Genre der Quelle: -
    Title der Quelle: -
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  2. 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
  3. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 8th International Symposium on Engineering Secure...
    Genre der Quelle: Konferenzband
    Title der Quelle: Engineering Secure Software and Systems
    Band / Heft: -
    Start- / Endseite: 20 - 37
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  4. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 4th Annual International Conference on Mobile Sys...
    Genre der Quelle: Konferenzband
    Title der Quelle: MobiSys'16
    Band / Heft: -
    Start- / Endseite: 235 - 248
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  5. ( )
    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: -
  6. Urheber:
    Datum: Erstellt: 2016-03-14 | 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  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 1 ext. Referenz
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 10th International AAAI Conference on Web and Soc...
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of the Tenth International AAAI Confe...
    Band / Heft: -
    Start- / Endseite: 687 - 690
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Palo Alto, CA : AAAI
  8. ( )
    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
  9. Urheber:
    Datum: Online veröffentlicht: 2016  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Proceedings on Privacy Enhancing Technologies
    Band / Heft: 2016 (4)
    Start- / Endseite: 436 - 453
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  10. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 1 ext. Referenz
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 25th USENIX Security Symposium
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of the 25th USENIX Security Symposium
    Band / Heft: -
    Start- / Endseite: 637 - 654
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berkeley, CA : USENIX Association
  11. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 25th USENIX Security Symposium
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of the 25th USENIX Security Symposium
    Band / Heft: -
    Start- / Endseite: 619 - 636
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berkeley, CA : USENIX Association
  12. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 29th Computer Security Foundations Symposium
    Genre der Quelle: Konferenzband
    Title der Quelle: CSF 2016
    Band / Heft: -
    Start- / Endseite: 17 - 30
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  13. Urheber:
    Datum: Online veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 1 ext. Referenz
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: The OCaml Users and Developers Workshop
    Genre der Quelle: Konferenzband
    Title der Quelle: OCaml 2016
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  14. Urheber:
    Datum: Erstellt: 2016-12-01 | 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: -
  15. Urheber:
    Datum: Online veröffentlicht: 2017-03-18  
    Genre: Zeitschriftenartikel 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Electronic Notes in Theoretical Computer Science
    Band / Heft: 331
    Start- / Endseite: 57 - 70
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Amsterdam : Elsevier
     : 1 es sind weitere Quellen vorhanden
  16. Urheber:
    Datum: Online veröffentlicht: 2016-08-22  
    Genre: Zeitschriftenartikel 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: PeerJ Computer Science
    Band / Heft: 2
    Start- / Endseite: -
    Artikelnummer: e87
    Ort, Verlag, Ausgabe: -
  17. Urheber:
    Datum: Online veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 10th International AAAI Conference on Web and Soc...
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of the Tenth International AAAI Confe...
    Band / Heft: -
    Start- / Endseite: 567 - 570
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Palo Alto, CA : AAAI
  18. Datum: Angenommen: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 9th International Workshop on Compositional Theor...
    Genre der Quelle: Konferenzband
    Title der Quelle: 9th International Workshop on Compositional Theor...
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
     : 1 es sind weitere Quellen vorhanden
  19. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 24th International Conference on Real-Time Networ...
    Genre der Quelle: Konferenzband
    Title der Quelle: 24th International Conference on Real-Time Networ...
    Band / Heft: -
    Start- / Endseite: 171 - 180
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  20. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 24th International Conference on Real-Time Networ...
    Genre der Quelle: Konferenzband
    Title der Quelle: 24th International Conference on Real-Time Networ...
    Band / Heft: -
    Start- / Endseite: 161 - 170
    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: 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
  22. Urheber:
    Datum: Online veröffentlicht: 2016  
    Genre: Bericht 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: Dortmund : Technische Universität Dortmund
    Name der Veranstaltung: -
    Genre der Quelle: Reihe
    Title der Quelle: Technical Reports in Computer Science
    Band / Heft: 854
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  23. Urheber:
    Datum: Erstellt: 2016-06-14 | 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: -
  24. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 28th Euromicro Conference on Real-Time Systems
    Genre der Quelle: Konferenzband
    Title der Quelle: The 28th Euromicro Conference on Real-Time System...
    Band / Heft: -
    Start- / Endseite: 237 - 247
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  25. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 28th Euromicro Conference on Real-Time Systems
    Genre der Quelle: Konferenzband
    Title der Quelle: The 28th Euromicro Conference on Real-Time System...
    Band / Heft: -
    Start- / Endseite: 273 - 284
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
 
 
Zurück1234567Vor