|
|
Press on : principles of interaction programming / Harold Thimbleby.
by Thimbleby, Harold [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
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; Format:
available online
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; Format:
available online
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; Format:
available online
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; Format:
available online
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; Format:
available online
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; 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
|
|
|
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
|
|
|
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
|
|
|
Concurrent constraint programming / Vijay A. Saraswat.
by Saraswat, Vijay [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
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; Format:
available online
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; Format:
available online
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; Format:
available online
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; Format:
available online
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; Format:
available online
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; Format:
available online
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; Format:
available online
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; Format:
available online
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
|