Treffer 1 – 17 von 17 für Suche 'Heiner, Monika', Suchdauer: 0,05s 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
    Alternative splicing regulation in the human system mechanistic studies of hnRNP L and CA-rich elements

    Alternative splicing regulation in the human system mechanistic studies of hnRNP L and CA-rich elements von Heiner, Monika

    Veröffentlicht 2008
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Worst-case analysis of concurrent systems with duration interval petri nets

    Worst-case analysis of concurrent systems with duration interval petri nets von Popova-Zeugmann, Louchka Gueorguieva, Heiner, Monika

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Snoopy Computational Steering Framework User Manual Version 1.0

    Snoopy Computational Steering Framework User Manual Version 1.0 von Herajy, Mostafa 1980-, Heiner, Monika

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


    Gespeichert in:
  4. 4
    Hybrid representation and simulation of stiff biochemical network through generalised hybrid Petri nets

    Hybrid representation and simulation of stiff biochemical network through generalised hybrid Petri nets von Herajy, Mostafa 1980-, Heiner, Monika

    Veröffentlicht 2011
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A safety-oriented technical language for the requirement specification in control engineering

    A safety-oriented technical language for the requirement specification in control engineering von Heiner, Monika, Mertke, Thomas, Deussen, Peter H. 1962-

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Petri-Netz-Semantik für die SPS-Anwenderprogrammiersprache Anweisungsliste

    Petri-Netz-Semantik für die SPS-Anwenderprogrammiersprache Anweisungsliste von Heiner, Monika, Menzel, Thomas

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Worst-case analysis of concurrent systems with duration interval petri nets

    Worst-case analysis of concurrent systems with duration interval petri nets von Heiner, Monika, Popova-Zeugmann, Louchka 1955-

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    On the application of Markovian Object Nets to integrated qualitative and quantitative software analysis

    On the application of Markovian Object Nets to integrated qualitative and quantitative software analysis von Wikarski, Dietmar, Heiner, Monika

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    An approach to petri net based integration of qualitative and quantitative analysis of parallel systems

    An approach to petri net based integration of qualitative and quantitative analysis of parallel systems von Heiner, Monika, Wikarski, Dietmar

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Petri Net based software validation prospects and limitations

    Petri Net based software validation prospects and limitations von Heiner, Monika

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Petri net based verification of communication protocols specified by language means

    Petri net based verification of communication protocols specified by language means von Heiner, Monika

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    MARCIE manual an analysis tool for extended stochastic Petri nets

    MARCIE manual an analysis tool for extended stochastic Petri nets von Schwarick, Martin 1980-, Rohr, Christian, Heiner, Monika

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


    Gespeichert in:
  13. 13
    Petri nets in biology, chemistry, and medicine bibliography

    Petri nets in biology, chemistry, and medicine bibliography von Will, Jürgen, Heiner, Monika

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Petri net based qualitative analysis a case study

    Petri net based qualitative analysis a case study von Heiner, Monika, Deussen, Peter H. 1962-

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Ein Beitrag zur Deadlockanalyse auf der Grundlage einer sprachlich geführten Programmiermethodik

    Ein Beitrag zur Deadlockanalyse auf der Grundlage einer sprachlich geführten Programmiermethodik von Heiner, Monika

    Veröffentlicht 1981
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Foundations of formal reconstruction of biochemical networks

    Foundations of formal reconstruction of biochemical networks

    Veröffentlicht 2011
    Weitere Verfasser: “… Heiner, Monika …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Advances in computational methods in systems biology

    Advances in computational methods in systems biology

    Veröffentlicht 2015
    Weitere Verfasser:
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: