• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
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

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال