نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Categorical combinators, sequential algorithms, and functional programming
پدید آورنده
Curien, Pierre-Louis
موضوع
Formal languages
رده
QA
267
.
3
.
C87
1993
کتابخانه
کتابخانه مرکزی دانشگاه صنعتی امیرکبیر
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)
اطلاعات محلی رکورد
نوع مدرک
CE H1
عنوان و نام پديدآور
نام نخستين پديدآور
Curien, Pierre-Louis
عنوان اصلي
Categorical combinators, sequential algorithms, and functional programming
وضعیت نشر و پخش و غیره
تقویم
2nd ed
محل نشرو پخش و غیره
Boston
نام ناشر، پخش کننده و غيره
Birkhauser
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
xx, 403 p. : ill
فروست
عنوان فروست
Progress in theoretical computer science
يادداشت کلی
متن يادداشت
Includes bibliographical references )p. 381-394( and indexes
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Formal languages
رده بندی کنگره
شماره رده
QA
نشانه اثر
267
.
3
شماره رکورد رده بندي
.
C87
شماره رکورد غير از شماره رده بندي
1993
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Pierre-Louis Curien
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
English
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد