Lijun Zhang – författare
831 kr
Skickas inom 5-8 vardagar
323 kr
Skickas inom 5-8 vardagar
899 kr
Skickas inom 10-15 vardagar
383 kr
Skickas inom 10-15 vardagar
1 144 kr
Skickas inom 5-8 vardagar
715 kr
Skickas inom 3-6 vardagar
771 kr
Skickas inom 5-8 vardagar
715 kr
Skickas inom 3-6 vardagar
778 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
556 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
556 kr
Skickas inom 10-15 vardagar
1 073 kr
Skickas inom 10-15 vardagar
1 073 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
556 kr
Skickas inom 10-15 vardagar
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
556 kr
Skickas inom 10-15 vardagar
1 105 kr
Skickas inom 10-15 vardagar
1 105 kr
Skickas inom 10-15 vardagar