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 1 – 20 von 32 für Suche 'Valk, Rüdiger', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Rechensysteme Grundlagen d. Modellbildung

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

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  2. 2
    Petri Nets for Systems Engineering A Guide to Modeling, Verification, and Applications

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

    Veröffentlicht 2003
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Relating different semantics für object petri nets formal proofs and examples

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

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Extending S-invariants for coloured and selfmodifying nets

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Topologische Wertmengen, topologische Automaten, Zustandsendliche stetige Abbildungen

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

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Petri nets for systems engineering a guide to modeling, verfication, and applications ; with 9 tables

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

    Veröffentlicht 2003
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    On processes of object Petri nets

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

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    The residue of vector sets with applications to decidability problems in Petri nets

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

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Self-modifying nets

    Self-modifying nets von Valk, Rüdiger

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Realisierung allgemeiner Systeme

    Realisierung allgemeiner Systeme von Valk, Rüdiger

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Sozionik - Modellierung soziologischer Theorie

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

    Veröffentlicht 2003
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Sozionik Modellierung soziologischer Theorie

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

    Veröffentlicht 2003
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Object Oriented Petri Nets in Business Process Modeling

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

    Veröffentlicht 2000
    Buchkapitel Fernleihe Bestellen


    Gespeichert in:
  14. 14
    GI — 18. Jahrestagung Vernetzte und komplexe Informatik-Systeme Hamburg 17.–19. Oktober 1988 Proceedings

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

    Veröffentlicht 1988

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  15. 15
    GI — 18. Jahrestagung II Vernetzte und komplexe Informatik-Systeme Hamburg, 17.–19. Oktober 1988 Proceedings

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

    Veröffentlicht 1988

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Modelling of task flow in systems of functional units

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

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Realisierungen allgemeiner Systeme

    Realisierungen allgemeiner Systeme von Valk, Rüdiger

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Realisierung allgemeiner Systeme

    Realisierung allgemeiner Systeme von Valk, Rüdiger

    Veröffentlicht 1976
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Realisierung allgemeiner Systeme

    Realisierung allgemeiner Systeme von Valk, Rüdiger

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Topologische Wortmengen, topologische Automaten, Zustandsendliche, stetige Abbildungen

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

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: