Treffer 1 – 6 von 6 für Suche 'Nielson, Flemming 1955-', 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.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Formal methods an appetizer von Nielson, Flemming 1955-, Nielson, Hanne Riis 1954-
Veröffentlicht 2019Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch E-Book -
2
Formal methods an appetizer von Nielson, Flemming 1955-, Nielson, Hanne Riis 1954-
Veröffentlicht 2019Signatur: Wird geladen …
Standort: Wird geladen … -
3
Principles of program analysis von Nielson, Flemming 1955-, Nielson, Hanne Riis 1954-, Hankin, Chris
Veröffentlicht 2005Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
4
Two-level functional languages von Nielson, Flemming 1955-
Veröffentlicht 1992Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
5
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 2019Weitere Verfasser: “… Nielson, Flemming 1955- …”
Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch Tagungsbericht E-Book -
6
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 2019Weitere Verfasser: “… Nielson, Flemming 1955- …”
Signatur: Wird geladen …
Standort: Wird geladen …