نتایج جستجو
Cognitive Informatics and Soft Computing: Proceeding of CISC 2020 (Advances in Intelligent Systems and Computing, 1317)
Pradeep Kumar Mallick (editor), Akash Kumar Bhoi (editor), Gonçalo Marques (editor), Victor Hugo C. de Albuquerque (editor), 2021
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
Constantin Enea (editor), Akash Lal (editor), 2023
