Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Hanne Riis Nielson 17 träffar

Titel Författare År Språk
1-3 Semantics with applications - a formal application (flera utgåvor) Hanne Riis Nielson cop. 1992 Engelska
4 Two-level functional languages Flemming Nielson 1992 Engelska
5 Programming languages and systems, ESOP '96 European Symposium on Programming 1996) Linköping : cop. 1996 Engelska
6-7 Principles of program analysis (flera utgåvor) Flemming Nielson cop. 1999 Engelska
8 Semantics with applications: an appetizer Hanne Riis Nielson 2007 Engelska
9 Transactions on Computational Systems Biology VII electronic resource Anna. Ingolfsdottir 2006 Engelska
10 Static Analysis - 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings Hanne Riis Nielson 2007 Engelska
11 Two-Level Functional Languages 1992 Engelska
12 Semantics with Applications: An Appetizer Hanne Riis Nielson 2007 Okänt
13 Transactions on Computational Systems Biology VII Corrado Priami 2006 Okänt
14 Secure IT Systems - 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings Hanne. Riis Nielson 2013 Engelska
15 Programming Languages and Systems — ESOP '96 Hanne Riis Nielson uuuu-uuuu Okänt
16 Static Analysis Hanne Riis Nielson 2007 Okänt
17 Semantics with Applications: An Appetizer electronic resource / by Hanne Riis Nielson, Flemming Nielson Hanne. author. Riis Nielson uuuu-uuuu Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.