Results
1.
Introduction to algorithms/ Thomas H. Cormen ... [et al.]. by
Edition: 3rd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Cambridge, Mass. : Delhi : MIT Press, PHI Learning Pvt. Ltd., c2009
Availability: Items available for loan: Central Library, IIT Bhubaneswar (14)Call number: 005.1 COR/I, .. . Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 005.1 COR/I . Not available: Central Library, IIT Bhubaneswar: Checked out (5).
2.
A first course in turbulence by H. Tennekes and J. L. Lumley. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Cambridge : MIT Press, [1972]
Availability: Items available for loan: Central Library, IIT Bhubaneswar (3)Call number: 532.0527 TEN/F, .. . Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 532.0527 TEN/F .
3.
4.
5.
6.
7.
8.
9.
10.
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 .
11.
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 .
12.
13.
Principles of cyber-physical systems / Rajeev Alur. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge, Massachusetts : The MIT Press, 2015
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 006.22 ALU/R .
14.
15.
16.
17.
18.
19.
20.