Results of search for 'pl:"The MIT Press"' › RKMVERI, BELUR MATH, CENTRAL LIBRARY catalog

Results
1.		Essentials of programming languages by Daniel P. Friedman Mitchell Wand Edition: 3 Material type: Text; Format: print ; Literary form: Not fiction Publication details: The MIT Press 2008 Availability: Items available for loan: Central Library (1)Call number: 005.1 FRI(ESS). Place hold Save to lists
2.		Principles of model checking by Christel Baier Joost-Pieter Katoen Material type: Text; Format: print ; Literary form: Not fiction Publication details: The MIT Press 2008 Availability: Items available for reference: Central Library: Not for loan (1)Call number: 004.24 BAI(PRI). Save to lists
3.	Image from Amazon.com	Computability and complexity: from a programming perspective by Neil D. Jones Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1997 Availability: Items available for loan: Central Library (1)Call number: 004.01511352 JON(COM). Place hold Save to lists
4.	Image from Amazon.com	From logic to logic programming by Kees Doets Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1994 Availability: Items available for loan: Central Library (1)Call number: 005.115 DOE(LOG). Place hold Save to lists
5.	Image from Amazon.com	From logic to logic programming by Kees Doets Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1994 Availability: Items available for loan: Central Library (1)Call number: 005.115 DOE(LOG). Place hold Save to lists
6.	Image from Amazon.com	The formal semantics of programming languages: an introduction by Glynn Winskel Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1993 Availability: Items available for loan: Central Library (1)Call number: 005.131 WIN(FOR). Place hold Save to lists
7.	Image from Amazon.com	The formal semantics of programming languages: an introduction by Glynn Winskel Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1993 Availability: Items available for loan: Central Library (1)Call number: 005.131 WIN(FOR). Place hold Save to lists
8.	Image from Amazon.com	The structure of typed pogramming languages by David A. Schmidt Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1994 Availability: Items available for loan: Central Library (1)Call number: 005.131 SCH(STR). Place hold Save to lists
9.	Image from Amazon.com	The structure of typed pogramming languages by David A. Schmidt Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1994 Availability: Items available for loan: Central Library (1)Call number: 005.131 SCH(STR). Place hold Save to lists
10.	Image from Amazon.com	The reasoned scheme by Daniel P. Friedman William E. Byrd Oleg Kiselyov Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 2005 Availability: Items available for loan: Central Library (1)Call number: 005.133 FRI(REA). Place hold Save to lists
11.	Image from Amazon.com	The reasoned scheme by Daniel P. Friedman William E. Byrd Oleg Kiselyov Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 2005 Availability: Items available for loan: Central Library (1)Call number: 005.133 FRI(REA). Place hold Save to lists
12.	Image from Amazon.com	Algebraic semantics of imperative programs by Joseph A. Goguen Grant Malcolm Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1996 Availability: Items available for loan: Central Library (1)Call number: 005.131 GOG(ALG). Place hold Save to lists
13.	Image from Amazon.com	Algebraic semantics of imperative programs by Joseph A. Goguen Grant Malcolm Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1996 Availability: Items available for loan: Central Library (1)Call number: 005.131 GOG(ALG). Place hold Save to lists
14.	Image from Amazon.com	The art of Prolog by Leon Sterling Ehud Shapiro Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1994 Availability: Items available for loan: Central Library (1)Call number: 005.133 STE(ART). Place hold Save to lists
15.	Image from Amazon.com	The art of Prolog by Leon Sterling Ehud Shapiro Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1994 Availability: Items available for loan: Central Library (1)Call number: 005.133 STE(ART). Place hold Save to lists
16.	Image from Amazon.com	Advances in object-oriented data modeling by Michael P. Papazoglou (Ed.) Stefano Spaccapietra (Ed.) Zahir Tari (Ed.) Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 2000 Availability: Items available for loan: Central Library (1)Call number: 005.117 ADV. Place hold Save to lists
17.	Image from Amazon.com	Advances in object-oriented data modeling by Michael P. Papazoglou (Ed.) Stefano Spaccapietra (Ed.) Zahir Tari (Ed.) Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 2000 Availability: Items available for loan: Central Library (1)Call number: 005.117 ADV. Place hold Save to lists
18.	Image from Amazon.com	Beowulf cluster computing with linux by Wiliam Gropp (Ed.) Ewing Lusk (Ed.) Thomas Sterling (Ed.) Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 2003 Availability: Items available for loan: Central Library (1)Call number: 004.35 BEO. Place hold Save to lists
19.	Image from Amazon.com	How to build a Beowulf: a guide to the implementation and application of PC clusters by Thomas L. Sterling John Salmon Donald J. Becker Daniel F. Savarese Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1998 Availability: Items available for loan: Central Library (1)Call number: 004.36 HOW. Place hold Save to lists
20.	Image from Amazon.com	Algorithmic program debugging by Ehud Y. Shapiro Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The MIT Press 1983 Availability: Items available for loan: Central Library (1)Call number: 005.14 SHA(ALG). Place hold Save to lists

Refine your search

Availability

Authors

Holding libraries

Item types

Topics

Your search returned 43 results.