Zum Inhalt springen

  6. Graham, T. C. Nicholas [HerausgeberIn]; 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
    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

  8. Doherty, Gavin [HerausgeberIn]; 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
    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

  9. Aubrun, Christophe [HerausgeberIn]; Simon, Daniel [Sonstige Person, Familie und Körperschaft]; Song, Ye-Qiong [Sonstige Person, Familie und Körperschaft]

    Co-design approaches for dependable networked control systems

    Bücher
    Schließen

    Merkliste

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

    Hoboken, NJ: Wiley, 2010 ; London, UK: ISTE [u.a.], 2010

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

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