Anthony W. Lin – författare
Visar alla böcker från författaren Anthony W. Lin. Handla med fri frakt och snabb leverans.
5 produkter
Reachability Problems
16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings
Av Anthony W. Lin, Georg Zetzsche m. fl.
Häftad, 2022
625 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included …
Reachability Problems
16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings
Av Igor Potapov, Georg Zetzsche m. fl.
E-bok, 2022
839 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022. The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included …
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
Av Eva Darulova, Anthony W. Lin m. fl.
Häftad, 2026
457 kr
Lägg i varukorg
This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 …
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
Av Eva Darulova, Anthony W. Lin m. fl.
Häftad, 2026
457 kr
Lägg i varukorg
This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 …
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III
Av Eva Darulova, Anthony W. Lin m. fl.
Häftad, 2026
457 kr
Lägg i varukorg
This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 …
