Treffer 1 – 15 von 15 für Suche 'Aceto, Luca', Suchdauer: 0,06s 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
    Proceedings of the 35th Computational Complexity Conference

    Proceedings of the 35th Computational Complexity Conference von Aceto, Luca

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


    Gespeichert in:
  2. 2
    A complete equational axiomatization for MPA with string iteration

    A complete equational axiomatization for MPA with string iteration von Aceto, Luca

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Action refinement in process algebras

    Action refinement in process algebras von Aceto, Luca

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Reactive systems modelling, specification and verification

    Reactive systems modelling, specification and verification von Aceto, Luca, Anna Ingólfsdóttir 1952-, Guldstrand Larsen, Kim, Srba, Jiří

    Veröffentlicht 2007
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Reactive systems modelling, specification and verification

    Reactive systems modelling, specification and verification von Aceto, Luca

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


    Gespeichert in:
  6. 6
    Action refinement in process algebras

    Action refinement in process algebras von Aceto, Luca

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Action refinement in process algebras

    Action refinement in process algebras von Aceto, Luca

    Veröffentlicht 1992
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Proceedings of the 34th Computational Complexity Conference

    Proceedings of the 34th Computational Complexity Conference von Aceto, Luca

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


    Gespeichert in:
  9. 9
    Turning SOS rules into equations

    Turning SOS rules into equations von Aceto, Luca, Bloom, Bard, Vaandrager, Frits W.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Turning SOS rules into equations

    Turning SOS rules into equations von Aceto, Luca

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Models, algorithms, logics and tools essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday

    Models, algorithms, logics and tools essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday

    Veröffentlicht 2017
    Weitere Verfasser: “… Aceto, Luca …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  12. 12
    Foundations of software science and computation structures 9th international conference ; proceedings

    Foundations of software science and computation structures 9th international conference ; proceedings

    Veröffentlicht 2006
    Weitere Verfasser: “… Aceto, Luca …”
    Beschreibung
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Models, algorithms, logics and tools essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday

    Models, algorithms, logics and tools essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday

    Veröffentlicht 2017
    Weitere Verfasser: “… Aceto, Luca …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Foundations of software science and computation structures 9th international conference ; proceedings

    Foundations of software science and computation structures 9th international conference ; proceedings

    Veröffentlicht 2006
    Weitere Verfasser: “… Aceto, Luca …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  15. 15
    26th International Conference on Concurrency Theory (CONCUR 2015) CONCUR’15, September 1–4, 2015, Madrid, Spain

    26th International Conference on Concurrency Theory (CONCUR 2015) CONCUR’15, September 1–4, 2015, Madrid, Spain

    Veröffentlicht 2015
    Weitere Verfasser: “… Aceto, Luca …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: