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

Suchergebnisse

22 Datensätze gefunden (absteigend sortiert nach Änderungsdatum)
 
 
Zurück1Vor
  Sortierung nach Status ???List_Show??? Alle aufklappen Selektieren Alle zuklappen
  1. Urheber:
    Datum: Geändert: 2008-03-28 | Im Druck veröffentlicht: 2007  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: ACM Transactions on Programming Languages and Sys...
    Band / Heft: 29
    Start- / Endseite: 15.1 - 15.31
    Artikelnummer: 15
    Ort, Verlag, Ausgabe: -
  2. ( )
    Proving non-termination
    Urheber:
    Datum: Geändert: 2009-04-07 | Im Druck veröffentlicht: 2008  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Konferenzband
    Title der Quelle: POPL’08 : proceedings of the 35th Annual ACM SIGP...
    Band / Heft: -
    Start- / Endseite: 147 - 158
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  3. Urheber:
    Datum: Geändert: 2009-04-07 | Im Druck veröffentlicht: 2008  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Konferenzband
    Title der Quelle: Computer Aided Verification : 20th International ...
    Band / Heft: -
    Start- / Endseite: 328 - 340
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, USA : Springer
     : 1 es sind weitere Quellen vorhanden
  4. Urheber:
    Datum: Geändert: 2009-02-16 | Im Druck veröffentlicht: 2008  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Formal Aspects of Computing
    Band / Heft: 20 (4-5)
    Start- / Endseite: 481 - 505
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  5. ( )
    Heap Assumptions on Demand
    Urheber:
    Datum: Geändert: 2009-04-07 | Im Druck veröffentlicht: 2008  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Konferenzband
    Title der Quelle: Computer Aided Verification : 20th International ...
    Band / Heft: -
    Start- / Endseite: 314 - 327
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, USA : Springer
     : 1 es sind weitere Quellen vorhanden
  6. ( )
    From tests to proofs
    Urheber:
    Datum: Im Druck veröffentlicht: 2009  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 15th International Conference, TACAS 2009
    Genre der Quelle: Konferenzband
    Title der Quelle: Tools and Algorithms for the Construction and Ana...
    Band / Heft: -
    Start- / Endseite: 262 - 276
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  7. Urheber:
    Datum: Im Druck veröffentlicht: 2009  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 16th International SPIN Workshop
    Genre der Quelle: Konferenzband
    Title der Quelle: Model Checking Software
    Band / Heft: -
    Start- / Endseite: 192 - 204
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  8. Urheber:
    Datum: Im Druck veröffentlicht: 2009  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: POPL'09
    Genre der Quelle: Konferenzband
    Title der Quelle: POPL’09 : proceedings of the 36th Annual ACM SIGP...
    Band / Heft: -
    Start- / Endseite: 102 - 113
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  9. Urheber:
    Datum: Im Druck veröffentlicht: 2009  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 11th International Symposium, PADL 2009
    Genre der Quelle: Konferenzband
    Title der Quelle: Practical Aspects of Declarative Languages
    Band / Heft: -
    Start- / Endseite: 76 - 90
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  10. 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
  11. Urheber:
    Datum: Im Druck veröffentlicht: 2009  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 21st International Conference, CAV 2009
    Genre der Quelle: Konferenzband
    Title der Quelle: Computer Aided Verification : 21st International ...
    Band / Heft: -
    Start- / Endseite: 634 - 640
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  12. Urheber:
    Datum: Im Druck veröffentlicht: 2009  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 21st International Conference, CAV 2009
    Genre der Quelle: Konferenzband
    Title der Quelle: Computer Aided Verification : 21st International ...
    Band / Heft: -
    Start- / Endseite: 584 - 598
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  13. Urheber:
    Datum: Im Druck veröffentlicht: 2009  
    Genre: Konferenzband 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: Berlin : Springer
    Name der Veranstaltung: 4th International Computer Science Symposium in R...
    Genre der Quelle: Reihe
    Title der Quelle: Lecture notes in computer science
    Band / Heft: 5675
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  14. Urheber:
    Datum: Im Druck veröffentlicht: 2009  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 3rd International AAAI Conference on Weblogs and ...
    Genre der Quelle: Konferenzband
    Title der Quelle: ICWSM 2009 Data Challenge Workshop
    Band / Heft: -
    Start- / Endseite: 1 - 8
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Menlo Park, CA : AAAI
  15. Urheber:
    Datum: Im Druck veröffentlicht: 2009  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 30th IEEE Symposium on Security and Privacy
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of the 2009 30th IEEE Symposium on Se...
    Band / Heft: -
    Start- / Endseite: 141 - 153
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Los Alamitos, CA : IEEE Computer Society
  16. Urheber:
    Datum: Im Druck veröffentlicht: 2010  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 23rd IEEE Computer Security Foundations Symposium...
    Genre der Quelle: Konferenzband
    Title der Quelle: 23rd IEEE Computer Security Foundations Symposium...
    Band / Heft: -
    Start- / Endseite: 3 - 14
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
  17. Urheber:
    Datum: Im Druck veröffentlicht: 2010-12-30  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: CoRR
    Band / Heft: abs/1004.2884v2
    Start- / Endseite: 1 - 11
    Artikelnummer: arXiv:1004.2884v2
    Ort, Verlag, Ausgabe: -
  18. Urheber:
    Datum: Im Druck veröffentlicht: 2011  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: CAV 2011
    Genre der Quelle: Konferenzband
    Title der Quelle: Computer Aided Verification : 23rd International ...
    Band / Heft: -
    Start- / Endseite: 470 - 486
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  19. Urheber:
    Datum: Geändert: 2008-03-28 | Online veröffentlicht: 2006 | Im Druck veröffentlicht: 2006  
    Genre: Konferenzbeitrag 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: Third International Colloquium on Theoretical Asp...
    Genre der Quelle: Konferenzband
    Title der Quelle: Theoretical Aspects of Computing -- ICTAC 2006
    Band / Heft: -
    Start- / Endseite: 332 - 346
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  20. Urheber:
    Datum: Geändert: 2008-03-28 | Online veröffentlicht: 2006 | Im Druck veröffentlicht: 2006  
    Genre: Konferenzbeitrag 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: Third International Colloquium on Theoretical Asp...
    Genre der Quelle: Konferenzband
    Title der Quelle: Theoretical Aspects of Computing -- ICTAC 2006
    Band / Heft: -
    Start- / Endseite: 183 - 197
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  21. ( )
    From Tests to Proofs
    Urheber:
    Datum: Im Druck veröffentlicht: 2013  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: International Journal on Software Tools for Techn...
    Band / Heft: 15 (4)
    Start- / Endseite: 291 - 303
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  22. Urheber:
    Datum: Angenommen: 2005-06-01 | Online veröffentlicht: 2005 | Im Druck veröffentlicht: 2005  
    Genre: Hochschulschrift 
    Dateien : -
    externe Referenzen: 2 ext. Referenzen
    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: -
 
 
Zurück1Vor