(2/31)冊
-
ANSI Common Lisp (スタンダードテキスト)
(ポール グレアム / ピアソンエデュケーション)
-
LISP入門 (電子計算機のプログラミング 7)
(黒川 利明 / 培風館)
-
DNAコンピュータ
( / 培風館)
-
Object-Oriented Programming in Common Lisp: A Programmer's Guide to CLOS
(Sonya E. Keene / Addison-Wesley Professional)
-
論理学をつくる
(戸田山 和久 / 名古屋大学出版会)
-
LISP (情報処理シリーズ (4))
(P.H.ウィンストン, B.K.P.ホーン / 培風館)
-
Programming Common Lisp Object System***
(LAWLESS MILLER / Longman Higher Education)
-
モデルと表現 (岩波講座 ソフトウェア科学)
(米沢 明憲, 柴山 悦哉 / 岩波書店)
-
Common Lispハンドブック (岩波コンピュータサイエンス)
( / 岩波書店)
-
Common LISP―Common LISP言語仕様書
(Guy L.,Jr. Steele / 共立出版)
-
ファインマン計算機科学
(ファインマン, A.ヘイ, R.アレン / 岩波書店)
-
COMMON LISP 第2版
(Guy L.Steele Jr. / 共立出版)
-
GNU Emacs Lisp リファレンス・マニュアル
(Bil Lewis, Richard Stallman, Dan LaLiberte, the GNU Manual Group / 透土社)
-
初めての人のためのLISP (ソフトウェアライブラリ (3))
(竹内 郁雄 / サイエンス社)
-
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
(高橋 正子 / 近代科学社)
-
LISPマシン・プログラミング技法 (Computation & software science)
(ハンク ブロムリー, リチャード ラムソン / マグロウヒル出版)
-
ABCL: An Object-Oriented Concurrent System (Computer Systems Series)
( / The MIT Press)
-
GNU Emacs Lisp Manual―Version 18 2nd DRAFT
(Free Software Foundation / ビレッジセンター出版局)
-
岩波講座 ソフトウェア科学〈〔理論〕13〉プログラムの基礎理論
(佐藤 雅彦, 桜井 貴文 / 岩波書店)
-
ファインマン・プロセッサ―夢の量子コンピュータ
(G. ミルバーン / 岩波書店)
-
Common Lisp 入門 (岩波コンピュータサイエンス)
(湯浅 太一, 萩谷 昌己 / 岩波書店)
-
GNU Emacsマニュアル
(Richard Stallman / 共立出版)
-
岩波講座 ソフトウェア科学〈〔理論〕12〉計算モデルの基礎理論
(井田 哲雄 / 岩波書店)
-
LISP〈1〉 (情報処理シリーズ)
(P.H. ウィンストン, B.K.P. ホーン / 培風館)
-
思考する機械コンピュータ (サイエンス・マスターズ)
(ダニエル ヒリス / 草思社)
-
ソフトウェア科学のための論理学 (岩波講座 ソフトウェア科学)
(萩谷 昌己 / 岩波書店)
-
Object-Oriented Programming: The CLOS Perspective
( / The MIT Press)
-
岩波講座 ソフトウェア科学〈〔処理〕8〉記号処理プログラミング
(後藤 滋樹 / 岩波書店)
-
Lisp入門―システムとプログラミング (コンピュータサイエンス大学講座)
(中西 正和 / 近代科学社)
-
GNU Emacs拡張ガイド―Emacs Lispプログラミング
(ボブ グリックステイン / オライリー・ジャパン)
-
LISP〈2〉 (情報処理シリーズ)
(P.H. ウィンストン, B.K.P. ホーン / 培風館)