Zum Inhalt springen

  1. Petrenko, Alexandre [HerausgeberIn] ; International Workshop on Formal Approaches to Testing of Software 3 2003 Montréal

    Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, Montreal, Quebec, Canada, October 6th, 2003 ; 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, 2004

    Erschienen in: Lecture notes in computer science ; 2931

  2. Lee, Geuk [HerausgeberIn]; Howard, Daniel [Sonstige Person, Familie und Körperschaft]; Śle̜zak, Dominik [Sonstige Person, Familie und Körperschaft] ; ICHIT 5. 2011 Daejeon

    Convergence and hybrid information technology : 5th international conference, ICHIT 2011, Daejeon, Korea, September 22 - 24, 2011 ; 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, 2011

    Erschienen in: Lecture notes in computer science ; 6935

  5. González Harbour, Michael [HerausgeberIn] ; International Conference on Reliable Software Technologies 4 1999 Santander, Ada Europe

    Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 - 11, 1999 ; 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, 1999

    Erschienen in: Lecture notes in computer science ; 1622

  7. Lee, Yann-Hang [Sonstige Person, Familie und Körperschaft]; Kim, Heung-Nam [Sonstige Person, Familie und Körperschaft]; Kim, Jong-Gun [Sonstige Person, Familie und Körperschaft]; Kim, Sung Won [Sonstige Person, Familie und Körperschaft]; Park, Yongwan [Sonstige Person, Familie und Körperschaft]; Yang, Laurence Tianruo [Sonstige Person, Familie und Körperschaft]

    Embedded Software and Systems : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, 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, 2007

    Erschienen in: Lecture notes in computer science ; 4523

  8. Lee, Geuk [VerfasserIn] ; Howard, Daniel [Sonstige Person, Familie und Körperschaft]; Slezak, Dominik [Sonstige Person, Familie und Körperschaft]

    Convergence and Hybrid Information Technology : 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. 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, 2011

    Erschienen in: Lecture notes in computer science ; 6935

  9. González Harbour, Michael [VerfasserIn] ; De la Puente, Juan A. [Sonstige Person, Familie und Körperschaft]

    Reliable Software Technologies — Ada-Europe’ 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7–11, 1999 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-Verlag Berlin Heidelberg, 1999

    Erschienen in: Lecture notes in computer science ; 1622