Zum Inhalt springen

  11. Riis Nielson, Hanne [Sonstige Person, Familie und Körperschaft]; Filé, Gilberto [Sonstige Person, Familie und Körperschaft]; Nielson, Hanne Riis [HerausgeberIn] ; SAS 14 2007 Lyngby-Tårbaek

    Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; 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, 2007

    Erschienen in: Lecture notes in computer science ; 4634

  14. Okada, Mitsuhiro [Sonstige Person, Familie und Körperschaft]; Satoh, Ichiro [Sonstige Person, Familie und Körperschaft]; Okada, Mitsu [HerausgeberIn] ; Asian Computing Science Conference 11 2006 Tokio

    Advances in computer science - ASIAN 2006 : secure software and related issues ; 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 ; 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, 2007

    Erschienen in: Lecture notes in computer science ; 4435

  15. Reps, Thomas [Sonstige Person, Familie und Körperschaft]; Wilhelm, Reinhard [GefeierteR]; Sagiv, Mooly [Sonstige Person, Familie und Körperschaft]; Bauer, Jörg [Sonstige Person, Familie und Körperschaft]; Reps, Thomas W. [HerausgeberIn]

    Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday

    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, 2007

    Erschienen in: Lecture notes in computer science ; 4444