1
出版 2005
書本目錄: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
獲取全文
電子 電子書
2
出版 2006
書本目錄: ... -- A COMPUTATIONAL METHOD FOR SOLVING CAUCHY PROBLEMS OF ELLIPTIC OPERATORS -- NUMERICAL DETERMINATION...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ... Deformable Structures Markerless Tracking in Laparoscopic Cholecystectomy -- A Framework for Optimization...
獲取全文
電子 電子書
4
出版 2007
書本目錄: ... Optimization Problems -- Solving Bin Packing Problem with a Hybridization of Hard Computing and Soft Computing...
獲取全文
電子 電子書
5
出版 2010
書本目錄: ... Strategy for Ambient Intelligence -- Dialogue Manager for a NLIDB for Solving the Semantic Ellipsis Problem...
獲取全文
電子 電子書