نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
Computational category theory /
پدید آورنده
D.E. Rydeheard, R.M. Burstall
موضوع
Categories (Mathematics)-- Data processing,Computer programming
رده
QA169
.
R93
1988
کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
شابک
شابک
0131627368
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Computational category theory /
نام عام مواد
[Book]
نام نخستين پديدآور
D.E. Rydeheard, R.M. Burstall
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Englewood Cliffs, N.J. :
نام ناشر، پخش کننده و غيره
Prentice Hall,
تاریخ نشرو بخش و غیره
1988
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 257 p. :
ساير جزييات
ill. ;
ابعاد
24 cm
فروست
عنوان فروست
Prentice Hall international series in computer science
يادداشت کلی
متن يادداشت
Includes index
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibliography: p. 237-252
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Categories (Mathematics)-- Data processing
موضوع مستند نشده
Computer programming
رده بندی ديویی
شماره
511
.
3
ويراست
19
رده بندی کنگره
شماره رده
QA169
نشانه اثر
.
R93
1988
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Rydeheard, D. E., (David E.)
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Burstall, Rod M.,1934-
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب
اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد