Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales (Paperback)

Domain-Specific Computer Architectures for Emerging Applications : Machine Learning and Neural Networks (Hardcover)

Cryogenic Engineering and Technologies : Principles and Applications of Cryogen-Free Systems (Paperback)

Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations (Paperback, 2020)

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Paperback)

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Paperback)

Fixed Point Theory in Generalized Metric Spaces (Paperback)