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

26 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Notations and terminology on Petri Net theory
    Eike Best ; César Fernández
    Sankt Augustin [u.a.]: GMD, 1986
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Relational semantics revisited
    Eike Best ; Kerstin M. Richter
    Oldenburg: Carl-v.-Ossietzky-Univ., Fachbereich Informatik, 1999
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Model checking of persistent Petri nets
    Eike Best ; Javier Esparza
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1991
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Coloured nets with curry
    Eike Best ; Thomas Thielke
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1996
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Generalised composition operations for high level Petri nets
    Eike Best ; Alexander Lavrov
    Oldenburg: Carl-v.-Ossietzky-Univ., Fachbereich Informatik, 1999
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Recursion and Petri nets
    Eike Best, Raymond Devillers and Maciej Koutny
    Oldenburg: Carl-v.-Ossietzky-Univ., Fachbereich Informatik, 1999
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    The box algebra = Petri nets + process expressions
    Eike Best, Raymond Devillers and Maciej Koutny
    Oldenburg: Carl-v.-Ossietzky-Univ., Fachbereich Informatik, 1999
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Reducing k-safe Petri nets to pomset equivalent 1-save Petri nets
    Eike Best und Harro Wimmel
    Oldenburg: Carl-v.-Ossietzky-Univ., Fachbereich Informatik, 1999
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Consistent relational and predicate transformer semantics of a sequential deterministic language supporting exception handling
    Flaviu Cristian ; Eike Best
    St. Augustin: Ges. für Mathematik und Datenverarbeitung Bonn, 1983
    Monographie, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Compositional process semantics of Petri boxes
    Eike Best ; Hans-Günther Linde-Göers
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1993
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Partial order behaviour and structure of Petri nets
    Eike Best ; Jörg Desel
    Sankt Augustin: Ges. für Mathematik u. Datenverarbeitung, 1989
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    A memory module specification using composable high-level Petri nets
    Eike Best
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1996
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Operational and denotational semantics for the box algebra
    Eike Best ; Maciej Koutny
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1995
    Monographie, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    The box calculus: a new causal algebra with multi-label communication
    Eike Best ; Raymond Devillers and Jon G. Hall
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1992
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Structure and behaviour of concurrent systems: selected results of the Esprit Basic Research Action ; no. 3148: D-e-M-o-N (Design Methods on Nets)
    Eike Best
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1990
    Monographie, Gedruckte Ressource
  16. Detailansicht für Treffer 16 ö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
  17. Detailansicht für Treffer 17 öffnen
    B(PN) 2 - a basic Petri net programming notation
    Eike Best ; Richard Pinder Hopkins
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1992
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    A refined view of the box algebra
    Best, Eike ; Koutny, Maciej
    Hildesheim: Univ. Hildesheim, Inst. für Mathematik, 1995
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Minimal deadlocks in free choice nets
    J. Esparza ; E. Best ; M. Silva
    Hildesheim: Univ, 1989
    Monographie, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Comparing logical and behavioural equivalences for event structures
    Irina Virbitskaite ; Anzhelika Votintseva ; Eike Best
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1996
    Monographie, Gedruckte Ressource

Artikel & mehr

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