Zum Inhalt springen

  3. Wirsing, Martin [Herausgeber:in]; 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
    Online ansehen
    Schließen
    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

  4. Datta, Anupam [Herausgeber:in] ; Asian Computing Science Conference 13 2009 Seoul

    Advances in computer science - ASIAN 2009 : information security and privacy : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009 ; proceedings

    Bücher
    Online ansehen
    Schließen
    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, 2009

    Erschienen in: Lecture notes in computer science ; 5913

  6. Grégoire, Jean-Charles [Mitwirkende:r]; Holzmann, Gerard J. [Mitwirkende:r]; Peled, Doron [Mitwirkende:r]

    The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Providence, R.I.: American Mathematical Society, 1997

    Erschienen in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 32

  7. Abadi, Martín [Verfasser:in] ; Lluch Lafuente, Alberto [Herausgeber:in]

    Trustworthy Global Computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8358

  8. Wirsing, Martin [Verfasser:in] ; Hofmann, Martin [Sonstige Person, Familie und Körperschaft]; Rauschmayer, Axel [Sonstige Person, Familie und Körperschaft]

    Trustworthly Global Computing : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6084

  9. Bochmann, Gregor von [Sonstige Person, Familie und Körperschaft] ; CAV 4 1992 Montréal

    Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin [u.a.]: Springer, 1993 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 66300

  10. Datta, Anupam [Verfasser:in]

    Advances in Computer Science - ASIAN 2009. Information Security and Privacy : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5913

  11. Palamidessi, Catuscia [Verfasser:in] ; Ryan, Mark D. [Herausgeber:in]

    Trustworthy Global Computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8191