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: Ranjit. Jhala
5 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Compiler Construction
|
Koen De Bosschere
|
2013 |
Okänt |
| 2 |
Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
|
Ranjit. Jhala
|
2011 |
Engelska |
| 3 |
Programming Languages and Systems
|
Ranjit Jhala
|
2012 |
Okänt |
| 4 |
Compiler Construction - 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
|
Ranjit. Jhala
|
2013 |
Engelska |
| 5 |
Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
|
Ranjit. Jhala
|
2012 |
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.