شابک
شابک
3540211462 (hd.bd.)
شماره کتابشناسی ملی
کد کشور
IR
شماره
EN-53260
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Abstract computing machines :
نام عام مواد
[Book]
ساير اطلاعات عنواني
:a lambda calculus perspective
نام نخستين پديدآور
/ W. Kluge
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
: Springer,
تاریخ نشرو بخش و غیره
, c2005.
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 384 p. , 89 fig. , 25 cm.
فروست
عنوان فروست
(Texts in theoretical computer science)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Electronic
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. [369]-375) and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
1. Introduction -- 2. Algorithms and programs -- 3. An algorithmic language -- 4. The [lambda]-calculus -- 5. The SE(M)CD machine and others -- 6. Toward full-fledged [lambda]-calculus machines -- 7. Interpreted head-order graph reduction -- 8. The B-machine -- 9. The G-machine -- 10. The [pi]-RED machinery -- 11. Pattern matching -- 12. Another functional abstract machine -- 13. Imperative abstract machines -- 14. Real computing machines -- A. Input/output -- B. On theorem proving.
فروست (داده ارتباطی)
عنوان
Texts in theoretical computer science
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Machine theory
موضوع مستند نشده
Lambda calculus
رده بندی کنگره
شماره رده
E-BOOK
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Kluge, Werner (Werner E.)
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
3540211462.pdf
شماره دسترسي
عادی
اطلاعات مختصر
عادی
تاريخ و ساعت مذاکره و دسترسي
3540211462.pdf
نوع فرمت الکترونيکي
متن
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
