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 Blanchette
13 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
C++ Gui Progrm W/Qt4safi
|
Jasmin Author Blanchette
|
uuuu-uuuu |
Okänt |
| 2 |
C++ GUI programming with Qt 3
|
Jasmin Blanchette
|
cop. 2004 |
Engelska |
| 3-4 |
C++ GUI programming with Qt 4
(flera utgåvor)
|
Jasmin Blanchette
|
cop. 2008 |
Engelska |
| 5 |
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 |
| 6 |
C++ Gui Progrm W/Qt4safi
|
Jasmin Blanchette
|
2008 |
Okänt |
| 7 |
Automated Reasoning
|
Jasmin Blanchette
|
2022 |
Engelska |
| 8 |
Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
|
|
2016 |
Engelska |
| 9 |
Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
|
|
2015 |
Engelska |
| 10 |
C++ GUI programming with Qt3
|
Jasmin Blanchette
|
2004 |
Okänt |
| 11 |
C++ GUI programming with Qt 4
|
Jasmin Author Blanchette
|
uuuu-uuuu |
Okänt |
| 12 |
"Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings"
|
Jasmin Blanchette
|
2022 |
Okänt |
| 13 |
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
|
|
2022 |
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.