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: Jasmin Christian Blanchette
4 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
|
|
2016 |
Engelska |
| 2 |
Interactive Theorem Proving
|
|
2016 |
Okänt |
| 3 |
Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
|
Jasmin Christian Blanchette
|
2015 |
Okänt |
| 4 |
Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
|
|
2015 |
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.