Skip to contents

  1. Rettberg, Achim [Editor] ; International Embedded Systems Symposium, 2, 2007, Irvine, Calif. [Other]

    Embedded system design: topics, techniques and trends : IFIP TC 10 working conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA

    Media type: Books
    View online
    Merkliste Schließen
    Merkliste
    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: Springer, 2007

    Published in: International Federation for Information Processing: IFIP International Federation for Information Processing ; 231

  2. Bultan, Tevfik [Editor] ; Hsiung, Pao-Ann [Other] ; ATVA, 9, 2011, Taipeh [Other]

    Automated technolgoy for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 ; proceedings

    Media type: Books
    View online
    Merkliste 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

    Published in: Lecture notes in computer science ; 6996

  3. Bondavalli, Andrea [Editor] ; Brasileiro, Francisco [Other] ; Rajsbaum, Sergio [Other] ; LADC, 3, 2007, Morelia [Other]

    Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 ; proceedings

    Media type: Books
    View online
    Merkliste 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

    Published in: Lecture notes in computer science ; 4746

You did not find what you were looking for?