Zum Inhalt springen

  1. Graham, T. C. Nicholas [Herausgeber:in]; Palanque, Philippe [Sonstige Person, Familie und Körperschaft] ; DSV IS 15 2008 Kingston, Ontario

    Interactive Systems - design, specification, and verification : 15th international workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 ; 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, 2008

    Erschienen in: Lecture notes in computer science ; 5136

  2. Doherty, Gavin [Herausgeber:in]; Blandford, Ann [Sonstige Person, Familie und Körperschaft] ; DSV IS 13 2006 Dublin

    Interactive systems : design, specification, and verification ; 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 ; revised 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, 2007

    Erschienen in: Lecture notes in computer science ; 4323

  3. Doherty, Gavin [Sonstige Person, Familie und Körperschaft]; Blandford, Ann [Sonstige Person, Familie und Körperschaft]

    Interactive Systems. Design, Specification, and Verification : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised 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, 2007

    Erschienen in: Lecture notes in computer science ; 4323

  4. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Palanque, Philippe [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Graham, T. C. Nicholas [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]

    Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised 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, 2008

    Erschienen in: Lecture notes in computer science ; 5136