Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.352 ZIM (Browse shelf) | Available | 011232 |
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 | 511.36 CHO Introduction to proof through number theory |
There are no comments for this item.