Treffer 1 – 11 von 11 für Suche 'Grosu, Radu', Suchdauer: 0,08s 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
    A denotational model for mobile many-to-many data-flow networks

    A denotational model for mobile many-to-many data-flow networks von Grosu, Radu, Stølen, Ketil

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A formal foundation for concurrent object oriented programming

    A formal foundation for concurrent object oriented programming von Grosu, Radu

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The specification language SPECTRUM core language report V1.0

    The specification language SPECTRUM core language report V1.0 von Grosu, Radu, Nazareth, Dieter

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    The logical framework of SPECTRUM

    The logical framework of SPECTRUM von Grosu, Radu, Regensburger, Franz

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A formal foundation for concurrent object oriented programming

    A formal foundation for concurrent object oriented programming von Grosu, Radu

    Veröffentlicht 1994
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Modular and visual specification of hybrid systems an introdcution to hyCharts

    Modular and visual specification of hybrid systems an introdcution to hyCharts von Grosu, Radu, Stauner, Thomas 1971-

    Veröffentlicht 1998
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Enhancing the SYSLAB system model with state

    Enhancing the SYSLAB system model with state von Grosu, Radu, Klein, Cornel, Rumpe, Bernhard 1967-

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Concurrent timed port automata

    Concurrent timed port automata von Grosu, Radu, Rumpe, Bernhard 1967-

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A denotational model for mobile point-to-point dataflow networks

    A denotational model for mobile point-to-point dataflow networks von Grosu, Radu, Stølen, Ketil

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    The logic framework of SPECTRUM

    The logic framework of SPECTRUM von Grosu, Radu, Regensburger, Franz

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

    From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: