Mathematical Theory of Computation

This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFP...

This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applica...

This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory. Generally, ...

The current digital signature methods like RSA, DSA, and ECDSA are relatively simple to understand, and their signing and verification processes op...

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshim...

This textbook introduces variational calculus and regularization methods for inverse problems, seamlessly blending classical concepts with contempo...

The three-volume set LNCS 14476-14478 constitutes the post conference proceedings of the 4th International Conference on Numerical Computations: Th...

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Piet...

This book offers a comprehensive reference guide to neutrosophic theory and its applications in decision-making in numerous disciplines, ranging fr...

This book constitutes the refereed proceedings of the 20th European Workshop on Computer Performance Engineering, EPEW 2024, held in Venice, Italy,...

This book presents the latest developments in the theory and applications of time series analysis and forecasting. Comprising a selection of refere...

This Second Edition sheds light on state-of-the-art theories and practices in multimodal compatibility modeling and recommendation, offering compre...

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October...

This book constitutes the refereed post-conference proceedings of the 27th International Conference, on Distributed and Computer and Communication ...

Python Programming for Mathematics focuses on the practical use of the Python language in a range of different areas of mathematics. Through fifty-...

This book constitutes the refereed proceedings of the 36th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2024, held i...

Defined as solutions of linear differential or difference equations with polynomial coefficients, D-finite functions play an important role in vari...

This book constitutes the proceedings of the Joint IAPR International Workshops on Structural, Syntactic, and Statistical Pattern Recognition, S+SS...

New technological innovations and advances in research in areas such as spectroscopy, computer tomography, signal processing, and data analysis req...

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Piet...