Showing results 441 to 450 of 25,259

# Title Type Medium First Author Package Platform Last Updated Status URL
441 "Leveraging Applications of Formal Methods, Verification and Validation" 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-89159-6  
442 "Logic for Programming, Artificial Intelligence, and Reasoning" 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-75560-9  
443 "Logic for Programming, Artificial Intelligence, and Reasoning" 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-89439-1  
444 "Logic for Programming, Artificial Intelligence, and Reasoning" 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/11591191  
445 "Logic for Programming, Artificial Intelligence, and Reasoning" 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/b13986  
446 "Logic for Programming, Artificial Intelligence, and Reasoning" 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/b106931  
447 "Logic for Programming, Artificial Intelligence, and Reasoning" 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-662-48899-7  
448 "Logic for Programming, Artificial Intelligence, and Reasoning" 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/3-540-45653-8  
449 "Logic for Programming, Artificial Intelligence, and Reasoning" 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/11916277  
450 "Logic for Programming, Artificial Intelligence, and Reasoning" 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-16242-8