Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
26 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

26 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Concurrency theory: 16th international conference ; proceedings
    CONCUR 2005, San Francisco, CA, USA, August 23 - 26, 2005. Martín Abadi ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 22 öffnen
    Concurrency theory: 10th international conference ; proceedings
    CONCUR '99, Eindhoven, The Netherlands, August 24 - 27, 1999. Jos C. M. Baeten ... (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 23 öffnen
    Concurrency control and reliability in distributed systems
    edited by Bharat K. Bhargava
    New York [u.a.]: Van Nostrand Reinhold, 1987
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 24 öffnen
    Specification and verification of concurrent systems
    [papers pesented at the BCS-FACS Workshop on Specification and Verificationon Concurrent Systems held on 6 - 8 July 1988 at the University of Stirling, Scotland]. C. Rattray (Ed.)
    London [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 25 öffnen
    Concurrency and parallelism, programming, networking, and security: proceedings
    Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2 - 5, 1996. Joxan Jaffar ... (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 26 öffnen
    ACTORS: a model of concurrent computation in distributed systems
    Agha, Gul
    Cambridge, Mass. [u.a.]: MIT Pr, 1986
    Monographie, Hochschulschrift, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -