醒吾科技大學圖書館 |

[NT 42591] Language: Francais

[NT 5480] Login

[NT 5635] Back

[NT 59884] Switch To: [NT 5556] Labeled | [NT 5559] MARC Mode | [NT 33762] ISBD

Abstract computing machines : a lambda calculus perspective

[NT 42944] Record Type:	[NT 1579] Language materials, printed : [NT 40817] monographic
[NT 47348] Title Information:	a lambda calculus perspective
[NT 47261] Author:	KlugeWerner,
[NT 47351] Place of Publication:	Berlin
[NT 47263] Published:	Springer;
[NT 47352] Year of Publication:	c2005.
[NT 47264] Description:	xiv, 384 p.ill. : 25 cm.;
[NT 47298] Series:	Texts in theoretical computer science
[NT 47266] Subject:	Machine theory. -
[NT 47266] Subject:	Lambda calculus. -
[NT 50961] 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

[NT 59758] based on 0 [NT 59757] review(s)

[NT 42818] Items

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 5501718] Search Note

[NT 5000115] Inventory Number

[NT 7898] Location Name

[NT 7947] Item Class

[NT 33989] Material type

[NT 43385] Call number

[NT 5501238] Usage Class

[NT 45600] Loan Status

[NT 48088] No. of reservations

[NT 52971] Opac note

[NT 46641] Attachments

[NT 5502] Print

00218253

4樓西文圖書區

一般圖書

一般圖書

511.3 K667

一般使用(Normal)

[NT 41737] On shelf

0

1 [NT 46296] records • [NT 5501] Pages 1 •
1

[NT 59725] Reviews

[NT 59886] Add a review [NT 59885] and share your thoughts with other readers

Export

[NT 5501410] pickup library

[NT 48336] Change password

[NT 5480] Login