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: Ke Jiang 4 träffar
Titel | Författare | År | Språk | |
---|---|---|---|---|
1 | Security-driven design of real-time embedded systems / by Ke Jiang | Ke Jiang | uuuu-uuuu | Okänt |
2-3 | Security-Driven Design of Real-Time Embedded Systems (flera utgåvor) | Ke Jiang | 2016 | Engelska |
4 | Using SPIN to model check concurrent algorithms, using a translation from C to Promela | MCC 2009 Ke Jiang | 2009 | 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.