Variable Neighborhood Search 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25–28, 2022, Revised Selected Papers
Angelo Sifaleras, Said Salhi, Jack Brimberg
Computer Aided Verification
Gratuit
- Langue
- Anglais
- Parution
- 2020
- Éditeur
- Springer International Publishing
- Pages
- 669
- ISBN
- 9783030532888
Édition originale
Computer Aided VerificationParu pour la première fois en 2020 Anglais Springer International Publishing
Autres éditions (3)
Pas encore de résumé pour cette édition.
Ouverture de la liseuse…
Aucun avis pour l’instant. À toi d’ouvrir le bal !
Les lecteurs ont aussi aimé
New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers
Yoichi Motomura, Alastair Butler, Daisuke Bekki
New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers
Kazuhiro Kojima, Maki Sakamoto, Koji Mineshima, Ken Satoh
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Rayna Dimitrova, Ori Lahav, Sebastian Wolff
À lire gratuitement
Computer Aided Verification
Hana Chockler
Foundations of Software Science and Computation Structures
FOSSACS Uppsala, ETAPS Uppsala
Computer Aided Verification
Isil Dillig
Computer and Information Sciences
Tadeusz CzachoÌrski