Central Library

Your search returned 4 results. Subscribe to this search

Unhighlight Highlight
|
Performance and evaluation of Lisp systems / Richard P. Gabriel.

by Gabriel, Richard P [author.] | 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, [1985]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

Structure and interpretation of computer programs / Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis.

by Abelson, Harold [author.] | Sussman, Gerald Jay | Sussman, Julie | 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, [1996]Online access: Abstract with links to resource Availability: No items available

The little prover / Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More.

by Friedman, Daniel P [author.] | Eastlund, Carl | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

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