1
出版 2007
书本目录: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
获取全文
电子 电子书
2
出版 2010
书本目录: ... for Solving Parametric Linear Systems Whose Input Data Are Rational Functions of Interval Parameters -- Direct...
获取全文
电子 电子书