Del 11180 - Lecture Notes in Computer Science
Symposium on Real-Time and Hybrid Systems
Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Häftad, Engelska, 2018
749 kr
Skickas inom 10-15 vardagar
Naijun Zhan – författare
Visar alla böcker från författaren Naijun Zhan.
6 produkter
6 produkter
- Del 13047 - Lecture Notes in Computer Science
Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Häftad, Engelska, 20211 629 kr
Skickas inom 10-15 vardagar
- Inbunden, Engelska, 2016
1 649 kr
Skickas inom 10-15 vardagar
- Del 9984 - Lecture Notes in Computer Science
Dependable Software Engineering: Theories, Tools, and Applications
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Häftad, Engelska, 2016749 kr
Skickas inom 10-15 vardagar
- Häftad, Engelska, 2018
1 649 kr
Skickas inom 10-15 vardagar
- Del 16229 - Lecture Notes in Computer Science
Formal Methods and Software Engineering
26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings
Häftad, Engelska, 20251 099 kr
Skickas inom 5-8 vardagar