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
Gratis- Idioma
- Inglés
- Publicación
- 2018
- Editorial
- Springer International Publishing
- Páginas
- 703
- ISBN
- 9783319961453
Temas
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.
Abriendo el lector…
Todavía no hay reseñas. ¿Escribes la primera?
A otros lectores también les gustó
The Master Algorithm How the Quest for the Ultimate Learning Machine Will Remake Our World
Pedro Domingos
Head First Design Patterns A Brain-Friendly Guide
Eric Freeman, Elisabeth Robson, Kathy Sierra, Bert Bates, Elisabeth Freeman
Learning Perl
Randal L. Schwartz, brian d foy, Tom Phoenix
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