Treffer 1 – 9 von 9 für Suche 'Ábrahám, Erika 1970-', 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
    Quantitative evaluation of systems 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, proceedings

    Quantitative evaluation of systems 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Ábrahám, Erika 1970- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Quantitative evaluation of systems 19th international conference, QEST 2022, Warsaw, Poland, September 12-16, 2022 : proceedings

    Quantitative evaluation of systems 19th international conference, QEST 2022, Warsaw, Poland, September 12-16, 2022 : proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Ábrahám, Erika 1970- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Theory and practice of formal methods essays dedicated to Frank de Boer on the occasion of his 60th birthday

    Theory and practice of formal methods essays dedicated to Frank de Boer on the occasion of his 60th birthday

    Veröffentlicht 2016
    Weitere Verfasser: “… Ábrahám, Erika 1970- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Theory and practice of formal methods Essays dedicated to Frank de Boer on the occasion of his 60th birthday

    Theory and practice of formal methods Essays dedicated to Frank de Boer on the occasion of his 60th birthday

    Veröffentlicht 2016
    Weitere Verfasser: “… Ábrahám, Erika 1970- …”

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


    Gespeichert in:
  5. 5
    Integrated formal methods 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings

    Integrated formal methods 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Ábrahám, Erika 1970- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

    Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference...

    Veröffentlicht 2014
    Weitere Verfasser: “… Ábrahám, Erika 1970- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Integrated formal methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016: proceedings

    Integrated formal methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016: proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Ábrahám, Erika 1970- …”

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


    Gespeichert in:
  8. 8
    Formal techniques for distributed objects, components, and systems 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 ; proceedings

    Formal techniques for distributed objects, components, and systems 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference...

    Veröffentlicht 2014
    Weitere Verfasser: “… Ábrahám, Erika 1970- …”
    Beschreibung
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Fundamentals of software engineering 10th international conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers

    Fundamentals of software engineering 10th international conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers

    Veröffentlicht 2023
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: