FEEDBACK

Your search returned 250 results. Subscribe to this search

|
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 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 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 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: Items available for loan: IIITD [512.86 DAV-I] (1).

4. Kernel methods for pattern analysis

by Shawe-Taylor, John | Cristianini, Nello.

Material type: book 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 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 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 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 Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Cambridge University Press, ©2009Availability: Items available for loan: IIITD [004.1 NIE-Q] (3).
Items available for reference: IIITD [REF 004.1 NIE-Q] (1).

9. Foundations of cryptography : basic tools, vol I

by Goldreich, Oded.

Material type: book Book; Format: electronic available online remote; 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cambridge : Cambridge University Press, c2004Online 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 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] (5).
Items available for reference: IIITD [REF 005.1 MOT-R] (1).
  (1 votes)
12. Algorithms on strings, trees, and sequences : computer science and computational biology

by Gusfield, Dan.

Material type: book 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 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 loan: IIITD [518.1 MIT-P] (3).
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 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 loan: IIITD [005.7 MAN-I] (7).
Items available for reference: IIITD [REF 005.7 MAN-I] (1).
Checked out (1).

15. Systems biology : simulation of dynamic network states

by Palsson, Bernhard O.

Material type: book 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 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 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] (4).
Items available for reference: IIITD [REF 621.397 LEE-D] (1).
Checked out (2).

18. Ad hoc and sensor networks : theory and applications

by Cordeiro, Carlos de Morais | Agrawal, Dharma P.

Edition: 2nd ed.Material type: book 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 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] (4).
Items available for reference: IIITD [REF 512.02 BHA-B] (1).

20. Computational science and engineering

by Strang, Gilbert.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge University Press 2007Availability: Items available for loan: IIITD [REF 620.002 STR-C] (1).


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in