Showing results 711 to 720 of 25,217

# Title Type Medium First Author Package Platform Last Updated Status URL
711 "Verification, Model Checking, and Abstract Interpretation" Monograph -Empty- -Empty- Springer Nature - Springer Lecture Notes in Computer Science eBooks SpringerLink 2024-05-09 20:03 Deleted https://link.springer.com/10.1007/978-3-030-39322-9  
712 "Verification, Model Checking, and Abstract Interpretation" Monograph -Empty- -Empty- Springer Nature - Springer Lecture Notes in Computer Science eBooks SpringerLink 2024-05-09 20:03 Deleted https://link.springer.com/10.1007/978-3-030-67067-2  
713 "Verified Software. Theories, Tools, and Experiments" Monograph -Empty- -Empty- Springer Nature - Springer Lecture Notes in Computer Science eBooks SpringerLink 2024-05-09 20:03 Deleted https://link.springer.com/10.1007/978-3-319-72308-2  
714 "Verified Software. Theories, Tools, and Experiments" Monograph -Empty- -Empty- Springer Nature - Springer Lecture Notes in Computer Science eBooks SpringerLink 2024-05-09 20:03 Deleted https://link.springer.com/10.1007/978-3-030-03592-1  
715 "Verified Software. Theories, Tools, and Experiments" Monograph -Empty- -Empty- Springer Nature - Springer Lecture Notes in Computer Science eBooks SpringerLink 2024-05-09 20:03 Deleted https://link.springer.com/10.1007/978-3-030-41600-3  
716 "Verified Software: Theories, Tools, Experiments" Monograph -Empty- -Empty- Springer Nature - Springer Lecture Notes in Computer Science eBooks SpringerLink 2024-05-09 20:03 Deleted https://link.springer.com/10.1007/978-3-642-15057-9  
717 "Verified Software: Theories, Tools, Experiments" Monograph -Empty- -Empty- Springer Nature - Springer Lecture Notes in Computer Science eBooks SpringerLink 2024-05-09 20:03 Deleted https://link.springer.com/10.1007/978-3-540-87873-5  
718 "Verified Software: Theories, Tools, Experiments" Monograph -Empty- -Empty- Springer Nature - Springer Lecture Notes in Computer Science eBooks SpringerLink 2024-05-09 20:03 Deleted https://link.springer.com/10.1007/978-3-642-27705-4  
719 "Virtual, Augmented and Mixed Reality" Monograph -Empty- -Empty- Springer Nature - Springer Lecture Notes in Computer Science eBooks SpringerLink 2024-05-09 20:03 Deleted https://link.springer.com/10.1007/978-3-319-57987-0  
720 "Virtual, Augmented and Mixed Reality" Monograph -Empty- -Empty- Springer Nature - Springer Lecture Notes in Computer Science eBooks SpringerLink 2024-05-09 20:03 Deleted https://link.springer.com/10.1007/978-3-030-77599-5