Zum Inhalt springen

  1. Garcez, Edelweis Helena Ache [VerfasserIn]

    A coverification framework

    Bücher
    Schließen

    Merkliste

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

    1999

  2. Broy, Manfred [HerausgeberIn]; Krüger, Ingolf [Sonstige Person, Familie und Körperschaft]; Meisinger, Michael [Sonstige Person, Familie und Körperschaft] ; Automotive Software Workshop 2 2006 San Diego, Calif

    Model-driven development of reliable automotive services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 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, 2008

    Erschienen in: Lecture notes in computer science ; 4922

  3. Dandamudi, Sivarama P. [VerfasserIn]

    Fundamentals of computer organization and design

    Bücher
    Schließen

    Merkliste

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

    New York, NY; Berlin; Heidelberg: Springer, c2003

    Erschienen in: Texts in computer science

  4. De Micheli, Giovanni [HerausgeberIn]; Ernst, Rolf [Sonstige Person, Familie und Körperschaft]; Wolf, Marilyn [Sonstige Person, Familie und Körperschaft]

    Readings in hardware/software co-design

    Bücher
    Schließen

    Merkliste

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

    San Francisco [u.a.]: Morgan Kaufmann Publ., 2002

    Erschienen in: The Morgan Kaufmann series in systems on silicon

  5. Hutter, Dieter [HerausgeberIn] ; International Workshop on Current Trends in Applied Formal Methods 1998 Boppard

    Applied formal methods - FM trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998 ; 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 ; 1641