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
|