Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Abstract computing machines ; a lambda calculus perspective
پدید آورنده
/ W. Kluge
موضوع
Machine theory,Lambda calculus
رده
QA
278
.
K6
2005
کتابخانه
Library of Campus2 Colleges of Engineering of Tehran University
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
88225387
-
021
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3-540-21146-2
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
38596
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Abstract computing machines ; a lambda calculus perspective
General Material Designation
[Book]
First Statement of Responsibility
/ W. Kluge
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2005
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 384 p.
Other Physical Details
: ills.
Dimensions
; 22 cm
SERIES
Series Title
Texts in theoretical computer science
GENERAL NOTES
Text of Note
English
Text of Note
with 89 figures
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references ([369]-375) and index
TOPICAL NAME USED AS SUBJECT
Machine theory
Lambda calculus
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
278
Book number
.
K6
2005
PERSONAL NAME - PRIMARY RESPONSIBILITY
Kluge , Werner, author
Werner E.
ORIGINATING SOURCE
Country
Iran
Agency
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal