Results of search for 'ccl=Provider:MIT Press,'

Results
	21.	Theory of recursive functions and effective computability / Hartley Rogers, Jr. by Rogers, H. (Hartley), 1926- Edition: 1st MIT Press pbk. ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, 1987 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA9.615 .R64 1987. Place hold Add to cart (remove)
	22.	Principles of data mining / David Hand, Heikki Mannila, Padhraic Smyth. by Hand, D. J. (David J.), 1950- Mannila, Heikki Smyth, Padhraic Series: Adaptive computation and machine learning Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, 2001 Availability: Items available for loan: Informatics and Virtual Education Library Collection (2)Call number: QA76.9.D343 H38 2001, ... Place hold Add to cart (remove)
	23.	Synchronization of parallel programs / F. André, D. Herman, and J.-P. Verjus ; translated by J. Howlett. by André, Françoise Herman, Daniel Verjus, J.-P Series: MIT Press series in scientific computation Edition: 1st MIT Press ed. Material type: Text; Format: print ; Literary form: Not fiction Language: engfre Publication details: Cambridge, Mass : MIT Press, 1985 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.6 .A4913 1985. Place hold Add to cart (remove)
	24.	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)
	25.	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)
	26.	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)
	27.	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)
	28.	Effective documentation : what we have learned from research / edited by Stephen Doheny-Farina. by Doheny-Farina, Stephen Series: The MIT Press series in information systems Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1988 Availability: Items available for loan: Earth Sciences and Engineering Library Collection (1)Call number: T10.5 .E34 1988. Place hold Add to cart (remove)
	29.	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)
	30.	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)
	31.	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)
	32.	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)
	33.	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)
	34.	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)
	35.	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)
	36.	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)
	37.	The Computer age : a twenty-year view / edited by Michael L. Dertouzos and Joel Moses. by Dertouzos, Michael L Moses, Joel Series: MIT bicentennial studies Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1979 Availability: Items available for loan: Informatics and Virtual Education Library Collection (1)Call number: QA76.9.C66 C63 1979. Place hold Add to cart (remove)
	38.	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)
	39.	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)
	40.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 140 results.