Results
|
|
1.
|
Ant colony optimization by
Material type:  Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi: MIT Press, ©2004
Availability: Items available for loan: IIITD (1)Call number: REF 519.6 DOR-A.
|
|
|
2.
|
|
|
|
3.
|
Spin model checker : primer and reference manual by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Boston : Addison-Wesley, ©2004
Availability: Items available for loan: IIITD (1)Call number: REF 620.001 HOL-S.
|
|
|
4.
|
Mathematical logic by Series: Undergraduate texts in mathematics
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Original language: German
Publication details: New York : Springer, ©1996
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 EBB-M.
|
|
|
5.
|
|
|
|
6.
|
Discrete mathematics and its applications by
Edition: 6th ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : McGraw Hill, ©2007
Availability: Items available for loan: IIITD (13)Call number: 511 ROS-D, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511 ROS-D.
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
Probability and statistics for computer science by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Hoboken, NJ : Wiley, 2003
Availability: Items available for loan: IIITD (1)Call number: 519.202 JOH-P.
|
|
|
10.
|
Probability and statistics for engineers and scientists by
Edition: 8th ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Upper Saddle River, NJ : Prentice hall, ©2007
Other title: - Probability and statistics for engineers and scientists
Availability: Items available for loan: IIITD (10)Call number: 519.024 WAL-P, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 519.024 WAL-P. Not available: IIITD: Checked out (1).
|
|
|
11.
|
Mathematical logic for computer science by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Springer, 2003, c2001
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 BEN-M.
|
|
|
12.
|
|
|
|
13.
|
Markov random field modeling in image analysis by
Edition: 3rd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Springer, 2009
Availability: Items available for loan: IIITD (1)Call number: REF 621.367 LI-M.
|
|
|
14.
|
|
|
|
15.
|
Elements of the theory of computation by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : PHI, c1998
Availability: Items available for loan: IIITD (1)Call number: 511 LEW-E.
|
|
|
16.
|
Advanced engineering mathematics by
Edition: 8th ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Wiley, c1999
Availability: Items available for loan: IIITD (4)Call number: 510.246 KRE-A, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 510.246 KRE-A.
|
|
|
17.
|
Thomas' calculus by
Edition: 11th ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Delhi : Pearson, ©2009
Availability: Items available for loan: IIITD (10)Call number: 515 WEI-C, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 515 WEI-C. Not available: IIITD: Checked out (3).
|
|
|
18.
|
The essence of logic by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Prentice Hall, ©1996
Availability: Items available for loan: IIITD (3)Call number: 511.3 KEL-E, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 KEL-E.
|
|
|
19.
|
|
|
|
20.
|
|
