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: Iman Poernomo 6 träffar

Titel Författare År Språk
1 Component-Based Software Engineering Grace A. Lewis 2009 Okänt
2 Component-Based Software Engineering - 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings Grace A. Lewis 2009 Engelska
3 Adapting Proofs-as-programs: The Curry-Howard Protocol Iman Poernomo 2005 Okänt
4-5 Adapting proofs-as-programs - the Curry-Howard protocol (flera utgåvor) Iman Hafiz Poernomo c2005 Engelska
6 Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing Iman Hafiz Poernomo 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.