• 题名: C++ Toolbox for Verified Computing I
    作者: Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-3-642-79653-1
在架

测试图片