Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

12 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Model checking of persistent Petri nets
    Eike Best ; Javier Esparza
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1991
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    General refinement and recursion for the Box calculus
    Eike Best ; Raymond Devillers ; Javier Esparza
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1992
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Model checking using net unfoldings
    Javier Esparza
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1992
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Shortest paths in reachability graphs
    Jörg Desel ; Javier Esparza
    Hildesheim: Univ. Heidelberg, Inst. für Informatik, 1992
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Reduction and synthesis of live and bounded free choice Petri nets
    Javier Esparza
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1991
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Minimal deadlocks in free choice nets
    J. Esparza ; E. Best ; M. Silva
    Hildesheim: Univ, 1989
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Synthesis rules for Petri nets, an how they lead to new results
    J. Esparza
    Hildesheim: Univ. Hildesheim, 1990
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Handles in Petri nets
    Javier Esparza ; Manuel Silva
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1991
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Operational semantics for the Petri box calculus
    Maciej Koutny ; Javier Esparza ; Eike Best
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1993
    Monographie, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    A polynomial time algorithm to solve the covering problem for 1-bounded conflict free Petri nets
    Javier Esparza
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1991
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    The asynchronous committee meeting problem
    Javier Esparza ; Bernhard von Stengel
    Hildesheim: Univ. Hildesheim, Inst. für Mathematik, 1993
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    A polynomial time algorithm to decide liveness of bounded free choice nets
    Javier Esparza ; Manuel Silva
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1990
    Monographie, Gedruckte Ressource

Artikel & mehr

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