Skip to contents

  1. Garcez, Edelweis Helena Ache [Author]

    A coverification framework

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    1999

  2. Broy, Manfred [Editor]; Krüger, Ingolf [Other]; Meisinger, Michael [Other] ; 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

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Published in: Lecture notes in computer science ; 4922

  3. Dandamudi, Sivarama P. [Author]

    Fundamentals of computer organization and design

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Texts in computer science

  4. De Micheli, Giovanni [Editor]; Ernst, Rolf [Other]; Wolf, Marilyn [Other]

    Readings in hardware/software co-design

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: The Morgan Kaufmann series in systems on silicon

  5. DeMicheli, Giovanni [Other]; Sami, Mariagiovanna [Other]; De Micheli, Giovanni [Editor] ; Advanced Study Institute on Hardware Software Co-Design 1995 Tremezzo

    Hardware/software co-design : [proceedings of the NATO Advanced Study Institute on Hardware/Software Co-design, Tremezzo, Italy, June 19-30, 1995]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Dordrecht [u.a.]: Kluwer Acad. Publ., 1996

    Published in: NATO: NATO ASI series / E ; 310