新生學校財團法人新生醫護管理專科學校圖書館 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Abstract Computing Machines = A Lamb...

~

Rozenberg, G.

Abstract Computing Machines = A Lambda Calculus Perspective /

Record Type:	Electronic resources : Monographic component part
Title/Author:	Abstract Computing Machines/ by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa.
Reminder of title:	A Lambda Calculus Perspective /
Author:	Kluge, W.
other author:	Brauer, W.
Published:	Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg, : 2005.,
Description:	xiv, 384 p. :89 fig., digital ; : 25 cm.;
Series:	Texts in Theoretical Computer Science, An EATCS Series
Contained By:	Springer e-books
Subject:	Machine theory. -
Online resource:	http://dx.doi.org/10.1007/b138965
ISBN:	9783540273592 (electronic bk.)

Abstract Computing Machines = A Lambda Calculus Perspective /
Kluge, W.

Abstract Computing MachinesA Lambda Calculus Perspective /[electronic resource] :by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2005. - xiv, 384 p. :89 fig., digital ;25 cm. - Texts in Theoretical Computer Science, An EATCS Series.

ISBN: 9783540273592 (electronic bk.)Subjects--Topical Terms:

132388
Machine theory.

LC Class. No.: QA267 / .K58 2005

Dewey Class. No.: 511.3

Abstract Computing Machines = A Lambda Calculus Perspective /
LDR:00879nma a22002415a 4500 001 81588
003 Springer
005 20080613090522.0
006 m d
007 cr nn 008maaau
008 100601s2005 gw j eng d
020 $a 9783540273592 (electronic bk.)
020 $a 9783540211464 (paper)
035 $a 978-3-540-21146-4
050 0 0 $a QA267 $b .K58 2005
082 0 0 $a 511.3 $2 22
090 $a QA267 $b .K66 2005
100 1 $a Kluge, W. $3 132387
245 1 0 $a Abstract Computing Machines $h [electronic resource] : $b A Lambda Calculus Perspective / $c by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa.
260 $a Berlin, Heidelberg : $c 2005. $b Springer-Verlag Berlin Heidelberg,
300 $a xiv, 384 p. : $b 89 fig., digital ; $c 25 cm.
440 0 $a Texts in Theoretical Computer Science, An EATCS Series
650 0 $a Machine theory. $3 132388
650 0 $a Lambda calculus. $3 132389
650 1 4 $a Computer Science. $3 120417
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 120879
650 2 4 $a Logics and Meanings of Programs. $3 122248
700 1 $a Brauer, W. $3 132384
700 1 $a Rozenberg, G. $3 132385
700 1 $a Salomaa, A. $3 132386
710 2 $a SpringerLink (Online service) $3 120363
773 0 $t Springer e-books
856 4 0 $u http://dx.doi.org/10.1007/b138965
950 $a Computer Science (Springer-11645; ZDB-2-SCS)

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login