Results
241.
Model Checking / by E. M. Clarke. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge, Mass. : MIT Press, 1999
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 004.21 CLA/M .
242.
Modeling in Event-B / by Jean-Raymond Abrial. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge : Cambridge University Press, 2010
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 004.01 ABR/M .
243.
Modeling in Materials Processing / by Jonathan A. Dantzig. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Cambridge University Press, 2001
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 670.42 DAN/M .
244.
Molecular crystals / by J. D. Wright. by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge : Cambridge University Press, 1995
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 548 WRI/M .
245.
Principles of Model Checking / by Christel Baier. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge, Mass. : The MIT Press, 2008
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 004.24 BAI/P .
246.
247.
Quantum field theory for mathematicians / by R. Ticciati. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 1999
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 530.143 TIC/Q .
248.
249.
Stochastic frontier analysis / by Subal Kumbhakar. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Cambridge University Press, 2000
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 519.22 KUM/S .
250.
251.
252.
The art of molecular dynamics simulation / by D. C. Rapaport. by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge : Cambridge University Press, 2010
Availability: Items available for loan: Central Library, IIT Bhubaneswar (2)Call number: 541.22 RAP/A, .. .
253.
254.
The turbulent ocean / by S. A. Thorpe. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge : Cambridge University Press, 2005
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 551.462 THO/T .
255.
Theory of solidification / by Stephen H. Davis. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge : Cambridge University Press, 2001
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 530.414 DAV/T .
256.
257.
258.
Randomized algorithms / Rajeev Motwani and Prabhakar Raghavan. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New York / New Delhi : Cambridge University Press, 2014
Availability: Items available for loan: Central Library, IIT Bhubaneswar (3)Call number: 004.015192 MOT/R, .. .
259.
260.