語系:
繁體中文
English
Francais
說明(常見問題)
回圖書館
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Abstract computing machines : a lambda calculus perspective
紀錄類型:
書目-語言資料,印刷品 : 單行本
副題名:
a lambda calculus perspective
作者:
KlugeWerner,
出版地:
Berlin
出版者:
Springer;
出版年:
c2005.
面頁冊數:
xiv, 384 p.ill. : 25 cm.;
集叢名:
Texts in theoretical computer science
標題:
Machine theory. -
標題:
Lambda calculus. -
ISBN:
3540211462
Abstract computing machines : a lambda calculus perspective
Kluge, Werner
Abstract computing machines
: a lambda calculus perspective / W. Kluge. - Berlin : Springer, c2005.. - xiv, 384 p. ; ill. ; 25 cm.. - (Texts in theoretical computer science).
Includes bibliographical references (p. [369]-375) and index..
ISBN 3540211462
Machine theory.Lambda calculus.
Abstract computing machines : a lambda calculus perspective
LDR
:00604nam0 2200181 i 450
001
144816
005
20120618210353.0
010
1
$a
3540211462
$b
hbk.
$d
NT2190
100
$a
20071203d2005 m y0engy08 b
101
$a
eng
102
$a
de
105
$a
a a 001yy
200
1
$a
Abstract computing machines
$e
a lambda calculus perspective
$f
W. Kluge.
210
$a
Berlin
$a
New York
$d
c2005.
$c
Springer
215
1
$a
xiv, 384 p.
$c
ill.
$d
25 cm.
225
2
$a
Texts in theoretical computer science
320
$a
Includes bibliographical references (p. [369]-375) and index.
410
0
$1
2001
$a
Texts in theoretical computer science
606
$a
Machine theory.
$3
104768
$3
224046
606
$a
Lambda calculus.
$3
128682
676
$a
511.3
$v
20
700
$a
Kluge
$b
Werner
$g
(Werner E.)
$3
128681
筆 0 讀者評論
全部
4樓西文圖書區
館藏
1 筆 • 頁數 1 •
1
尋書單
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
備註欄
附件
列印
00218253
4樓西文圖書區
一般圖書
一般圖書
511.3 K667
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入