Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
14 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

14 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formal methods for open object based distributed systems: 6th IFIP WG 6.1 international conference ; proceedings
    FMOODS 2003, Paris, France, November 19 - 21, 2003. Elie Najm ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    A language for high level programming of dynamic reconfiguration
    Markus Endler
    München [u.a.]: Oldenbourg, 1993
    Monographie, Hochschulschrift, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Coordinating distributed objects: an actor-based approach to synchronization
    Svend Frølund
    Cambridge, Mass. [u.a.]: MIT Press, 1996
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Formal techniques for networked and distributed systems: 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11 - 14, 2002 ; proceedings
    FORTE 2002. Doron A. Peled ... (eds.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Formal techniques for networked and distributed systems: 24th IFIP WG 6.1 international conference ; proceedings
    FORTE 2004, Madrid, Spain, September 27 - 30, 2004. David de Frutos-Escrig ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Migrationssteuerung und Konfigurationsverwaltung für verteilte objektorientierte Anwendungen
    Alexander Schill
    Berlin [u.a.]: Springer, 1990
    Monographie, Hochschulschrift, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Formal methods for open object based distributed systems: 7th IFIP WG 6.1 international conference ; proceedings
    FMOODS 2005, Athens, Greece, June 15 - 17, 2005. Martin Steffen ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Semantics of parallelism: non-interleaving representation of behaviour
    Michael W. Shields
    London [u.a.]: Springer, 1997
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Formal methods for open object based distributed systems: 8th IFIP WG 6.1 international conference ; proceedings
    FMOODS 2006, Bologna, Italy, June 14 - 16, 2006. Roberto Gorrieri ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Formal techniques for networked and distributed systems: 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2 - 5, 2005 ; proceedings
    FORTE 2005. Farn Wang (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Formal techniques for networked and distributed systems: 26th IFIP WG 6.1 international conference, Paris, France, September 26 - 29, 2006 ; proceedings
    FORTE 2006. Elie Najm ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Advances in computing science - ASIAN 2003: programming languages and distributed computation ; proceedings
    8th Asian Computing Science Conference, Mumbai, India, December 10 - 12, 2003. Vijay A. Saraswat (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Persistent object systems: design, implementation, and use ; revised papers
    9th International Workshop, POS-9, Lillehammer, Norway, September 6 - 8, 2000. Graham N. C. Kirby ... (ed.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Proceedings of the IFIP TC WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols: FORTE '89, Vancouver, Canada, 5 - 8 December, 1989
    ed. by Son T. Vuong
    Amsterdam [u.a.]: North-Holland, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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