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
Gratuit- Langue
- Anglais
- Parution
- 2018
- Éditeur
- Springer International Publishing
- Pages
- 703
- ISBN
- 9783319961453
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.
Ouverture de la liseuse…
Aucun avis pour l’instant. À toi d’ouvrir le bal !
Les lecteurs ont aussi aimé
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, Tom Phoenix, brian d foy
À 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