Central Library

Your search returned 5538 results. Subscribe to this search

Unhighlight Highlight
|
Types and programming languages / 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, 2002Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2002]Online access: Abstract with links to resource Availability: No items available

Understanding intelligence / Rolf Pfeifer and Christian Scheier ; with figures by Alex Riegler and cartoons by Isabelle Follath.

by Pfeifer, Rolf, 1947- | Scheier, Christian | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

Circuit design with VHDL / Volnei A. Pedroni.

by Pedroni, Volnei A [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | NetLibrary, Inc.

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c2004Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2004]Other title: Circuit design with VHSIC hardware description language.Online access: Abstract with links to resource Availability: No items available

Qualitative methods for reasoning under uncertainty / Simon Parsons.

by Parsons, Simon [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

Turing : a novel about computation / by Christos H. Papadimitriou.

by Papadimitriou, Christos H [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

Object-oriented programming : the CLOS perspective / edited by Andreas Paepcke.

by Paepcke, Andreas | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

Systems that learn : an introduction to learning theory for cognitive and computer scientists / Daniel N. Osherson, Michael Stob, Scott Weinstein.

by Osherson, Daniel N [author.] | Stob, Michael | Weinstein, Scott | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

Evolutionary robotics : the biology, intelligence, and technology of self-organizing machines / Stefano Nolfi and Dario Floreano.

by Nolfi, Stefano [author.] | Floreano, Dario | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

Using hard problems to create pseudorandom generators / Noam Nisan.

by Nisan, Noam [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1992Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Dissertation note: Revision of the author's thesis (Ph. D.)--University of California, Berkeley, 1988. Online access: Abstract with links to resource Availability: No items available

Robotics : science and systems IV / edited by Oliver Brock, Jeff Trinkle, and Fabio Ramos.

by Robotics: Science and Systems Conference (4th : 2008 : Swiss Federal Institute of Technology) | Brock, Oliver | Trinkle, Jeffrey C | Ramos, Fabio | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

Reasoning about rational agents / Michael Wooldridge.

by Wooldridge, Michael J, 1966- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

The AI business : the commercial uses of artificial intelligence / edited by Patrick H. Winston, Karen A. Prendergast.

by Winston, Patrick Henry | Prendergast, Karen A | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

The analysis of feedback systems / [by] Jan C. Willems.

by Willems, Jan C [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

Extrapolation, interpolation, and smoothing of stationary time series, with engineering applications/ / Norbert Wiener.

by Wiener, Norbert, 1894-1964 | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: [Cambridge, Massachusetts] : Technology Press of the Massachusetts Institute of Technology, [1957]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1949]Online access: Abstract with links to resource Availability: No items available

Multiagent systems : a modern approach to distributed artificial intelligence / [edited by] Gerhard Weiss.

by Weiss, Gerhard, 1962- [ed.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

Technology and social inclusion : rethinking the digital divide / Mark Warschauer.

by Warschauer, Mark [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | NetLibrary, Inc.

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

Concepts, techniques, and models of computer programming / Peter Van Roy, Seif Haridi.

by Van-Roy, Peter [author.] | Haridi, Seif | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

Online stochastic combinatorial optimization / Pascal Van Hentenryck and Russell Bent.

by Van Hentenryck, Pascal [author.] | Bent, Russell | 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, [2009]Online access: Abstract with links to resource Availability: No items available

Logic programming : proceedings of the eleventh International Conference on Logic Programming / edited by Pascal Van Hentenryck.

by Van Hentenryck, Pascal | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

Aligning modern business processes and legacy systems : a component-based perspective / Willem-Jan van den Heuvel ; foreword by Michael L. Brodie.

by Heuvel, Willem-Jan van den [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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