Zum Inhalt springen

  2. Boddenberg, Ulrich B. [Verfasser:in]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Bonn: Galileo Press, 2012

    Erschienen in: Galileo Computing

  7. Clarke, Edmund M. [Verfasser:in]; Grumberg, Orna [Verfasser:in]; Peled, Doron [Verfasser:in]

    Model checking

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Cambridge, Mass.; London: MIT, c 1999

  11. Straube, Bernd [Herausgeber:in] ; 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.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Aachen: Shaker, 1996

    Erschienen in: Berichte aus der Informatik

  19. Möller, Bernhard [Herausgeber:in] ; 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

    Bücher
    Online ansehen
    Schließen
    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, 1998

    Erschienen in: Lecture notes in computer science ; 1546

  20. Milne, George J. [Herausgeber:in] ; 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

    Bücher
    Online ansehen
    Schließen
    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, 1993

    Erschienen in: Lecture notes in computer science ; 683