Zum Inhalt springen

  3. Warschko, Thomas Mike [VerfasserIn]; Herter, Christian G. [VerfasserIn]; Tichy, Walter F. [VerfasserIn] ; Warschko, Thomas M. [Sonstige Person, Familie und Körperschaft]

    Latency hiding in parallel systems : a quantitative approach

    Bücher
    Schließen

    Merkliste

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

    Karlsruhe: Univ., Fak. für Informatik, 1994

    Erschienen in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 94,10

  13. Schill, Alexander [HerausgeberIn] ; Universität Karlsruhe (TH) Institut für Telematik, International DCE Workshop 1993 Karlsruhe

    DCE - OSF distributed computing environment : client/server model and beyond; industry proceedings

    Bücher
    Schließen

    Merkliste

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

    Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, Institut für Telematik, 1993

    Erschienen in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,19

  14. Schmid, Detlef [HerausgeberIn]; Kropf, Thomas [Sonstige Person, Familie und Körperschaft] ; Workshop Formale Methoden zum Entwurf Korrekter Systeme 1993 Bad Herrenalb, Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme

    GI-ITG-Workshop Formale Methoden zum Entwurf Korrekter Systeme : 21. - 23. März 1993, Bad Herrenalb

    Bücher
    Schließen

    Merkliste

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

    Karlsruhe: Univ., Fakultät für Informatik, 1993

    Erschienen in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,10

  18. Brzoska, Christoph [VerfasserIn]; Schäfer, Karl [VerfasserIn]

    LIMETTE : logic programming integrating metric temporal extensions ; an extension of KA-Prolog for temporal reasoning ; language specification user manual

    Bücher
    Schließen

    Merkliste

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

    Karlsruhe: Univ., Fak. für Informatik, 1993

    Erschienen in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,9