Your search returned 41 results.

Sort
Results
21.
22.
23.
24.
25.
Game theory Drew Fudenberg, Jean Tirole by
Publication details: Cambridge, Mass MIT Press c1991
Availability: Not available: IMAR: Checked out (1).

26.
Vision: A computational investigation into the human representation and processing of visual information David Marr by
Edition: [New ed.]
Publication details: Cambridge, Mass MIT Press c2010
Availability: Not available: IMAR: Checked out (1).

27.
Reasoning about uncertainty Joseph Y. Halpern by
Publication details: Cambridge, Mass MIT Press c2003
Availability: Not available: IMAR: Checked out (1).

28.
Principles of model checking Christel Baier, Joost-Pieter Katoen by
Publication details: Cambridge, Mass The MIT Press [2008]
Availability: Not available: IMAR: Checked out (1).

29.
Model checking Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled by
Publication details: Cambridge, Mass MIT Press c1999
Availability: Not available: IMAR: Checked out (1).

30.
Theoretical neuroscience: Computational and mathematical modeling of neural systems Peter Dayan and L.F. Abbott by Series: Computational neuroscience
Publication details: Cambridge, Mass Massachusetts Institute of Technology Press c2001
Online resources:
Availability: Not available: IMAR: Checked out (1).

31.
32.
Types and programming languages Benjamin C. Pierce by
Publication details: Cambridge, Mass. : MIT Press, 2002
Availability: Items available for loan: IMAR (1)Call number: 005.13-PIE.

33.
Dynamic logic David Harel, Dexter Kozen, Jerzy Tiuryn by Series: Foundations of computing
Publication details: Cambridge, Mass. MIT Press 2000
Availability: Not available: IMAR: Checked out (1).

34.
Mathematics and CAD series editor, Yvon Gardan ; [translated by Meg Tombs] by
Edition: 1st MIT Press ed.
Publication details: Cambridge, Mass. : MIT Press, 1986- c1985-
Availability: No items available.

35.
36.
37.
A course in game theory Martin J. Osborne, Ariel Rubinstein by
Publication details: Cambridge, Mass. : MIT Press, c1994
Availability: Items available for loan: IMAR (1)Call number: 519.3-OSB-1.

38.
Advanced topics in types and programming languages Benjamin C. Pierce, editor. by
Publication details: Cambridge, Mass. : MIT Press, c2005
Availability: Items available for loan: IMAR (1)Call number: 005.13-PIE-1.

39.
Thinking as computation : a first course / Hector J. Levesque. by
Publication details: Cambridge, Mass. : MIT Press, c2012
Availability: Items available for loan: IMAR (1)Call number: 006.3-LEV.

40.
Encyclopedic dictionary of mathematics by the Mathematical Society of Japan ; edited by Kiyosi Ito by
Edition: 2nd ed
Publication details: Cambridge, Mass: MIT Press, c1987
Availability: Items available for loan: IMAR (1)Call number: 510-KIY-1.

Pages

Powered by Koha