FEEDBACK Smiley face

Your search returned 84 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 1962-.

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 loan: 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: No items available
Checked out (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. Biological modeling and simulation : a survey of practical models, algorithms, and numerical methods

by Schwartz, Russell.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, c2008Online access: Table of contents only Availability: Items available for loan: IIITD [570.1 SCH-B] (1).

9. 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).

10. 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).

11. Biomedical signal analysis : contemporary methods and applications

by Theis, Fabian J | Meyer-Bäse, Anke.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi. : MIT Press, c2010Availability: Items available for loan: IIITD [616.075 THE-B] (1).

12. 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).

13. 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 loan: IIITD [REF 410.285 MAN-F] (1).

14. Sciences of the artificial

by Simon, Herbert A. (Herbert Alexander) 1916-2001..

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, c1996Availability: No items available
Checked out (1).

15. 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).

16. Machine learning : a probabilistic perspective

by Murphy, Kevin P 1970-.

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

17. 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).

18. Applied computational economics and finance

by Miranda, Mario J | Fackler, Paul L.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, c2002Availability: Items available for loan: IIITD [330.015 MIR-A] (1).

19. An introduction to neural networks

by Anderson, James A.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, c1995Availability: Items available for loan: IIITD [612.8 AND-I] (1).

20. Design concepts in programming languages

by Turbak, Franklyn Albin | Gifford, David K | Sheldon, Mark A.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, c2008Online access: Table of contents only Availability: Items available for loan: IIITD [005.1 TUR-D] (1).


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