• 题名: Scientific Computing with Automatic Result Verification
    作者: E. Adams, U. Kulisch
    索书号: http://www.sciencedirect.com/science/book/9780120442102
在架