Lijun Zhang – författare
1 099 kr
Skickas inom 5-8 vardagar
429 kr
Skickas inom 5-8 vardagar
1 189 kr
Skickas inom 10-15 vardagar
509 kr
Skickas inom 10-15 vardagar
1 539 kr
Skickas inom 5-8 vardagar
959 kr
Skickas inom 3-6 vardagar
1 039 kr
Skickas inom 5-8 vardagar
959 kr
Skickas inom 3-6 vardagar
1 039 kr
Skickas inom 5-8 vardagar
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
729 kr
Skickas inom 10-15 vardagar
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
729 kr
Skickas inom 10-15 vardagar
1 399 kr
Skickas inom 10-15 vardagar
1 399 kr
Skickas inom 10-15 vardagar
Dependable Software Engineering. Theories, Tools, and Applications
6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
729 kr
Skickas inom 10-15 vardagar
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
729 kr
Skickas inom 10-15 vardagar
1 439 kr
Skickas inom 10-15 vardagar
1 439 kr
Skickas inom 10-15 vardagar