Zhang - Böcker
Visar alla böcker från författaren Zhang.
3 produkter
3 produkter
Del 11427 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Häftad, Engelska, 2019
709 kr
Skickas inom 10-15 vardagar
Del 11428 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Häftad, Engelska, 2019
709 kr
Skickas inom 10-15 vardagar
Del 9548 - Lecture Notes in Computer Science
Mathematical and Engineering Methods in Computer Science
10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
Häftad, Engelska, 2016
1 369 kr
Skickas inom 10-15 vardagar