PKK Library catalog › Results of search for 'pb:MIT '

Refine your search

Availability
- Limit to currently available items.
Authors
- Abelson, Harold (15)
- Cormen,Thomas H., Leiserson,Charles E. (6)
- Rivest,Ronald L. (6)
- Sussman, Julie (13)
- Tavakolian, Susan L [ed.] (4)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (826)
Home libraries
- PK Kelkar Library, IIT Kanpur (826)
Item types
- Books (767)
- Bound Volume (10)
- Electronic Journals (32)
- Reference (10)
- Text Books (21)
- Show more
Series
Topics
- Algorithms (18)
- Artificial Intelligence (27)
- Cognition (14)
- Electronic Digital Computers -- Programming (18)
- Lisp (Computer Program Language) (13)
- Show more
Titles
- Space and time (1)

	181.	ELBOW ROOM by Dennett, Daniel Clement. Material type: Book; Format: print ; Literary form: not fiction Description: x,200.Publisher: Cambridge Mit Press 1984Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 123.5 D419e] (1). Add to cart (remove)
	182.	EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE by O'Donnell, Michael J. Material type: Book; Format: print ; Literary form: not fiction Description: 297.Publisher: Cambridge Mit Pr. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Ob5e] (1). Place hold Add to cart (remove)
	183.	FULL ABSTRACTION AND SEMANTIC EQUIVALENCE by Mulmuley, Ketan. Material type: Book; Format: print ; Literary form: not fiction Description: 198.Publisher: Cambridge Mit Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M918fa] (1). Place hold Add to cart (remove)
	184.	ABSTRACTION AND SPECIFICATION IN PROGRAM DEVELOPMENT by Liskov, Barbara \| Guttag, John. Material type: Book; Format: print ; Literary form: not fiction Description: xv,469.Publisher: Cambridge Mit Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L688a] (1). Place hold Add to cart (remove)
	185.	RESEARCH DIRECTIONS OF SOFTWARE TECHNOLOGY by Wegner, Peter [ed.]. Material type: Book; Format: print ; Literary form: not fiction Description: xiii, 869p.Publisher: Cambridge Mit Press 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 R311] (1). Place hold Add to cart (remove)
	186.	AADIKAND by Bandyopadhyay. Material type: Book; Format: print ; Literary form: not fiction Description: 138.Publisher: Cambridge Mit Press 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 891.433 B222A] (1). Place hold Add to cart (remove)
	187.	Algorithmic program debugging by Shapiro, Ehud Y. Material type: Book; Format: print ; Literary form: not fiction Description: xiv, 232p.Publisher: Cambridge The Mit Press 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Sh22a] (1). Place hold Add to cart (remove)
	188.	Parallel distributed processing [2vols] : explorations in the microstructure of cognition by Mcclelland, James J \| Rumelhart, David E. Material type: Book; Format: print ; Literary form: not fiction Description: 2v, (various pagings).Publisher: Cambridge The MIT Press 1986Availability: No items available Checked out (2). Place hold Add to cart (remove)
	189.	STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS by Abelson, Harold \| Sussman, Julie. Material type: Book; Format: print ; Literary form: not fiction Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1). Add to cart (remove)
	190.	STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS by Abelson, Harold \| Sussman, Julie. Material type: Book; Format: print ; Literary form: not fiction Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1). Add to cart (remove)
	191.	STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS by Abelson, Harold \| Sussman, Julie. Material type: Book; Format: print ; Literary form: not fiction Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1). Add to cart (remove)
	192.	COMPUTER COMES OF AGE by Moreau, R. Material type: Book; Format: print ; Literary form: not fiction Description: x,227.Publisher: Cambridge, Mass. Mit Press 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6409 M813c] (1). Place hold Add to cart (remove)
	193.	STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS by Abelson, Harold \| Sussman, Julie. Material type: Book; Format: print ; Literary form: not fiction Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1). Add to cart (remove)
	194.	STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS by Abelson, Harold \| Sussman, Julie. Material type: Book; Format: print ; Literary form: not fiction Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1). Add to cart (remove)
	195.	STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS by Abelson, Harold \| Sussman, Julie. Material type: Book; Format: print ; Literary form: not fiction Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1). Add to cart (remove)
	196.	STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS by Abelson, Harold \| Sussman, Julie. Material type: Book; Format: print ; Literary form: not fiction Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1). Add to cart (remove)
	197.	Structure and interpretation of computer programs by Abelson, Harold \| Sussman, Gerald Jay. Material type: Book; Format: print ; Literary form: not fiction Description: xx, 542p.Publisher: Cambridge MIT Press 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s Cop.3] (1). Place hold Add to cart (remove)
	198.	STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS by Abelson, Harold \| Sussman, Julie. Material type: Book; Format: print ; Literary form: not fiction Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1). Add to cart (remove)
	199.	STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS by Abelson, Harold \| Sussman, Julie. Material type: Book; Format: print ; Literary form: not fiction Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1). Add to cart (remove)
	200.	KNOWLEDGE & THE FLOW OF INFORMATION by Dretske, Fred I. Material type: Book; Format: print ; Literary form: not fiction Description: xiv,273.Publisher: Cambridge Mit Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121 D818k] (1). Place hold Add to cart (remove)

PKK Library

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Authors

Item types

Series

Topics

Titles