Koha online

HTML5 Icon

Your search returned 19 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] (8). Items available for reference: Central Library [Call number: 004.16 NIS/E] (1).
Lost (1).
Place hold
2.
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
3.
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
4.
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
5.
Machine learning: a probabilistic perspective

by Murphy, Kevin P.

Language: English Publisher: Cambridge The MIT Press 2012Availability: Items available for loan: Central Library [Call number: 006.31 MUR/M] (2). Items available for reference: Central Library [Call number: 006.31 MUR/M] (1).
Place hold
6.
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
7.
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
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.
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
10.
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
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.
AI ethics

by Coeckelbergh, Mark.

Language: English Publisher: Cambridge The MIT Press 2020Availability: Items available for loan: Central Library [Call number: 170 COE/A] (6). Items available for reference: Central Library [Call number: 170 COE/A] (1).
Place hold
14.
Introduction to machine learning

by Alpaydin, Ethem.

Edition: 4th ed. Language: English Publisher: Cambridge The MIT Press 2020Availability: Items available for loan: Central Library [Call number: 006.31 ALP/I] (6). Items available for reference: Central Library [Call number: 006.31 ALP/I] (1).
Checked out (1).
Place hold
15.
The elusive quest for growth: economists' adventures and misadventures in the tropics

by Easterly, William.

Language: English Publisher: Cambridge The MIT Press 2002Availability: Items available for loan: Central Library [Call number: 338.90091724 EAS/E] (2). Items available for reference: Central Library [Call number: 338.90091724 EAS/E] (1).
Place hold
16.
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
17.
Lectures on the Philosophy of Mathematics

by Hamkins, Joel David.

Language: English Publisher: United STates of America -- The MIT Press -- 2021Availability: Items available for reference: Central Library [Call number: 511.36 HAM/P] (1).
18.
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
19.
Proof and the Art of Mathematics: Examples and Extensions

by Hamkins, Joel David.

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

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.