Symbolic-numeric computation
By: Wang, Dongming.
Contributor(s): Zhi, Lihong.
Material type:
BookPublisher: Boston: Birkhauser, 2007Description: viii, 394 p.; ill.: 24 cm.ISBN: 9783764379834 .Subject(s): Logic, Symbolic and mathematical -- Congresses | Computable functions -- Data processing -- Congresses | Numerical analysis -- CongressesDDC classification: 511.352
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.352 WAN (Browse shelf) | Available | 015603 |
Browsing DAIICT Shelves Close shelf browser
| 511.352 ROS Pillars of computation theory : state, encoding, nondeterminism | 511.352 RUD Computational complexity theory | 511.352 TOU Theory of computation | 511.352 WAN Symbolic-numeric computation | 511.352 ZIM Computational complexity : a quantitative perspective | 511.352015118 TUR Computable models | 511.36 BUR Extending the frontiers of mathematics : inquiries into proof and argumentation |
There are no comments for this item.