Results
81.
82.
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 .
83.
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 .
84.
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 .
85.
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 .
86.
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 .
87.
88.
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 .
89.
90.
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 .
91.
92.
93.
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, .. .
94.
95.
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 .
96.
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 .
97.
98.
99.
100.