Your search returned 36 results.

21.
Thinking as Computation: a first course by Hector J. Levesque

by Levesque, Hector J.

Material type: Text Text Publication details: Cambridge MIT Press 2012Availability: Items available for reference: Not for loanCall number: REF 006.3 LEV (1). :

Request article Add to cart
22.
Foundations of Statistical Natural Language Processing by Christopher D. Manning

by Manning, Christopher D | Schütze, Hinrich.

Material type: Text Text Publication details: Cambridge MIT Press 1999Availability: Items available for reference: Not for loanCall number: REF 006.35 MAN (1). :

Request article Add to cart
23.
Expressive Processing: digital fictions, computer games, and software studies by Noah Wardrip-Fruin.

by Wardrip-Fruin, Noah.

Material type: Text Text Publication details: Cambridge, Massachusetts MIT Press 2009Availability: Items available for reference: Not for loanCall number: REF 006.7 WAR (1). :

Request article Add to cart
24.
Bioinformatics: the machine learning approach Baldi Pierre

by Baldi, Pierre | Brunak, Soren.

Edition: 2nd ed.Material type: Text Text Publication details: Cambridge MIT Press 2001Availability: Items available for loan: Call number: 572.86 BAL (1).

Place hold Request article Add to cart
25.
Scientific Collaboration on the Internet Edited by Gary M. Olson

by Olson, Gary M | Bos, Nathan | Zimmerman, Ann.

Material type: Text Text Publication details: London MIT Press 2008Availability: Items available for reference: Not for loanCall number: REF 507.2 OLS (1). :

Request article Add to cart
26.
Definition of Standard ML Robin Milner ...[et al.].

by Milner, Robin | Harper, Robert | Tofte, Mads.

Material type: Text Text Publication details: Cambridge MIT Press 1997Availability: Items available for loan: Call number: 005.133 MIL (1).

Place hold Request article Add to cart
27.
Error-Correcting Codes W Wesley Peterson

by Peterson, W. Wesley | E J Weldon.

Edition: 2nd edMaterial type: Text Text Publication details: Cambridge MIT Press 1988Availability: Items available for reference: Not for loanCall number: REF 621.38 PET (1). :

Request article Add to cart
28.
Formal Semantics of Programming Languages: an introduction Glynn Winskel

by Winskel, Glynn.

Material type: Text Text Publication details: Cambridge MIT Press 1993Availability: Items available for reference: Not for loanCall number: REF 005.3 WIN (1). :

Request article Add to cart
29.
Foundations for Programming Languages John C Mitchell

by Mitchell, John C.

Material type: Text Text Publication details: Cambridge MIT Press 2000Availability: Items available for reference: Not for loanCall number: REF 005.3 MIT (1). :

Request article Add to cart
30.
Imitation of Life: how Biology is Inspiring Computing Nancy Forbes

by Forbes, Nancy.

Material type: Text Text Publication details: Cambridge MIT Press 2004Availability: Items available for loan: Call number: 570 FOR (2).

Place hold Request article Add to cart
31.
Semantics of Programming Languages : structures and Techniques Carl A. Gunter

by Gunter, Carl A.

Material type: Text Text Publication details: Cambridge MIT Press 1992Availability: Items available for loan: Call number: 005.13 GUN (1).

Place hold Request article Add to cart
32.
System Modeling in Cellular Biology: from concepts to nits and bolts Zoltan Szallasi

by Szallasi, Zoltan | Periwal, Vipul | Stelling, Jorg.

Material type: Text Text Publication details: Cambridge MIT Press 2006Availability: Items available for reference: Not for loanCall number: REF 571.6011 SZA (1). :

Request article Add to cart
33.
Theoretical Aspects of Object-Oriented Programming: types, semantics, and language design Carl A Gunter

by Gunter, Carl A | Mitchell, John C.

Material type: Text Text Publication details: Cambridge MIT Press 1994Availability: Items available for reference: Not for loanCall number: REF 005.1 GUN (1). :

Request article Add to cart
34.
Introduction to Algorithms by Thomas H. Cormen

by Cormen, Thomas H | Leiserson, Charles | Rivest, Ronald L | Stein, Clifford.

Edition: 4th Ed. Publication details: London MIT Press 2022Online access: Click here to access online Availability: Items available for reference: Not for loanCall number: REF 005.1 COR (1). :

Request article Add to cart
35.
Algorithms Unlocked by Thomas H. CormenThomas H. Cormen

by Cormen, Thomas H.

Publication details: London MIT Press 2013Availability: Items available for loan: Call number: 005.1 COR (2).

Place hold Request article Add to cart
36.
Probabilistic Graphical Models: principles and techniques by Daphne Koller

by Koller, Daphne | Friedman, Nir.

Publication details: London MIT Press 2009Availability: Items available for reference: Not for loanCall number: REF 519.5420285 KOL (1). : Checked out (1).

Place hold Request article Add to cart

Library Home | Contact Us | LRC Help

Copyright @ 2020 LRC
Jaypee University of Information Technology
website hit counter

Powered by Koha