FEEDBACK Smiley face

Your search returned 54 results. Subscribe to this search

|
1. Principles of model checking

by Baier, Christel | Katoen, Joost-Pieter.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, : MIT Press, ©2008Online access: Table of contents only Availability:
Items available for reference: IIITD [REF 004.24 BAI-P] (1).

2. Model checking

by Clarke, E. M | Grumberg, Orna | Peled, Doron.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge : MIT Press, ©1999Availability:
Items available for reference: IIITD [REF 004.24 CLA-M] (1).

3. Ant colony optimization

by Dorigo, Marco | Stutzle, Thomas.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi: MIT Press, ©2004Availability:
Items available for reference: IIITD [REF 519.6 DOR-A] (1).

4. Learning with kernels : support vector machines, regularization, optimization, and beyond

by Schalkopf, Bernhard | Smola, Alexander J.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, ©2002Availability:
Items available for reference: IIITD [REF 006.31 SCH-L] (1).

5. Information retrieval : implementing and evaluating search engines

by Buttcher, Stefan | Clarke, Charles LA | Cormack, Gordon V.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Massachusetts MIT Press, 2010Availability:
Items available for reference: IIITD [REF 005.7 BUT-I] (1).

6. Probabilistic graphical models : principles and techniques

by Koller, Daphne | Friedman, Nir.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, MA : MIT Press, c2009Availability:
Items available for reference: IIITD [REF 519.542 KOL-P] (1).

7. Computational molecular biology : an algorithmic approach

by Pevzner, Pavel.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, ©2000Availability: Items available for loan: IIITD [572.8 PEV-C] (1).
Items available for reference: IIITD [572.8 PEV-C] (1).

8. Bio-inspired artificial intelligence : theories, methods, and technologies

by Floreano, Dario | Mattiussi, Claudio.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, ©2008Online access: Table of contents only Availability: Items available for loan: IIITD [006.3 FLO-B] (1).
Items available for reference: IIITD [REF 006.3 FLO-B] (1).

9. Introduction to AI robotics

by Murphy, Robin 1957-.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, c2000Online access: Table of contents Availability: Items available for loan: IIITD [629.892 MUR-I] (1).
Items available for reference: IIITD [REF 629.892 MUR-I] (1).

10. Dynamical systems in neuroscience : the geometry of excitability and bursting

by Izhikevich, Eugene M.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge : MIT Press, c2007Availability: Items available for loan: IIITD [612.8 IZH-D] (1).
Items available for reference: IIITD [REF 612.8 IZH-D] (1).

11. Foundations of statistical natural language processing

by Manning, Christopher D | Schütze, Hinrich.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, c1999Availability:
Items available for reference: IIITD [REF 410.285 MAN-F] (1).

12. Semantic web primer

by Antoniou, G | Antoniou, G. (Grigoris) Semantic Web primer.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, c2012Availability: Items available for loan: IIITD [005.276 ANT-S] (4).
Items available for reference: IIITD [REF 005.276 ANT-S] (1).

13. Machine learning : a probabilistic perspective

by Murphy, Kevin P.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, MA : MIT Press, ©2012Availability: No items available
Checked out (1).

14. Boosting : foundations and algorithms

by Schapire, Robert E | Freund, Yoav.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, MA : MIT Press, c2012Availability:
Items available for reference: IIITD [REF 006.31 SCH-B] (1).

15. Principles of data mining

by Hand, D. J | Mannila, Heikki | Smyth, Padhraic.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, ©2001Availability: Items available for loan: IIITD [006.3 HAN-P] (1).
Items available for reference: IIITD [REF 006.3 HAN-P] (1).

16. Gaussian processes for machine learning

by Rasmussen, Carl Edward | Williams, Christopher K. I.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, ©2006Online access: Table of contents only Availability: Items available for loan: IIITD [REF 519.23 RAS-G] (1).

17. Foundations of machine learning

by Mohri, Mehryar | Rostamizadeh, Afshin | Talwalkar, Ameet.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, MA : MIT Press, c2012Availability:
Items available for reference: IIITD [REF 006.31 MOH-F] (1).

18. Computability : Turing, Godel, Church, and beyond

by Copeland, B. Jack (ed.) | Posy, Carl J. (ed.) | Shagrir, Oron (ed.).

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : MIT Press, ©2013Availability:
Items available for reference: IIITD [REF 511.352 COP-C] (1).

19. The stable marriage problem : structure and algorithms

by Gusfield, Dan | Irving, Robert W.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, ©1989Availability: Items available for loan: IIITD [REF 511.6 GUS-S] (1).

20. Reinforcement learning : an introduction

by Sutton, Richard S | Barto, Andrew G.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, ©1998Availability:
Items available for reference: IIITD [REF 006.31 SUT-R] (1).


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