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
    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
    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
    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

  19. Möller, Bernhard [Editor] ; Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Basic Research Action 8533

    Prospects for hardware foundations

    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: Lecture notes in computer science ; 1546

  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
    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