Results
261.
262.
Logic for computer science : foundations of automatic theorem proving / by Jean H. Gallier. by
Edition: 2nd ed.
Material type: ; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New York : Dover Pub.; 2015
Availability: Items available for loan: Central Library, IIT Bhubaneswar (6)Call number: 005.432 GAL/L, .. Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 005.432 GAL/L Not available: Central Library, IIT Bhubaneswar: Checked out (1).
263.
264.
Modern compiler implementation in C / Andrew W. Appel with Maia Ginsburg. by
Edition: Rev. and expanded ed.
Material type: ; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Cambridge ; New York : Cambridge University Press, 1998
Availability: Items available for loan: Central Library, IIT Bhubaneswar (3)Call number: 005.453 APP/M, .. Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 005.453 APP/M
265.
Introduction to software testing / by Paul Ammann & Jeff Offutt. by
Material type: ; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New York : Cambridge University Press, 2008
Availability: Items available for loan: Central Library, IIT Bhubaneswar (4)Call number: 004.24 AMM/I, .. Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 004.24 AMM/I
266.
267.
Vector mechanics for engineers. / Ferdinand Beer ... [et al.]. by
Edition: 10th ed.
Material type: ; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New York : McGraw-Hill, c2013
Availability: Items available for loan: Central Library, IIT Bhubaneswar (19)Call number: 620.105 BEE/V, .. Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 620.105 BEE/V
268.
Fluid mechanics : fundamentals and applications / by Yunus A. Çengel & John M. Cimbala. by
Edition: 3rd ed. (in SI units)
Material type: ; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New York : McGraw Hill, [2014]
Availability: Items available for loan: Central Library, IIT Bhubaneswar (5)Call number: 620.106 CEN/F, .. Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 620.106 CEN/F Not available: Central Library, IIT Bhubaneswar: Checked out (4).
269.
Fundamentals of Power Electronics / by Robert W. Erickson and dragan Maksimovic by
Edition: 2nd ed.
Material type: ; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New York : Springer ; 2001
Availability: Items available for loan: Central Library, IIT Bhubaneswar (2)Call number: 621.31 ERI/F, .. Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 621.31 ERI/F Not available: Central Library, IIT Bhubaneswar: Checked out (1).
270.
Structure and bonding in crystalline materials / by Gregory S. Rohrer by
Material type: ; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New York : Cambridge University Press, 2009
Availability: Items available for loan: Central Library, IIT Bhubaneswar (3)Call number: 548.3 ROH/S, .. Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 548.3 ROH/S Not available: Central Library, IIT Bhubaneswar: Checked out (1).
271.
272.
Introductory complex analysis / by Richard A Silverman by
Material type: ; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: New York : Dover Publications, 1972
Availability: Items available for loan: Central Library, IIT Bhubaneswar (4)Call number: 517.8 SIL/I, .. Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 517.8 SIL/I
273.
Low-Power Cmos Vlsi Circuit Design / by Kaushik Roy and Sharat C Prasad by
Material type: ; Format:
print
; Literary form:
Not fiction
Publication details: New York : Wiley, 2000
Availability: Items available for loan: Central Library, IIT Bhubaneswar (4)Call number: 621.395 ROY/L, .. Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 621.395 ROY/L
274.
275.
276.
Hacking exposed :Computer forensics secrets and solutions / by Aaron Philipp, David Cowen and Chris Davis by
Edition: 2nd ed.
Material type: ; Format:
print
; Literary form:
Not fiction
Publication details: New York : McGraw-Hill/Osborne, 2010
Availability: Items available for loan: Central Library, IIT Bhubaneswar (3)Call number: 005.8 PHI/H, .. Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 005.8 PHI/H Not available: Central Library, IIT Bhubaneswar: Checked out (1).
277.
278.
Feynman lectures on computation / Richard P. Feynman by
Language: English
Publication details: New York : CRC Press, 1996
Availability: Items available for loan: Central Library, IIT Bhubaneswar (8)Call number: 004 FEY/F, .. Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 004 FEY/F
279.
Permanent magnet synchronous and brushless DC motor drives / Ramu Krishnan by
Edition: Special Ed.
Language: English
Publication details: New York : CRC Press, 2009
Availability: Items available for loan: Central Library, IIT Bhubaneswar (3)Call number: 621.310 KRI/P, .. Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 621.310 KRI/P Not available: Central Library, IIT Bhubaneswar: Checked out (1).
280.
Scanning electron microscopy and X-ray microanalysis / Joseph I. Goldstein [et al.] by
Edition: 4th ed.
Language: English
Publication details: New York : Springer Nature, 2018
Availability: Items available for loan: Central Library, IIT Bhubaneswar (2)Call number: 502.825 GOL/S, .. Items available for reference: Central Library, IIT Bhubaneswar: Not for loan (1)Call number: 502.825 GOL/S Not available: Central Library, IIT Bhubaneswar: Checked out (2).
