1
出版 2012
书本目录: ...Intelligent Robotics -- A Heuristic Approach towards Path Planning and Obstacle Avoidance Control...
获取全文
电子 电子书
2
出版 2010
书本目录: ... Hiding by Second Order Framing with First Order Assertions -- Coupling Policy Iteration with Semi...
获取全文
电子 电子书
3
出版 2010
书本目录: ... Control Software for Discrete Time Linear Hybrid Systems -- Safety Verification for Probabilistic Hybrid...
获取全文
电子 电子书
4
出版 2008
书本目录: ...-Merging -- A Linear In-situ Algorithm for the Power of Cyclic Permutation -- Multi-bidding Strategy...
获取全文
电子 电子书