Jun Pang – författare
Visar alla böcker från författaren Jun Pang. Handla med fri frakt och snabb leverans.
11 produkter
Logics for New-Generation AI. Fourth International Workshop
15-16 June 2024, Hangzhou
Av Beishui Liao, Jun Pang m. fl.
Häftad, 2024
222 kr
Lägg i varukorg
Dependable Software Engineering. Theories, Tools, and Applications
6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
Av Jun Pang, Lijun Zhang
Häftad, 2020
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest …
Dependable Software Engineering. Theories, Tools, and Applications
6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
Av Lijun Zhang, Jun Pang
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest …
Computational Methods in Systems Biology
21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, Proceedings
Häftad, 2023
716 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Computational Methods in Systems Biology, CMSB 2023, held in Luxembourg City, Luxembourg, during September 13–15, 2023.The 14 full papers and 3 tool papers presented in this book were carefully reviewed and …
Computational Methods in Systems Biology
21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, Proceedings
E-bok, 2023
897 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Computational Methods in Systems Biology, CMSB 2023, held in Luxembourg City, Luxembourg, during September 13–15, 2023. The 14 full papers and 3 tool papers presented in this book were carefully reviewed and …
Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Av Stephan Merz, Jun Pang
Häftad, 2014
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide …
Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Av Jun Pang, Stephan Merz
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide …
Multi-disciplinary Trends in Artificial Intelligence
17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part I
Av Chattrakul Sombattheera, Paul Weng m. fl.
Häftad, 2025
906 kr
Lägg i varukorg
The two-volume set LNAI 15431 and 15432 constitutes the refereed proceedings of the 17th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2024, held in Pattaya, Thailand, during November 11–15, 2024.The 68 full papers presented in these proceedings were …
Multi-disciplinary Trends in Artificial Intelligence
17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part I
E-bok, 2025
1175 kr
Lägg i varukorg
The two-volume set LNAI 15431 and 15432 constitutes the refereed proceedings of the 17th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2024, held in Pattaya, Thailand, during November 11–15, 2024. The 68 full papers presented in these proceedings were …
Multi-disciplinary Trends in Artificial Intelligence
17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part II
Av Chattrakul Sombattheera, Paul Weng m. fl.
Häftad, 2025
906 kr
Lägg i varukorg
The two-volume set LNAI 15431 and 15432 constitutes the refereed proceedings of the 17th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2024, held in Pattaya, Thailand, during November 11–15, 2024.The 68 full papers presented in these proceedings were …
Multi-disciplinary Trends in Artificial Intelligence
17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part II
E-bok, 2025
1175 kr
Lägg i varukorg
The two-volume set LNAI 15431 and 15432 constitutes the refereed proceedings of the 17th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2024, held in Pattaya, Thailand, during November 11–15, 2024. The 68 full papers presented in these proceedings were …
