1
Model Checking Software [E-Book] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
2
Biomedical Image Registration [E-Book] : 4th International Workshop, WBIR 2010, Lübeck, Germany, July 11-13, 2010. Proceedings /
3
Polynomial based iteration methods for symmetric linear systems /
Book
Other Personal Name(s): ...Fischer, Bernd....