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: Flemming Nielson 17 träffar

Titel Författare År Språk
1 Theoretical aspects of semantics-based language implementation - Teoretiske aspekter af semantikbaseret sprog-implementation Flemming Nielson 1990 Engelska
2-4 Semantics with applications - a formal application (flera utgåvor) Hanne Riis Nielson cop. 1992 Engelska
5 Two-level functional languages Flemming Nielson 1992 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 Okänt
9 Semantics with applications: an appetizer Hanne Riis Nielson 2007 Engelska
10 Trustworthy Global Computing - 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers Christos. Kaklamanis 2009 Engelska
11 Two-Level Functional Languages 1992 Engelska
12 Trustworthy Global Computing Christos Kaklamanis 2009 Okänt
13 ML with Concurrency Flemming Nielson 1997 Okänt
14-15 Formal Methods electronic resource : An Appetizer / by Flemming Nielson, Hanne Riis Nielson (flera utgåvor) Flemming. author. Nielson uuuu-uuuu Okänt
16 Two-level functional languages / Flemming Nielson, Hanne Riis Nielson. electronic resource Flemming Nielson uuuu-uuuu Okänt
17 Principles of Program Analysis Flemming Nielson 1999 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.