ばいちょ(売価調査)、価格比較とネットでのお買い物を楽に

Bar
お店のコメント(スペック情報を含む場合もあり)

内容説明
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors’ previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subject, with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.

お店
アマゾン (amazon)
お店の商品コード
0521898854
JANコード
-
メーカー
J. Roger Hindley

お店の、この商品ページへ直行
商品ジャンル

商品名
最終調査日時
2013/02/25 (Mon) 17:46:52
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2013/02/25 (Mon) 17:46:52
¥6,497
0 %
¥6,497
2012/04/23 (Mon) 09:39:59
¥5,467
0 %
¥5,467
2012/02/05 (Sun) 17:28:11
¥5,163
0 %
¥5,163
商品検索
 商品名 ※スペース区切りで複数キーワード(and・絞り込み)可
検索オプション検索オプションを展開する検索オプションをたたむ
 JANコード(バーコード)
  お店のコード
【取得NG】(売切れ?)のものを表示
※「しない」を選択すると、掲載落ち(売切れ)と思われる商品は表示しません。
検索の対象にするお店
店舗を選択しない結果に含めたいお店にチェックをつけてください。
全てOFFにしたり、10店より多く選択すると全店が対象となります。
ioPLAZA
アイテムポスト
アイリスプラザ
秋葉館
アニメイト
アマゾン
あみあみ
Arcland
イオンショップ
イシバシ楽器
イトーヨーカドー
eカシオ
イーカプコン
ECカレント
NTT-X
エレコム
オフィスデポ
OLYMPUS
キタムラ
Qoo10
K’sデンキ
コジマ
コメリ
サンワ
上海問屋
ジャパネットたかた
ジュリアインテリア
すぃーとあっぷるぱい
セブンネット
センチュリー
ソフマップ
たのめーる
タミヤショップ
タンタン
ツクモ
DMM
DCM
デンマート
トイザらス
ドスパラ
ナチュラム
日本文化センター
nojima
バッファロー
パソコン工房
パソ電
ビックカメラ
PCワンズ
フルイチ
ブラザー
プレミアムバンダイ
PREMOA
ベスト電器
見てね価格
ムラウチ
ムラウチ
Yamagaiwa
ヤマダ電機
東急ハンズ
条件クリア
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
このお店の商品コード類似品
The Cambridge Star Atlas: Wil Tirion: 洋書
Bacterial Adhesion to Host Tissues: Mechanisms and Consequences (Advances in Molecular and Cellular Microbiology): Michael Wilson: 洋書
The Derveni Papyrus: Cosmology, Theology and Interpretation: Gabor Betegh: 洋書
Mechanics of Composite Structures: Laszlo P. Kollar, George S. Springer: 洋書
History and the Supernatural in Medieval England (Cambridge Studies in Medieval Life and Thought: Fourth Series): C. S. Watkins: 洋書
Data Envelopment Analysis: Theory and Techniques for Economics and Operations Research [ハードカバー]
Isoperimetric Inequalities: Differential Geometric and Analytic Perspectives (Cambridge Tracts in Mathematics): Isaac Chavel: 洋書
Galois Theories (Cambridge Studies in Advanced Mathematics): Francis Borceux, George Janelidze: 洋書
Noble Gas Geochemistry: Minoru Ozima, Frank A. Podosek: 洋書
The History of Family Business, 1850?2000 (New Studies in Economic and Social History): Andrea Colli: 洋書
Strange Parallels: Volume 1, Integration on the Mainland: Southeast Asia in Global Context, c.800?1830 (Studies in Comparative World History): Victor Lieberman: 洋書
The Cambridge Guide to Teaching English to Speakers of Other Languages [ペーパーバック]
Majority Rule or Minority Will: Adherence to Precedent on the U.S. Supreme Court: Harold J. Spaeth, Jeffrey A. Segal: 洋書
Basic Aerodynamics: Incompressible Flow (Cambridge Aerospace Series): Gary A. Flandro, Howard M. McMahon, Robert L. Roach: 洋書
Pharmacogenetics of Psychotropic Drugs [ハードカバー]
The Compact NASA Atlas of the Solar System: Ronald Greeley, Raymond Batson: 洋書
Ransom, Revenge, and Heroic Identity in the Iliad: Donna F. Wilson: 洋書
Computational Aeroacoustics: A Wave Number Approach (Cambridge Aerospace Series) [ハードカバー]
<title>Amazon.co.jp: Large-Scale Atmosphere-Ocean Dynamics: Volume 1: Analytical Methods and Numerical Models: John Norbury, Ian Roulstone: 洋書</ title>
Solar System Voyage [ハードカバー]
広告