Your search returned 3020 results. Subscribe to this search

|
Press on : principles of interaction programming / Harold Thimbleby.

by Thimbleby, Harold [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, [2010]Online access: Abstract with links to resource Availability: No items available

Advances in the evolutionary synthesis of intelligent agents / edited by Mukesh Patel, Vasant Honavar, Karthik Balakrishnan.

by Patel, Mukesh [author.] | Honavar, Vasant | Balakrishnan, Karthik, 1970- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

A small matter of programming : perspectives on end user computing / Bonnie A. Nardi.

by Nardi, Bonnie A [author.] | 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

Automatic algorithm recognition and replacement : a new approach to program optimization / Robert Metzger and Zhaofang Wen.

by Metzger, Robert C [author.] | Wen, Zhaofang | 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, [2000]Online access: Abstract with links to resource Availability: No items available

Constraint-based grammar formalisms : parsing and type inference for natural and computer languages / Stuart M. Shieber.

by Shieber, Stuart M [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]Online access: Abstract with links to resource Availability: No items available

The computer boys take over : computers, programmers, and the politics of technical expertise / Nathan Ensmenger.

by Ensmenger, Nathan, 1972- | 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, [2012]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

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

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

Concurrent constraint programming / Vijay A. Saraswat.

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

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

A grammatical view of logic programming / Pierre Deransart, Jan Ma�uszy�nski.

by Deransart, Pierre [author.] | Ma�uszy�nski, Jan | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Institut national de recherche en informatique et en automatique (France).

Material type: book Book; Format: available online remote Publisher: Le Chesnay, France : Institut national de recherche en informatique et en automatique, 1988Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available

Advances in genetic programming / [edited by] P. Angeline and Kenneth E. Kinnear, Jr.

by Angeline, Peter J [editor.] | Kinnear, Kenneth E., Jr [editor.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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

Research directions in concurrent object-oriented programming / edited by Gul Agha, Peter Wegner, and Akinori Yonezawa.

by Agha, Gul A | Wegner, Peter | Yonezawa, Akinori | 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, [2003]Online access: Abstract with links to resource Availability: No items available

Logic programming : proceedings of the Tenth International Conference on Logic Programming / edited by David S. Warren.

by International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) | Warren, David S | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Association for Logic Programming | Bull Hungary.

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

Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / edited by by Leon S. Sterling.

by Sterling, Leon S [editor.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Logic Programming Conference (12th : 1995 : Tokyo, Japan).

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

Logic programming and non-monotonic reasoning : proceedings of the first international workshop / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian.

by Nerode, Anil, 1932- | Marek, Wiktor | Subrahmanian, V. S | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Association for Logic Programming.

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

Logic programming : proceedings of the Fourteenth International Conference on Logic Programming / edited by Lee Naish.

by International Conference on Logic Programming (14th : 1997 : Leuven, Belgium) | Naish, Lee, 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]Other title: ICLP '97.Online access: Abstract with links to resource Availability: No items available

Logic programming : proceedings of the 1997 International Symposium / edited by Jan Ma�uszy�nski.

by Ma�uszy�nski, J. (Jan), 1941- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.] | Association for Logic Programming | International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.).

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Other title: ILPS '97.Online access: Abstract with links to resource Availability: No items available