Treffer 1 – 12 von 12 für Suche 'Larsen, Kim Guldstrand 1957-', 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
    Recursively defined domains and their induction principles

    Recursively defined domains and their induction principles von Jensen, Finn V. 1945-, Larsen, Kim Guldstrand 1957-

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Context-dependent bisimulation between processes

    Context-dependent bisimulation between processes von Larsen, Kim Guldstrand 1957-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Tools and algorithms for the construction and analysis of systems 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, proceedings, part I

    Tools and algorithms for the construction and analysis of systems 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice o...

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


    Gespeichert in:
  4. 4
    Tools and algorithms for the construction and analysis of systems 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, proceedings, part II

    Tools and algorithms for the construction and analysis of systems 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice o...

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


    Gespeichert in:
  5. 5
    Dependable software engineering theories, tools, and applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings

    Dependable software engineering theories, tools, and applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… Larsen, Kim Guldstrand 1957- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Formal methods for industrial critical systems 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, proceedings

    Formal methods for industrial critical systems 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, proceedings

    Veröffentlicht 2019
    Weitere Verfasser: “… Larsen, Kim Guldstrand 1957- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Models, mindsets, meta the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday

    Models, mindsets, meta the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday

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


    Gespeichert in:
  8. 8
    Sustainable energy systems planning, integration and management

    Sustainable energy systems planning, integration and management

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


    Gespeichert in:
  9. 9
    Dependable software engineering: Theories, tools, and applications Third international symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings

    Dependable software engineering: Theories, tools, and applications Third international symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… Larsen, Kim Guldstrand 1957- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Reachability problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings

    Reachability problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Larsen, Kim Guldstrand 1957- …”

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


    Gespeichert in:
  11. 11
    Formal methods for industrial critical systems 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings

    Formal methods for industrial critical systems 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings

    Veröffentlicht 2019
    Weitere Verfasser: “… Larsen, Kim Guldstrand 1957- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    42nd International Symposium on Mathematical Foundations of Computer Science

    42nd International Symposium on Mathematical Foundations of Computer Science

    Veröffentlicht 2017
    Weitere Verfasser: “… Larsen, Kim Guldstrand 1957- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: