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
10 / 10 2 notes
- Langue
- Anglais
- Parution
- 2020
- Éditeur
- Creative Media Partners, LLC
- Pages
- 554
- ISBN
- 9781013271014
Thèmes
Édition originale
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part IIParu pour la première fois en 2018 Anglais Springer
Autres éditions (4)
- Computer Aided Verification
- Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
- Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
- Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Pas encore de résumé pour cette édition.
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
Daisuke Bekki, Takashi Onoda, Eric Mc Cready
New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers
Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki
The Master Algorithm How the Quest for the Ultimate Learning Machine Will Remake Our World
Pedro Domingos
À lire gratuitement
Tools and Algorithms for the Construction and Analysis of Systems
Tomás Vojnar
Fundamental Approaches to Software Engineering
Alessandra Russo
Foundations of Software Science and Computation Structures
FOSSACS Uppsala, ETAPS Uppsala
Computer Aided Verification
Isil Dillig