Beyn - Current Challenges in Stability Issues for Numerical Differenti - X555z

Bin - Hardware and Software Verification and Testing Second Interna - X555z

Canton - Current Therapy in Nephrology Proceedings of the 2nd Interna - X555z

Bloem - Hardware and Software Verification and Testing 12th Interna - X555z

Cuyt - Nonlinear Numerical Methods and Rational Approximation - New ha - X555z

Cuyt - Nonlinear Numerical Methods and Rational Approximation - New pa - X555z

Baier - Validation of Stochastic Systems A Guide to Current Research - X555z

Yahav - Hardware and Software Verification and Testing 10th Interna - X555z