語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ subject:"Electronic data processing." ]
切換:
標籤
|
MARC模式
|
ISBD
Handbook of logic and proof techniqu...
~
Krantz, Steven G. (1951-)
FindBook
Google Book
Amazon
博客來
Handbook of logic and proof techniques for computer science /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Handbook of logic and proof techniques for computer science // Steven G. Krantz.
作者:
Krantz, Steven G.
出版者:
Boston :Birkhauser ; : c2002.,
面頁冊數:
xix, 245 p. :ill. ;25 cm.
標題:
Computers. -
ISBN:
081764220X (Boston) :
Handbook of logic and proof techniques for computer science /
Krantz, Steven G.1951-
Handbook of logic and proof techniques for computer science /
Steven G. Krantz. - Boston :Birkhauser ;c2002. - xix, 245 p. :ill. ;25 cm.
Includes bibliographical references (p. 231-236) and index.
ISBN: 081764220X (Boston) :EUR54.90
LCCN: 2001043153Subjects--Topical Terms:
544777
Computers.
LC Class. No.: QA76 / .K723 2002
Dewey Class. No.: 004
Handbook of logic and proof techniques for computer science /
LDR
:00611cam a2200193 a 45
001
726906
005
20070911
008
070906s2002 maua b 001 0 eng
010
$a
2001043153
020
$a
081764220X (Boston) :
$c
EUR54.90
020
$a
376434220X (Basel)
035
$a
asw96000018
040
$a
DLC
$c
DLC
$d
DLC
042
$a
pcc
050
0 0
$a
QA76
$b
.K723 2002
082
0 0
$a
004
$2
21
100
$a
Krantz, Steven G.
$q
(Steven George),
$d
1951-
$3
523908
245
1 0
$a
Handbook of logic and proof techniques for computer science /
$c
Steven G. Krantz.
260
$a
Boston :
$a
New York :
$c
c2002.
$b
Birkhauser ;
$b
Springer,
300
$a
xix, 245 p. :
$b
ill. ;
$c
25 cm.
504
$a
Includes bibliographical references (p. 231-236) and index.
650
$a
Computers.
$3
544777
650
$a
Electronic data processing.
$3
520749
筆 0 讀者評論
館藏地:
全部
六樓西文書區HC-Z(6F Western Language Books)
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W0152270
六樓西文書區HC-Z(6F Western Language Books)
01.外借(書)_YB
一般圖書
QA76 K723 2002
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入