|
|
1.
|
Reactive systems : modelling, specification and verification
by Aceto, Luca | Anna Ingólfsdóttir 1952- | Larsen, K. G. (Kim G.) 1957- | Srba, Jiřiʹ. Material type:  Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi ; New York : Cambridge University Press, ©2007Online access: Contributor biographical information | Publisher description | Table of contents only Availability:
Items available for reference: IIITD [REF 006.330 ACE-R] (1).
|
|
|
2.
|
Logic in computer science : modelling and reasoning about systems
by Huth, Michael | Ryan, Mark. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi; New Delhi : Cambridge University Press, 2004Online access: Sample text | Table of contents | Publisher description Availability: Items available for loan: IIITD [005.101 HUT-L] (2).
Items available for reference: IIITD [REF 005.101 HUT-L] (1).
|
|
|
3.
|
Introduction to lattices and order
by Davey, B. A | Priestley, H. A. (Hilary A.). Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Cambridge University Press, 2002Other title: Lattices and order.Online access: Publisher description | Table of contents Availability: No items available
Checked out (1).
|
|
|
4.
|
Kernel methods for pattern analysis
by Shawe-Taylor, John | Cristianini, Nello. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Cambridge University Press, 2009Availability:
Items available for reference: IIITD [REF 006.31 SHA-K] (1).
|
|
|
5.
|
An introduction to support vector machines : and other kernel-based learning methods
by Cristianini, Nello | Shawe-Taylor, John. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Cambridge University Press, ©2000Online access: Publisher description | Table of contents Availability:
Items available for reference: IIITD [REF 006.31 CHR-S] (1).
|
|
|
6.
|
Numerical recipes in C : the art of scientific computing
by Press, William H | Vetterling, William T | Teukolsky, Saul A | Flannery, Brian P. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Cambridge University Press, 1992Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [519.402 PRE-N] (2).
Items available for reference: IIITD [REF 519.402 PRE-N] (1).
|
|
|
7.
|
Quantum computer science : an introduction
by Mermin, N David. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge University Press, 2007Availability: Items available for loan: IIITD [REF 004.1 MER-Q] (1).
|
|
|
8.
|
Quantum computation and quantum information
by Nielsen, Michael A | Chuang, Isaac L. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Cambridge University Press, ©2009Availability: Items available for loan: IIITD [004.1 NIE-Q] (1).
Items available for reference: IIITD [REF 004.1 NIE-Q] (1).
Checked out (2).
|
|
|
9.
|
Foundations of cryptography : basic tools, vol I
by Goldreich, Oded. Material type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Publisher: Cambridge : Cambridge University Press, ©2001Online access: Connect to MyiLibrary resource Availability: Items available for loan: IIITD [005.82 GOL-F] (2).
Items available for reference: IIITD [REF 005.82 GOL-F] (1).
|
|
|
10.
|
Foundations of cryptography : basic applications, vol II
by Goldreich, Oded. Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Cambridge : Cambridge University Press, ©2004Online access: Connect to MyiLibrary resource Availability: Items available for loan: IIITD [005.82 GOL-F] (1).
Items available for reference: IIITD [REF 005.82 GOL-F] (1).
|
|
|
11.
|
Randomized algorithms
by Motwani, Rajeev | Raghavan, Prabhakar. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge ; New York : Cambridge University Press, 1995Online access: Table of contents | Publisher description Availability: Items available for loan: IIITD [005.1 MOT-R] (3).
Items available for reference: IIITD [REF 005.1 MOT-R] (1).
Checked out (2).
(1 votes)
|
|
|
12.
|
Algorithms on strings, trees, and sequences : computer science and computational biology
by Gusfield, Dan. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge [England] ; New York : Cambridge University Press, 1997Online access: Table of contents | Publisher description Availability: Items available for loan: IIITD [005.37 GUS-A] (1).
Items available for reference: IIITD [REF 005.37 GUS-A] (1).
|
|
|
13.
|
Probability and computing : randomized algorithms and probabilistic analysis
by Mitzenmacher, Michael 1969- | Upfal, Eli 1954-. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Cambridge University Press, 2005Online access: Table of contents | Publisher description | Contributor biographical information Availability:
Items available for reference: IIITD [REF 518.1 MIT-P] (1).
|
|
|
14.
|
Introduction to information retrieval
by Manning, Christopher D | Raghavan, Prabhakar | Schütze, Hinrich. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Cambridge University Press, 2008Online access: Contributor biographical information | Publisher description | Table of contents only | Companion web site Availability:
Items available for reference: IIITD [REF 005.7 MAN-I] (1). Checked out (8).
|
|
|
15.
|
Systems biology : simulation of dynamic network states
by Palsson, Bernhard O. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge University Press, 2011Availability: Items available for loan: IIITD [REF 572.802 PAL-S] (1).
|
|
|
16.
|
Probability and random processes for electrical and computer engineers
by Gubner, John A. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge University Press, 2006Availability: Items available for loan: IIITD [REF 519.2 GUB-P] (1).
|
|
|
17.
|
Design of CMOS radio-frequency integrated circuits
by Lee, Thomas H. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge, UK ; New York : Cambridge University Press, ©2004Online access: Table of contents | Publisher description Availability: Items available for loan: IIITD [621.397 LEE-D] (6).
Items available for reference: IIITD [REF 621.397 LEE-D] (1).
|
|
|
18.
|
Ad hoc and sensor networks : theory and applications
by Cordeiro, Carlos de Morais | Agrawal, Dharma P. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Cambridge University Press, ©2011Availability: Items available for loan: IIITD [621.3821 COR-A] (2).
|
|
|
19.
|
Basic abstract algebra
by Bhattacharya, P. B | Jain, S. K | Nagpaul, S. R. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Cambridge University Press, c1994Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [512.02 BHA-B] (3).
Items available for reference: IIITD [REF 512.02 BHA-B] (1).
Checked out (1).
|
|
|
20.
|
Computational science and engineering
by Strang, Gilbert. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge University Press, ©2007Availability: Items available for loan: IIITD [REF 620.002 STR-C] (1).
|
Cart
