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 valoraciones
- Idioma
- Inglés
- Publicación
- 2020
- Editorial
- Creative Media Partners, LLC
- Páginas
- 554
- ISBN
- 9781013271014
Edición original
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 IIPublicado originalmente en 2018 Inglés Springer
Otras ediciones (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
Todavía no hay resumen de esta edición.
Todavía no hay reseñas. ¿Escribes la primera?
A otros lectores también les gustó
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
The Master Algorithm How the Quest for the Ultimate Learning Machine Will Remake Our World
Pedro Domingos
Para leer gratis
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