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: C.R. Ramakrishnan 6 träffar

Titel Författare År Språk
1-2 Practical aspects of declarative languages - 4th international symposium, PADL 2002, Portland, OR, USA, January 19 - 20, 2002 : proceedings (flera utgåvor) cop. 2002 Engelska
3 Tools and Algorithms for the Construction and Analysis of Systems - 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Ma C. R. Ramakrishnan 2008 Engelska
4 Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings Ezio. Bartocci 2013 Engelska
5 Model Checking Software Ezio Bartocci 2013 Okänt
6 Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings C.R. Ramakrishnan 2008 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.