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: Mario. Coppo 5 träffar

Titel Författare År Språk
1-2 Theoretical Computer Science - 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings (flera utgåvor) Mario. Coppo 2005 Engelska
3 Theoretical Computer Science: 9Th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : Proceedings (Lecture notes in computer science, 3701) Mario Coppo 2005 Okänt
4 Types for Proofs and Programs - International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers TYPES '95 TYPES '95 1996 Engelska
5 Types for Proofs and Programs TYPES '95 1996 Engelska

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.