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: Naijun Zhan
7 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
|
|
2016 |
Engelska |
| 2 |
Dependable Software Engineering: Theories, Tools, and Applications
|
|
2016 |
Okänt |
| 3 |
Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
|
|
2018 |
Engelska |
| 4 |
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
|
|
2018 |
Okänt |
| 5 |
Formal Verification of Simulink/Stateflow Diagrams electronic resource : A Deductive Approach / by Naijun Zhan, Shuling Wang, Hengjun Zhao
|
Naijun. author. Zhan
|
uuuu-uuuu |
Okänt |
| 6 |
Formal Verification of Simulink/Stateflow Diagrams - A Deductive Approach
|
Naijun. Zhan
|
2017 |
Engelska |
| 7 |
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
|
Naijun Zhan
|
2017 |
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.