Meng Sun – författare
Visar alla böcker från författaren Meng Sun. Handla med fri frakt och snabb leverans.
11 produkter
Formal Methods and Software Engineering
20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Häftad, 2018
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 …
Formal Methods and Software Engineering
20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
E-bok, 2018
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 …
Machine Learning and Principles and Practice of Knowledge Discovery in Databases
International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part II
Av Michael Kamp, Irena Koprinska m. fl.
Häftad, 2022
1014 kr
Lägg i varukorg
This two-volume set constitutes the refereed proceedings of the workshops which complemented the 21th Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD, held in September 2021. Due to the COVID-19 pandemic the conference and workshops were held online. …
Machine Learning and Principles and Practice of Knowledge Discovery in Databases
International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I
Av Michael Kamp, Irena Koprinska m. fl.
Häftad, 2022
1591 kr
Lägg i varukorg
This two-volume set constitutes the refereed proceedings of the workshops which complemented the 21th Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD, held in September 2021. Due to the COVID-19 pandemic the conference and workshops were held online. …
Theoretical Aspects of Software Engineering
17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings
Häftad, 2023
846 kr
Lägg i varukorg
This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover …
Theoretical Aspects of Software Engineering
17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings
E-bok, 2023
1067 kr
Lägg i varukorg
This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023. The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover …
Formal Aspects of Component Software
20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings
Häftad, 2024
620 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 …
Formal Aspects of Component Software
20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings
E-bok, 2024
839 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 …
Formal Methods and Software Engineering
25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings
Av Kazuhiro Ogata, Dominique Mery m. fl.
Häftad, 2024
846 kr
Lägg i varukorg
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range …
Formal Methods and Software Engineering
25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings
Av Shaoying Liu, Meng Sun m. fl.
E-bok, 2024
1056 kr
Lägg i varukorg
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range …
