Results
41.
42.
Machine Learning / by Tom M. (Tom Michael) Mitchell. by Mitchell, Tom M. (Tom Michael) [author]
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New Delhi : McGraw-Hill India Pvt. Ltd., 1997
Availability: Not available: Central Library, IIT Bhubaneswar: Checked out (1).
43.
44.
Mathematical Theory of Computation / by Zohar Manna. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Dover Publications, 2003
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 005.1 MAN/M .
45.
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 .
46.
47.
48.
Aadhunik computer vignaan siddhaant racana eevam anuprayoog / Rajendra Kumar Visvakarma by
Visvakarma, Rajendra Kumar [Author]
आधुनिक कम्प्यूटर विज्ञान (सिद्धान्त रचना एवं अनुप्रयोग) राजेंद्र कुमार विश्वकर्मा
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: Hindi
Publication details: New Delhi : Standard Publishers Distributors, 1996
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 004 VIS/A .
49.
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 .
50.
51.
52.
53.
54.
Advanced compiler design and implementation / by Steven S Muchnick. by Muchnick, Steven S [author]
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: San Francisco : Morgan Kaufmann Pub., ©1997
Availability: Items available for loan: Central Library, IIT Bhubaneswar (10)Call number: 005.453 MUC/A, .. . Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 005.453 MUC/A .
55.
Purely functional data structures / by Chris Okasaki. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge, U.K. ; New York : Cambridge University Press, 1998
Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 005.73 OKA/P .
56.
57.
58.
59.
60.
File system forensic analysis / by Brian Carrier. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Boston, Mass. ; London : Addison-Wesley, 2005
Availability: Items available for loan: Central Library, IIT Bhubaneswar (3)Call number: 005.2 CAR/F, .. . Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 005.2 CAR/F .