Showing results 61 to 70 of 1,041

# Title Type Medium First Author Platform Last Updated Status URL
61 "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques" Monograph Book -Empty- SpringerLink 2023-10-18 10:48 Current https://link.springer.com/10.1007/978-3-319-47166-2  
62 "Leveraging Applications of Formal Methods, Verification, and Validation" Monograph Book -Empty- SpringerLink 2023-10-18 10:48 Current https://link.springer.com/10.1007/978-3-319-51641-7  
63 "Logic, Language, Information, and Computation" Monograph Book -Empty- SpringerLink 2023-10-18 10:48 Current https://link.springer.com/10.1007/978-3-662-52921-8  
64 "Machine Learning, Optimization, and Big Data" Monograph Book -Empty- SpringerLink 2023-10-18 10:48 Current https://link.springer.com/10.1007/978-3-319-51469-7  
65 "Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems" Monograph Book -Empty- SpringerLink 2023-10-18 10:48 Current https://link.springer.com/10.1007/978-3-319-31559-1  
66 "Mobile, Secure, and Programmable Networking" Monograph Book -Empty- SpringerLink 2023-10-18 10:48 Current https://link.springer.com/10.1007/978-3-319-50463-6  
67 "Mobile, Ubiquitous, and Pervasive Learning" Monograph Book -Empty- SpringerLink 2023-10-18 10:48 Current https://link.springer.com/10.1007/978-3-319-26518-6  
68 "Music, Mind, and Embodiment" Monograph Book -Empty- SpringerLink 2023-10-18 10:48 Current https://link.springer.com/10.1007/978-3-319-46282-0  
69 "OpenMP: Memory, Devices, and Tasks" Monograph Book -Empty- SpringerLink 2023-10-18 10:48 Current https://link.springer.com/10.1007/978-3-319-45550-1  
70 "Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification" Monograph Book -Empty- SpringerLink 2023-10-18 10:48 Current https://link.springer.com/10.1007/978-3-319-33951-1