Koha online

HTML5 Icon

Your search returned 29 results.

1.
The elements of computing systems: building a modern computer from first principles

by Nisan, Noam | Schocken, Shimon.

Language: English Publisher: London The MIT Press 2008Availability: Items available for loan: Central Library [Call number: 004.16 NIS/E] (7). Items available for reference: Central Library [Call number: 004.16 NIS/E] (1).
Checked out (1). Lost (1).
Place hold
2.
101 things I learned in architecture school

by Frederick, Matthew.

Language: English Publisher: Cambridge The MIT Press 2007Availability: Items available for reference: Central Library [Call number: 720 FRE/A] (1).
3.
Advanced topics in types and programming languages

by Pierce, Benjamin C.

Language: English Publisher: Cambridge The MIT Press 2005Availability: Items available for loan: Central Library [Call number: 005.13 PIE/A] (2). Items available for reference: Central Library [Call number: 005.13 PIE/A] (1).
Place hold
4.
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
5.
Principles of model checking

by Baier, Christel | Katoen, Joost-Pieter.

Language: English Publisher: Cambridge The MIT Press 2008Availability: Items available for loan: Central Library [Call number: 004.24 BAI/P] (5). Items available for reference: Central Library [Call number: 004.24 BAI/P] (1).
Place hold
6.
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] (13). Items available for reference: Central Library [Call number: 006.31 GOO/D] (1).
Checked out (2).
Place hold
7.
Machine learning: a probabilistic perspective

by Murphy, Kevin P.

Language: English Publisher: Cambridge The MIT Press 2012Availability: Items available for reference: Central Library [Call number: 006.31 MUR/M] (1). Checked out (2).
Place hold
8.
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] (7). Items available for reference: Central Library [Call number: 519.54 KOL/P] (1).
Place hold
9.
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] (3). Items available for reference: Central Library [Call number: 006.31 SUT/R] (1).
Checked out (5).
Place hold
10.
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] (2). Items available for reference: Central Library [Call number: 006.35 MAN/F] (1).
Place hold
11.
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
12.
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
13.
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).
Place hold
14.
Energy and civilization: a history

by Smil, Vaclav.

Language: English Publisher: Cambridge The MIT Press 2018Availability: Items available for loan: Central Library [Call number: 333.7909 SMI/E] (1). Items available for reference: Central Library [Call number: 333.7909 SMI/E] (1).
Place hold
15.
Energy at the crossroads: global perspectives and uncertainties

by Smil, Vaclav.

Language: English Publisher: Cambridge The MIT Press 2005Availability: Items available for loan: Central Library [Call number: 621.042 SMI/E] (1). Items available for reference: Central Library [Call number: 621.042 SMI/E] (1).
Place hold
16.
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
17.
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
18.
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
19.
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] (2). Items available for reference: Central Library [Call number: 005.1 CHL/C] (1).
Place hold
20.
AI ethics

by Coeckelbergh, Mark.

Language: English Publisher: Cambridge The MIT Press 2020Availability: Items available for loan: Central Library [Call number: 170 COE/A] (4). Items available for reference: Central Library [Call number: 170 COE/A] (1).
Checked out (2).
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.