Zum Inhalt springen

  3. Kuncak, Viktor [HerausgeberIn]; Rybalchenko, Andrey [Sonstige Person, Familie und Körperschaft] ; VMCAI 13 2012 Philadelphia, Pa

    Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2012

    Erschienen in: Lecture notes in computer science ; 7148

  4. Wirsing, Martin [HerausgeberIn]; Hofmann, Martin [Sonstige Person, Familie und Körperschaft]; Rauschmayer, Axel [Sonstige Person, Familie und Körperschaft] ; TGC 5 2010 München

    Trustworthly global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6084

  11. LeTreut, Hervé [HerausgeberIn] ; Advanced Research Workshop Climate Sensitivity to Radiative Perturbations: Physical Mechanisms and Validation 1994 Paris

    Climate sensitivity to radiative perturbations : physical mechanisms and their validation ; [proceedings of the NATO Advanced Research Workshop "Climate Sensitivity to Radiative Perturbations: Physical Mechanisms and Validation", held in Paris, France, July 11 - 15, 1994]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1996

    Erschienen in: NATO: NATO ASI series / I ; 34

  12. Christodoulakis, George A. [HerausgeberIn]; Satchell, Stephen [Sonstige Person, Familie und Körperschaft]

    The analytics of risk model validation - [1. ed.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam; Heidelberg [u.a.]: Academic Press, 2008

    Erschienen in: Quantitative finance series

  16. The journal of risk model validation

    Zeitschriften / Zeitungen / Schriftenreihen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    London: Infopro Digital, 2007- ; London: Risk Journals, 2007-2017 / 1.2007 -