عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
عنوان
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
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح