Zum Inhalt springen

  1. Garcia-Alfaro, Joaquin [HerausgeberIn]; Lafourcade, Pascal [Sonstige Person, Familie und Körperschaft] ; Mitacs Vancouver u.a, FPS 4 2011 Paris, FPS 4 2011 Paris

    Foundations and practice of security : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12 - 13, 2011 ; 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, 2012

    Erschienen in: Lecture notes in computer science ; 6888

  2. Camenisch, Jan [HerausgeberIn] ; International Federation for Information Processing Working Group Network & Distributed Systems Security, iNetSec 2011 Luzern

    Open problems in network security : IFIP WG 11.4 international workshop, iNetSec 2011, Lucerne, Switzerland, June 9 ; 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, 2012

    Erschienen in: Lecture notes in computer science ; 7039

  3. Russo, Claudio [HerausgeberIn]; Zhou, Neng-Fa [Sonstige Person, Familie und Körperschaft] ; PADL 14 2012 Philadelphia, Pa

    Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, January 23 - 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 ; 7149

  4. Bieliková, Mária [HerausgeberIn] ; SOFSEM 38 2012 Spindlermühle

    SOFSEM 2012: theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Špindler°uv, Mlýn, Czech Republic, January 21 - 27, 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 ; 7147

  5. Mödersheim, Sebastian [HerausgeberIn]; Palamidessi, Catuscia [Sonstige Person, Familie und Körperschaft] ; TOSCA 2011 Saarbrücken

    Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 ; 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, 2012

    Erschienen in: Lecture notes in computer science ; 6993

  6. 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