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

عنوان
Scientific computing with automatic result verification

پدید آورنده

موضوع
، Electronic data processing,، Computer science-- Mathematics

رده
QA
76
.
S368
1993

کتابخانه
كتابخانه مركزی دانشگاه صنعتی شریف

محل استقرار
استان: تهران ـ شهر: تهران

كتابخانه مركزی دانشگاه صنعتی شریف

تماس با کتابخانه : 66005817-021

شناسگر استاندارد دیگر

شماره استاندارد
102230
شماره استاندارد
118922
شماره استاندارد
138936

زبان اثر

زبان متن نوشتاري يا گفتاري و مانند آن
پا‌ئیز۳۷
زبان متن نوشتاري يا گفتاري و مانند آن
English

عنوان و نام پديدآور

نام عام مواد
)20-90(
عنوان اصلي
Scientific computing with automatic result verification

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Boston
نام ناشر، پخش کننده و غيره
Academic Press
تاریخ نشرو بخش و غیره
1993

مشخصات ظاهری

نام خاص و کميت اثر
x, 612 p. ; 24 cm

فروست

عنوان فروست
Mathematics in science and engineering, v. 981

يادداشت کلی

متن يادداشت
Includes bibliographical references and index

موضوع (اسم عام یاعبارت اسمی عام)

عنصر شناسه ای
، Electronic data processing
عنصر شناسه ای
، Computer science-- Mathematics

رده بندی کنگره

شماره رده
QA
76
.
S368
1993

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

کد نقش
TI
عنصر شناسه اي
edited by E. Adams, U. Kulisch

نام / عنوان به منزله شناسه افزوده

عنصر شناسه اي
CO Adams
عنصر شناسه اي
CO Kulisch
عنصر شناسه اي
SE

شماره دستیابی

نحوه قرار گرفتن مدرك روي قفسه
02
نحوه قرار گرفتن مدرك روي قفسه
09
نحوه قرار گرفتن مدرك روي قفسه
02

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

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