Koha online

HTML5 Icon

Your search returned 14 results.

1.
Types and programming languages

by Pierce, Benjamin C.

Language: English Publisher: Cambridge The MIT Press 2002Availability: Items available for loan: Central Library [Call number: 005.13 PIE/T] (4). Items available for reference: Central Library [Call number: 005.13 PIE/T] (1).
Place hold
2.
Deep learning

by Goodfellow, Ian | Bengio, Yoshua | Courville, Aaron.

Language: English Publisher: Cambridge The MIT Press 2016Availability: Items available for loan: Central Library [Call number: 006.31 GOO/D] (11). Items available for reference: Central Library [Call number: 006.31 GOO/D] (1).
Checked out (4).
Place hold
3.
Probabilistic graphical models: principles and techniques

by Koller, Daphne | Friedman, Nir.

Edition: 1st ed. Language: English Publisher: Cambridge The MIT Press 2009Availability: Items available for loan: Central Library [Call number: 519.54 KOL/P] (6). Items available for reference: Central Library [Call number: 519.54 KOL/P] (1).
Checked out (1).
Place hold
4.
Reinforcement learning: an introduction

by Sutton, Richard S | Barto, Andrew G.

Language: English Publisher: Cambridge The MIT Press 1998Availability: Items available for loan: Central Library [Call number: 006.31 SUT/R] (8). Items available for reference: Central Library [Call number: 006.31 SUT/R] (1).
Place hold
5.
Foundations of statistical natural language processing

by Manning, Christopher D | Schutze, Hinrich.

Language: English Publisher: Cambridge The MIT Press 1999Availability: Items available for loan: Central Library [Call number: 006.35 MAN/F] (1). Items available for reference: Central Library [Call number: 006.35 MAN/F] (1).
Checked out (1).
Place hold
6.
Introduction to autonomous mobile robots

by Siegwart, Roland | Nourbakhsh, Illah R | Scaramuzza, Davide.

Edition: 2nd ed. Language: English Publisher: Cambridge The MIT Press c2011Availability: Items available for loan: Central Library [Call number: 629.892 SIE/I] (1). Items available for reference: Central Library [Call number: 629.892 SIE/I] (1).
Place hold
7.
Probabilistic robotics

by Thrun, Sebastian | Burgard, Wolfram | Fox, Dieter.

Language: English Publisher: Cambridge The MIT Press 2006Availability: Items available for loan: Central Library [Call number: 629.892 THR/P] (1). Items available for reference: Central Library [Call number: 629.892 THR/P] (1).
Place hold
8.
Energy and civilization: a history

by Smil, Vaclav.

Language: English Publisher: Cambridge The MIT Press 2018Availability: Items available for reference: Central Library [Call number: 333.7909 SMI/E] (1). Checked out (1).
Place hold
9.
Gaussian processes for machine learning

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

Language: English Publisher: Cambridge The MIT Press c2006Availability: Items available for loan: Central Library [Call number: 006.31 RAS/G] (4). Items available for reference: Central Library [Call number: 006.31 RAS/G] (1).
Place hold
10.
Information retrieval: implementing and evaluating search engines

by Buttcher, Stefan | Clarke, Charles L. A | Cormack, Gordon V.

Language: English Publisher: Cambridge The MIT Press 2010Availability: Items available for loan: Central Library [Call number: 025.04 BUT/I] (11). Items available for reference: Central Library [Call number: 025.04 BUT/I] (1).
Place hold
11.
The elements of computing systems: building a modern computer from first principles

by Nisan, Noam | Schocken, Shimon.

Edition: 2nd ed. Language: English Publisher: Cambridge The MIT Press 2021Availability: Items available for loan: Central Library [Call number: 004.16 NIS/E] (16). Items available for reference: Central Library [Call number: 004.16 NIS/E] (1).
Checked out (2).
Place hold
12.
Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant

by Chlipala, Adam.

Language: English Publisher: Cambridge The MIT Press 2013Availability: Items available for loan: Central Library [Call number: 005.1 CHL/C] (1). Items available for reference: Central Library [Call number: 005.1 CHL/C] (1).
Checked out (1).
Place hold
13.
Introduction to Quantum Algorithms via Linear Algebra

by Lipton, Richard J | Regan, Kenneth W.

Edition: Ed. 2 Language: English Publisher: United States of America -- The MIT Press -- 2021Availability: Items available for loan: Central Library [Call number: 006.3843 LIP/I] (2). Items available for reference: Central Library [Call number: 006.3843 LIP/I] (1).
Checked out (1).
Place hold
14.
Proof and the Art of Mathematics

by Hamkins, Joel David.

Language: English Publisher: United States of America -- The MIT Press -- 2020Availability: Items available for loan: Central Library [Call number: 511.36 HAM/P] (2). Items available for reference: Central Library [Call number: 511.36 HAM/P] (1).
Place hold

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.