Treffer 1 – 12 von 12 für Suche 'Duan, Zhenhua', 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
    Formal methods and software engineering 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings

    Formal methods and software engineering 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… Duan, Zhenhua …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Structured object-oriented formal language and method 11th international workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, revised selected papers

    Structured object-oriented formal language and method 11th international workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, revised selected papers

    Veröffentlicht 2023
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Computing and combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019 : proceedings

    Computing and combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019 : proceedings

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


    Gespeichert in:
  4. 4
    Structured object-oriented formal language and method 10th international workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, revised selected papers

    Structured object-oriented formal language and method 10th international workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, revised selected papers

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


    Gespeichert in:
  5. 5
    Structured object-oriented formal language and method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers

    Structured object-oriented formal language and method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers

    Veröffentlicht 2018
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Structured object-oriented formal language and method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers

    Structured object-oriented formal language and method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Structured object-oriented formal language and method 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers

    Structured object-oriented formal language and method 9th international workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, revised selected papers

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


    Gespeichert in:
  8. 8
    Structured object-oriented formal language and method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers

    Structured object-oriented formal language and method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers

    Veröffentlicht 2019
    Weitere Verfasser: “… Duan, Zhenhua …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Structured object-oriented formal language and method 8th international workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers

    Structured object-oriented formal language and method 8th international workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers

    Veröffentlicht 2019
    Weitere Verfasser: “… Duan, Zhenhua …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Formal methods and software engineering 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings

    Formal methods and software engineering 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… Duan, Zhenhua …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Structured object-oriented formal language and method 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers

    Structured object-oriented formal language and method 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers

    Veröffentlicht 2016
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Structured object-oriented formal language and method 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers

    Structured object-oriented formal language and method 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers

    Veröffentlicht 2016
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: