Results of search for 'ccl=Provider:MIT Press, and location:GEN and (( (allrecords,AlwaysMatches='') and (not-onloan-count,st-numeric >= 1) and (lost,st-numeric=0) ))'

Results
	21.	Abstraction and specification in program development / Barbara Liskov and John Guttag. by Liskov, B Guttag, John Series: The MIT electrical engineering and computer science series Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass.: New York : MIT Press ; McGraw-Hill, c1986 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.6 .L5655 1986. Place hold Add to cart (remove)
	22.	Performance analysis of multiple access protocols / Shuji Tasaka. by Tasaka, Shūji, 1949- Series: MIT Press series in computer systems Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1986 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: TK5105.5 .T37 1986. Place hold Add to cart (remove)
	23.	Queueing networks--exact computational algorithms : a unified theory based on decomposition and aggregation / Adrian E. Conway and Nicolas D. Georganas. by Conway, Adrian E Georganas, Nicolas D Series: Computer systems (Cambridge, Mass.) Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1989 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: TK5105.5 .C668 1989. Place hold Add to cart (remove)
	24.	Qualitative reasoning about physical systems / edited by Daniel G. Bobrow. by Bobrow, Daniel G. (Daniel Gureasko), 1935- Series: Computational models of cognition and perception Edition: 1st MIT Press ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, 1985, c1984 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: Q335.5 .Q35 1985. Place hold Add to cart (remove)
	25.	Ontic : a knowledge representation system for mathematics / David A. McAllester. by McAllester, David A Series: Artificial intelligence (Cambridge, Mass.) Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1989 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.A96 M37 1989. Place hold Add to cart (remove)
	26.	Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn. by Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy Series: Foundations of computing Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, 2000 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.L63 H37 2000. Place hold Add to cart (remove)
	27.	Making use : scenario-based design of human-computer interactions / John M. Carroll. by Carroll, John M. (John Millar), 1950- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, 2000 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.H85 C37 2000. Place hold Add to cart (remove)
	28.	The LOCUS distributed system architecture / edited by Gerald Popek and Bruce J. Walker. by Popek, Gerald Walker, Bruce James, 1951- Series: MIT Press series in computer systems Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1985 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.76.O63 L63 1985. Place hold Add to cart (remove)
	29.	Learning networks : a field guide to teaching and learning online / Linda Harasim ... [et al.]. by Harasim, Linda M. (Linda Marie), 1949- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1995 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: LB1028.43 .L43 1995. Place hold Add to cart (remove)
	30.	Computers and thought : a practical introduction to artificial intelligence / Mike Sharples ... [et al.]. by Sharples, Mike, 1952- Series: Explorations in cognitive science ; 5 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1989 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: Q335 .C57 1989. Place hold Add to cart (remove)
	31.	Calculating machines : recent and prospective developments and their impact on mathematical physics ; and, Calculating instruments and machines / by Douglas R. Hartree ; with a new introduction by Maurice V. Wilkes. by Hartree, Douglas R. (Douglas Rayner), 1897-1958 Hartree, Douglas R. (Douglas Rayner), 1897-1958. Calculating instruments and machines Series: The Charles Babbage Institute reprint series for the history of computing ; v. 6 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : Los Angeles : MIT Press ; Tomash Publishers, c1984 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA85 .H3 1984. Place hold Add to cart (remove)
	32.	Digital ground : architecture, pervasive computing, and environmental knowing / Malcolm McCullough. by McCullough, Malcolm Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c2004 Availability: Items available for loan: Informatics and Virtual Education Library Collection (2)Call number: QA76.9.A73 M45 2004, ... Place hold Add to cart (remove)
	33.	The copyright book : a practical guide / William S. Strong. by Strong, William S Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1999 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: KF2994 .S75 1999. Place hold Add to cart (remove)
	34.	Social thinking-software practice / edited by Yvonne Dittrich, Christiane Floyd, and Ralf Klischewski. by Dittrich, Yvonne, 1964- Floyd, Christiane Klischewski, Ralf, 1962- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c2002 Online access: Table of contents Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.76.D47 S597 2002. Place hold Add to cart (remove)
	35.	Implementation of a general-purpose dataflow multiprocessor / Gregory M. Papadopoulos. by Papadopoulos, Gregory Michael Series: Research monographs in parallel and distributed computing Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Cambridge, Mass. : Pitman ; MIT Press, 1991 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.5 .P29 1990. Place hold Add to cart (remove)
	36.	Software agents / edited by Jeffrey M. Bradshaw. by Bradshaw, Jeffrey M Material type: Text; Format: print ; Literary form: Not fiction Publication details: Menlo Park, Calif. : Cambridge, Mass. : AAAI Press ; MIT Press, c1997 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.76.I58 S64 1997. Place hold Add to cart (remove)
	37.	Introduction to machine learning / Ethem Alpaydın. by Alpaydin, Ethem Series: Adaptive computation and machine learning Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c2004 Availability: Items available for loan: Informatics and Virtual Education Library Collection (2)Call number: Q325.5 .A46 2004, ... Place hold Add to cart (remove)
	38.	Digital nation : toward an inclusive information society / Anthony G. Wilhelm. by Wilhelm, Anthony G Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c2004 Online access: Table of contents Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: HM851 .W55 2004. Place hold Add to cart (remove)
	39.	The computational brain / Patricia S. Churchland and Terrence J. Sejnowski. by Churchland, Patricia Smith Sejnowski, Terrence J. (Terrence Joseph) Series: Computational neuroscience Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1992 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QP356 .C48 1992. Place hold Add to cart (remove)
	40.	Neural networks for vision and image processing / edited by Gail A. Carpenter and Stephen Grossberg. by Carpenter, Gail A Grossberg, Stephen, 1939- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1992 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.87 .N4857 1992. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 101 results.