Treffer 1 – 16 von 16 für Suche 'Nielson, Flemming', Suchdauer: 0,10s 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
    Two-level functional languages

    Two-level functional languages von Nielson, Flemming 1955-

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


    Gespeichert in:
  6. 6
    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:
  7. 7
    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:
  8. 8
    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:
  9. 9
    Semantics with applications

    Semantics with applications von Riis Nielson, Hanne, Nielson, Flemming

    Veröffentlicht 1992
    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 2010
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    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:
  12. 12
    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:
  13. 13
    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:
  14. 14
    Two-level functional languages

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Principles of security and trust 8th international conference, POST 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings

    Principles of security and trust 8th international conference, POST 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cz...

    Veröffentlicht 2019
    Weitere Verfasser: “… Nielson, Flemming 1955- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  16. 16
    Principles of security and trust 8th international conference, POST 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prag, Czech Republic, April 6-11, 2019 : proceedings

    Principles of security and trust 8th international conference, POST 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prag, Czech...

    Veröffentlicht 2019
    Weitere Verfasser: “… Nielson, Flemming 1955- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: