|
|
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; Format:
available online
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; Format:
available online
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; Format:
available online
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; Format:
available online
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; Format:
available online
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; 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
|