مؤلف: Laura Kovacs

الدعم

4 كتب إلكترونية بواسطة Laura Kovacs

Laura Kovacs & Karl Meinke: Tests and Proofs
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and …
EPUB
الإنجليزية
DRM
€57.99
Jasmin Blanchette & Laura Kovacs: Automated Reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full researc …
EPUB
الإنجليزية
DRM
€3.86
Andrea Kohlhase & Laura Kovacs: Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montreal, Quebec, Canada, during August 5-9, 2024. The 21 f …
EPUB
الإنجليزية
DRM
€127.99
Laura Kovacs & Ana Sokolova: Reachability Problems
This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25-27, 2024.The 13 full papers incl …
EPUB
الإنجليزية
DRM
€64.20