Results
|
|
1.
|
Principles of model checking by
Material type:  Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge, : MIT Press, ©2008
Availability: Items available for loan: IIITD (1)Call number: REF 004.24 BAI-P.
|
|
|
2.
|
Model checking by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge : MIT Press, ©1999
Availability: Items available for loan: IIITD (1)Call number: REF 004.24 CLA-M.
|
|
|
3.
|
|
|
|
4.
|
Logic in computer science : modelling and reasoning about systems by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : Cambridge University Press, ©2004
Availability: Items available for loan: IIITD (2)Call number: 005.101 HUT-L, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.101 HUT-L.
|
|
|
5.
|
Introduction to lattices and order by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : Cambridge University Press, ©2002
Availability: Items available for loan: IIITD (1)Call number: 512.86 DAV-I.
|
|
|
6.
|
Introduction to linear algebra by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Wellesley, : Wellesley-Cambridge Press, ©1993
Availability: Items available for loan: IIITD (3)Call number: 512.5 STR-I, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 512.5 STR-I. Not available: IIITD: Checked out (1).
|
|
|
7.
|
Kernel methods for pattern analysis by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Cambridge University Press, 2009
Availability: Items available for loan: IIITD (1)Call number: REF 006.31 SHA-K.
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
What the best college teachers do by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge : Harvard University Press, ©2004
Availability: Items available for loan: IIITD (6)Call number: 378.12 BAI-W, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 378.12 BAI-W.
|
|
|
11.
|
Numerical recipes in C : the art of scientific computing by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Cambridge University Press, 1992
Availability: Items available for loan: IIITD (2)Call number: 519.402 PRE-N, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 519.402 PRE-N.
|
|
|
12.
|
Quantum computer science : an introduction by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge University Press, 2007
Availability: Items available for loan: IIITD (1)Call number: REF 004.1 MER-Q.
|
|
|
13.
|
Quantum computation and quantum information by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : Cambridge University Press, ©2009
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 004.1 NIE-Q. Not available: IIITD: Checked out (3).
|
|
|
14.
|
Foundations of cryptography : basic tools, vol I by
Material type: Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publication details: Cambridge : Cambridge University Press, ©2001
Availability: Items available for loan: IIITD (1)Call number: 005.82 GOL-F. Items available for reference: IIITD: Not for loan (1)Call number: REF 005.82 GOL-F. Not available: IIITD: Checked out (1).
|
|
|
15.
|
Foundations of cryptography : basic applications, vol II by
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cambridge : Cambridge University Press, ©2004
Availability: Items available for loan: IIITD (1)Call number: REF 005.82 GOL-F. Not available: IIITD: Checked out (1).
|
|
|
16.
|
Randomized algorithms by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 1995
Availability: Items available for loan: IIITD (5)Call number: 005.1 MOT-R, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.1 MOT-R.
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
Introduction to information retrieval by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Cambridge University Press, 2008
Availability: Items available for loan: IIITD (32)Call number: 005.7 MAN-I, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.7 MAN-I.
|
|
|
20.
|
|
