Treffer 1 – 16 von 16 für Suche 'Nielson, Hanne Riis 1954-', Suchdauer: 0,09s 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 an appetizer

    Formal methods an appetizer von Nielson, Flemming 1955-, Nielson, Hanne Riis 1954-

    Veröffentlicht 2019
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Formal methods an appetizer

    Formal methods an appetizer von Nielson, Flemming 1955-, Nielson, Hanne Riis 1954-

    Veröffentlicht 2019
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Semantics with applications: an appetizer

    Semantics with applications: an appetizer von Nielson, Hanne Riis 1954-, Nielson, Flemming

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


    Gespeichert in:
  4. 4
    Principles of program analysis

    Principles of program analysis von Nielson, Flemming 1955-, Nielson, Hanne Riis 1954-, Hankin, Chris

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


    Gespeichert in:
  5. 5
    Semantics with applications: an appetizer

    Semantics with applications: an appetizer von Nielson, Hanne Riis 1954-, Nielson, Flemming

    Veröffentlicht 2007
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Semantics with applications a formal introduction

    Semantics with applications a formal introduction von Nielson, Hanne Riis 1954-, Nielson, Flemming

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Semantics with applications a formal introduction

    Semantics with applications a formal introduction von Nielson, Hanne Riis 1954-, Nielson, Flemming

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Principles of program analysis

    Principles of program analysis von Nielson, Flemming, Nielson, Hanne Riis 1954-, Hankin, Chris

    Veröffentlicht 2010
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Principles of program analysis

    Principles of program analysis von Nielson, Flemming, Nielson, Hanne Riis 1954-, Hankin, Chris

    Veröffentlicht 2005
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Principles of program analysis

    Principles of program analysis von Nielson, Flemming, Nielson, Hanne Riis 1954-, Hankin, Chris

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Semantics with applications a formal introduction

    Semantics with applications a formal introduction von Nielson, Hanne Riis 1954-, Nielson, Flemming

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Two-level functional languages

    Two-level functional languages von Nielson, Flemming, Nielson, Hanne Riis 1954-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

    Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing...

    Veröffentlicht 2019
    Weitere Verfasser: “… Nielson, Hanne Riis 1954- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  14. 14
    Static analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings

    Static analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings

    Veröffentlicht 2007
    Weitere Verfasser: “… Nielson, Hanne Riis 1954- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Static analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings

    Static analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings

    Veröffentlicht 2007
    Weitere Verfasser: “… Nielson, Hanne Riis 1954- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Coordination models and languages 21st IFIP WG 6.1 international conference, COORDINATION 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21 : proceedings

    Coordination models and languages 21st IFIP WG 6.1 international conference, COORDINATION 2019, held as part of the 14th international federated conference on distributed computing...

    Veröffentlicht 2019
    Weitere Verfasser: “… Nielson, Hanne Riis 1954- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: