Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

33 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Design methods based on nets: DEMON ; edited progress report of the Esprit basic research action 3148
    Gesellschaft für Mathematik und Datenverarbeitung mbH. Eike Best (Hrsg.)
    Sankt Augustin, 1991
    Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Model checking of persistent Petri nets
    Eike Best ; Javier Esparza
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1991
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Characterisation of home states in free choice systems
    Eike Best ..
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1990
    Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 ö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
  5. Detailansicht für Treffer 5 ö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
  6. Detailansicht für Treffer 6 öffnen
    A refined view of the box algebra
    Best, Eike ; Koutny, Maciej
    Hildesheim: Univ. Hildesheim, Inst. für Mathematik, 1995
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    A class of composable high level Petri nets
    Best, Eike
    Hildesheim: Univ. Hildesheim, Inst. für Mathematik, 1995
    Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Minimal deadlocks in free choice nets
    J. Esparza ; E. Best ; M. Silva
    Hildesheim: Univ, 1989
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 9 ö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
  10. Detailansicht für Treffer 10 öffnen
    A memory module specification using composable high-level Petri nets
    Eike Best
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1996
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Operational and denotational semantics for the box algebra
    Eike Best ; Maciej Koutny
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1995
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 12 ö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
  13. Detailansicht für Treffer 13 öffnen
    First year results of the esprit basic research WG 6067 CALIBAN (Causal calculi based on nets)
    Eike Best (ed.)
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1993
    Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 ö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
  15. Detailansicht für Treffer 15 öffnen
    Partial order verification with PEP
    Eike Best
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1996
    Monographie, Gedruckte Ressource
  16. Detailansicht für Treffer 16 ö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
  17. Detailansicht für Treffer 17 öffnen
    Semantic independence
    Eike Best ; Christian Lengauer
    Sankt Augustin [u.a.], 1987
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Overview of the result of the ESPRIT basic research action 3148: DEMON, design methods based on nets
    Eike Best
    Hildesheim: Univ. Hildesheim, Inst. für Informatik, 1991
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Relational semantics revisited
    Eike Best ; Kerstin M. Richter
    Oldenburg: Carl-v.-Ossietzky-Univ., Fachbereich Informatik, 1999
    Monographie, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Coloured nets with curry
    Eike Best ; Thomas Thielke
    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 -