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 489 kr
Skickas inom 5-8 vardagar
929 kr
Skickas inom 3-6 vardagar
999 kr
Skickas inom 5-8 vardagar
929 kr
Skickas inom 3-6 vardagar
1 009 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
739 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
739 kr
Skickas inom 10-15 vardagar
1 419 kr
Skickas inom 10-15 vardagar
1 419 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
739 kr
Skickas inom 10-15 vardagar
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
739 kr
Skickas inom 10-15 vardagar
1 459 kr
Skickas inom 10-15 vardagar
1 459 kr
Skickas inom 10-15 vardagar