Results
|
|
|
Homotopy theory G.W. Whitehead by Whitehead, G.W. Material type:  Text Publication details: Cambridge MIT Press 1966Availability: Items available for loan: TIFR CAM Library (1)Location, call number: 7.02 WHIT.
|
|
|
|
|
|
|
|
Little prover D.P. Friedman & C. Eastlund by Friedman, D.P & Eastlund, C | Eastlund, C. Material type: Text Publication details: Massachusetts MIT press 2015Availability: Items available for loan: TIFR CAM Library (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Model checking E.M. Clarke, et al by Clarke, E.M., et al | Grumberg, O | Peled, D.A. Material type: Text Publication details: Cambridge MIT Press 1999Availability: Items available for loan: TIFR CAM Library (1)Location, call number: COMPUTER 18 CLAR.
|
|
|
|
|
|
|
|
|
|
|
|
Nautilus Material type:  Continuing resource Publication details: MIT Press Availability: Items available for loan: TIFR CAM Library (2).
|
|
|
|
|
|
|
|
Nuclear reactor analysis A.F. Henry by Henry, A.F. Material type: Text Publication details: Cambridge MIT Press 1975Availability: Items available for loan: TIFR CAM Library (1)Location, call number: 13.05 HENR.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
