Skip to contents

  1. Dai, Fan [Editor]

    Virtual reality for industrial applications

    Books
    Close

    Bookmarks

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

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

    Published in: Computer graphics ; systems and applications

  2. Cofer, Darren [Editor]; Fantechi, Alessandro [Other] ; European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems, FMICS 13 2008 L'Aquila

    Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; 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, 2009

    Published in: Lecture notes in computer science ; 5596