|
|
1.
|
Principles of model checking
by Baier, Christel | Katoen, Joost-Pieter. Material type:  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; 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; 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; 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; 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; 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; 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; 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; 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; 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; Format:
print
; Literary form:
not fiction
Publisher: New Delhi. : MIT Press, c2010Availability: No items available
Checked out (1).
|
|
|
12.
|
Dynamical systems in neuroscience : the geometry of excitability and bursting
by Izhikevich, Eugene M. Material type: 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; Format:
print
; Literary form:
not fiction
Publisher: Cambridge, Mass. : MIT Press, c1999Availability:
Items available for reference: 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; Format:
print
; Literary form:
not fiction
Publisher: Cambridge, Mass. : MIT Press, c1996Availability:
Items available for reference: IIITD [300.11 SIM-S] (1).
|
|
|
15.
|
Semantic web primer
by Antoniou, G | Antoniou, G. (Grigoris) Semantic Web primer. Edition: 3rd ed.Material type: 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; 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; 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; 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; 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; 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).
|
Cart
