Your search returned 2965 results. Subscribe to this search

|
Social modeling for requirements engineering / edited by Eric Yu ... [et al.].

by Yu, Eric S. K, 1951- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c2011Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2010]Online access: Abstract with links to resource Availability: No items available

Control and freedom : power and paranoia in the age of fiber optics / Wendy Hui Kyong Chun.

by Chun, Wendy Hui-Kyong, 1969- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c2006Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available

Reinventing the automobile : personal urban mobility for the 21st century / William J. Mitchell, Christopher E. Borroni-Bird, and Lawrence D. Burns.

by Mitchell, William J. (William John), 1944- | Burns, Lawrence D | Borroni-Bird, Chris | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c2010Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2010]Online access: Abstract with links to resource Availability: No items available

Artificial intelligence and learning environments / edited by W.J. Clancey and E. Soloway.

by Clancey, William J | Soloway, Elliot | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Source: Artificial intelligence ;Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, 1990Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1990]Online access: Abstract with links to resource Availability: No items available

Learning in embedded systems / by Leslie Pack Kaelbling.

by Kaelbling, Leslie Pack [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Stanford, Calif. : Dept. of Computer Science, Stanford University, [c1990]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available

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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote 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 Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1999Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1998]Online access: Abstract with links to resource Availability: No items available