Skip to contents

  2. Boddenberg, Ulrich B. [Author]

    Windows Server 2008 R2 : das umfassende Handbuch ; [Technikgrundlagen und Installation, die neuen Features, Best Practices ; Konzeption, Installation und Konfiguration ; Anwendungsszenarien und praxisrelevante Lösungen ; inkl. Active Directory, Zertifikatdienste, Windows-7-Integration ; inkl. Hyper-V] - [3., aktualisierte Aufl., 3., korrigierter Nachdr.]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Bonn: Galileo Press, 2012

    Published in: Galileo Computing

  7. Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author]

    Model checking

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cambridge, Mass.; London: MIT, c 1999

  11. Straube, Bernd [Editor] ; Workshop Methoden des Entwurfs und der Verifikation Digitaler Systeme 4 1996 Kreischa, Gesellschaft für Informatik, Informationstechnische Gesellschaft, Gesellschaft Mikroelektronik

    Tagungsband des 4. GI-ITG-GME-Workshops Methoden des Entwurfs und der Verifikation Digitaler Systeme : [Kreischa, 25. - 27. März 1996] - [Als Ms. gedr.]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Aachen: Shaker, 1996

    Published in: Berichte aus der Informatik

  20. Milne, George J. [Editor] ; International Federation for Information Processing Working Group Digital Systems Descriptions and Design Tools, Advanced Research Working Conference on Correct Hardware Design Methodologies 1993 Arles

    Correct hardware design and verification methods : IFIP WG 10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24 - 26, 1993; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 683