Suchergebnisse - Valk, Rüdiger

Rüdiger Valk

Rüdiger Valk (* 5. August 1945) ist ein deutscher Mathematiker; er war von 1976 bis 2010 als Professor für theoretische Informatik am Institut für Informatik (später Fachbereich Informatik) der Universität Hamburg tätig. Veröffentlicht in Wikipedia
Treffer filtern
  1. 1
    Buchumschlag

    Relating different semantics für object petri nets: formal proofs and examples
    von Valk, Rüdiger

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Rechensysteme: Grundlagen d. Modellbildung
    von Jessen, Eike 1933-2015, Valk, Rüdiger

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    GI — 18. Jahrestagung: Vernetzte und komplexe Informatik-Systeme Hamburg 17.–19. Oktober 1988 Proceedings
    von Valk, Rüdiger

    Veröffentlicht 1988
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    GI — 18. Jahrestagung II: Vernetzte und komplexe Informatik-Systeme Hamburg, 17.–19. Oktober 1988 Proceedings
    von Valk, Rüdiger

    Veröffentlicht 1988
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Topologische Wortmengen, topologische Automaten, Zustandsendliche, stetige Abbildungen
    von Valk, Rüdiger

    Veröffentlicht 1971
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Extending S-invariants for coloured and selfmodifying nets
    von Valk, Rüdiger

    Veröffentlicht 1993
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    On processes of object Petri nets
    von Valk, Rüdiger

    Veröffentlicht 1996
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    The residue of vector sets with applications to decidability problems in Petri nets
    von Valk, Rüdiger

    Veröffentlicht 1984
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Realisierung allgemeiner Systeme
    von Valk, Rüdiger

    Veröffentlicht 1976
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Sozionik - Modellierung soziologischer Theorie
    von Lüde, Rolf von 1946-, Moldt, Daniel, Valk, Rüdiger

    Veröffentlicht 2003
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Modelling of task flow in systems of functional units
    von Valk, Rüdiger

    Veröffentlicht 1987
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Realisierungen allgemeiner Systeme
    von Valk, Rüdiger

    Veröffentlicht 1976
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Topologische Wortmengen, topologische Automaten, Zustandsendliche, stetige Abbildungen
    von Valk, Rüdiger

    Veröffentlicht 1972
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
    von Girault, Claude, Valk, Rüdiger

    Veröffentlicht 2003
    Per Fernleihe bestellen
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

    Topologische Wertmengen, topologische Automaten, Zustandsendliche stetige Abbildungen
    von Valk, Rüdiger

    Veröffentlicht 1972
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Petri nets for systems engineering: a guide to modeling, verfication, and applications ; with 9 tables
    von Girault, Claude, Valk, Rüdiger

    Veröffentlicht 2003
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Self-modifying nets
    von Valk, Rüdiger

    Veröffentlicht 1977
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Sozionik: Modellierung soziologischer Theorie
    von Lüde, Rolf von 1946-, Moldt, Daniel, Valk, Rüdiger

    Veröffentlicht 2003
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Object Oriented Petri Nets in Business Process Modeling
    von Moldt, Daniel, Valk, Rüdiger

    Veröffentlicht 2000
    Per Fernleihe bestellen
    Buchkapitel


    Gespeichert in:
  20. 20
    Buchumschlag

    Realisierung allgemeiner Systeme
    von Valk, Rüdiger

    Veröffentlicht 1976
    Per Fernleihe bestellen
    Hochschulschrift/Dissertation Buch


    Gespeichert in:

Suchwerkzeuge: