|
|
Data-parallel programming on MIMD computers / Philip J. Hatcher, Michael J. Quinn.
by Hatcher, Philip J [author.] | Quinn, Michael J. (Michael Jay) | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 1991Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1991]Online access: Abstract with links to resource Availability: No items available
|
|
|
From logic to logic programming / Kees Doets.
by Doets, Kees [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
|
|
|
Basic category theory for computer scientists / Benjamin C. Pierce.
by Pierce, Benjamin C [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1991Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1991]Online access: Abstract with links to resource Availability: No items available
|
|
|
Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm.
by Goguen, Joseph [author.] | Malcolm, Grant | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Online access: Abstract with links to resource Availability: No items available
|
|
|
Constraint-based reasoning / edited by Eugene C. Freuder and Alan K. Mackworth.
by Freuder, Eugene C | Mackworth, Alan K | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
|
|
|
The LOCUS distributed system architecture / edited by Gerald Popek and Bruce J. Walker.
by Popek, Gerald | Walker, Bruce James, 1951- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1985Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available
|
|
|
Numerica : a modeling language for global optimization / Pascal Van Hentenryck, Laurent Michel, Yves Deville.
by Van Hentenryck, Pascal [author.] | Michel, Laurent | Deville, Yves, 1960- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Online access: Abstract with links to resource Availability: No items available
|
|
|
Quantum computing without magic : devices / Zdzislaw Meglicki.
by Meglicki, Zdzislaw, 1953- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available
|
|
|
Scalable input/output : achieving system balance / edited by Daniel A. Reed.
by Reed, Daniel A. (Daniel Allen), 1957- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c2004Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available
|
|
|
PVM--parallel virtual machine : a users' guide and tutorial for networked parallel computing / Al Geist ... [et al.].
by Geist, Al | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
|
|
|
LISP 1.5 programmer's manual / the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology ; John McCarthy ... [et al. ; written by Michael I. Levin].
by Levin, Michael I | McCarthy, John, 1927-2011 | IEEE Xplore (Online Service) [distributor.] | Massachusetts Institute of Technology [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 1985Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1962]Online access: Abstract with links to resource Availability: No items available
|
|
|
The MIT guide to science and engineering communication / James G. Paradis and Muriel L. Zimmerman.
by Paradis, James G, 1942- | Zimmerman, Muriel L | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c2002Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2002]Online access: Abstract with links to resource Availability: No items available
|
|
|
Materialized views : techniques, implementations, and applications / edited by Ashish Gupta, Inderpal Singh Mumick ; foreword by Jeffrey D. Ullman.
by Mumick, Inderpal Singh | Gupta, Ashish, 1968- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 1999Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1999]Online access: Abstract with links to resource Availability: No items available
|
|
|
A little Java, a few patterns / Matthias Felleisen, Daniel P. Friedman ; drawings by Duane Bibby ; foreword by Ralph E. Johnson.
by Felleisen, Matthias [author.] | Friedman, Daniel P | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1998Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Online access: Abstract with links to resource Availability: No items available
|
|
|
High technology and low-income communities : prospects for the positive use of advanced information technology / edited by Donald A. Sch�on, Bish Sanyal, William J. Mitchell.
by Mitchell, William J. (William John), 1944- | Sanyal, Bishwapriya | Sch�on, Donald A | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | NetLibrary, Inc. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1999Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1998]Online access: Abstract with links to resource Availability: No items available
|
|
|
The first 100 feet : options for Internet and Broadband access / edited by Deborah Hurley and James H. Keller.
by Keller, James | Hurley, Deborah | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | NetLibrary, Inc. Material type: Book; Format:
available online
Publisher: Cambridge, Mass : MIT Press, c1999Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1999]Online access: Abstract with links to resource Availability: No items available
|
|
|
Artificial intelligence in perspective / edited by Daniel G. Bobrow.
by Bobrow, Daniel G. (Daniel Gureasko), 1935- | MIT Press [publisher.] | IEEE Xplore (Online Service) [distributor.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
|
|
|
Knowledge representation / edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter.
by Brachman, Ronald J, 1949- | Levesque, Hector J, 1951- | Reiter, Ray | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Edition: 1st MIT Press ed.Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 1992Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1992]Online access: Abstract with links to resource Availability: No items available
|
|
|
Computational theories of interaction and agency / edited by Philip E. Agre and Stanley J. Rosenschein.
by Agre, Philip | Rosenschein, Stanley J | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Online access: Abstract with links to resource Availability: No items available
|
|
|
A century of electrical engineering and computer science at MIT, 1882-1982 / Karl L. Wildes and Nilo A. Lindgren.
by Wildes, Karl L [author.] | Lindgren, Nilo A | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 1985Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1985]Online access: Abstract with links to resource Availability: No items available
|