Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
24 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: 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"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

24 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Probabilistic Aspects: Checking Security in an Imperfect World
    Hankin, Chris ; Nielson, Flemming ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    A Framework for Rule-Based Dynamic Adaptation
    Lanese, Ivan ; Bucchiarone, Antonio ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Tool for Checking Probabilistic Properties of COWS Services
    Cappello, Igor ; Quaglia, Paola ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Approximate Model Checking of Stochastic COWS
    Quaglia, Paola ; Schivo, Stefano ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility
    Ciancaglini, Vincenzo ; Liquori, Luigi ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments
    Bertasi, Paolo ; Pettarin, Alberto ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Refactoring Long Running Transactions: A Case Study
    Ferrari, Gianluigi ; Guanciale, Roberto ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Certificate Translation for the Verification of Concurrent Programs
    Kunz, César ; Hutchison, David, Series editor ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Certified Result Checking for Polyhedral Analysis of Bytecode Programs
    Besson, Frédéric ; Jensen, Thomas ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Property-Preserving Refinement of Concurrent Systems
    D’Errico, Liliana ; Loreti, Michele ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung
    Gabarro, Joaquim ; Kilpatrick, Peter ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Functions as Processes: Termination and the -Calculus
    Cimini, Matteo ; Coen, Claudio Sacerdoti ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    An Algebra of Hierarchical Graphs
    Bruni, Roberto ; Gadducci, Fabio ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    A Model of Evolvable Components
    Montesi, Fabrizio ; Sangiorgi, Davide ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    The Impact of Altruism on the Efficiency of Atomic Congestion Games
    Caragiannis, Ioannis ; Kaklamanis, Christos ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Expressiveness of Generic Process Shape Types
    Jakubův, Jan ; Wells, J. B. ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Responsive Choice in Mobile Processes
    Gamboni, Maxime ; Ravara, António ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    A Java Inspired Semantics for Transactions in SOC
    Bocchi, Laura ; Tuosto, Emilio ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols
    Sassone, Vladimiro ; ElSalamouny, Ehab ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Toward a Game-Theoretic Model of Grid Systems
    Buscemi, Maria Grazia ; Montanari, Ugo ; et al.
    2010
    Online E-Book
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -