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

عنوان
Satisfiability problem

پدید آورنده
/ Dingzhu Du, Jun Gu, Panos M. Pardalos, editors

موضوع
Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses

رده
QA9
.
3
.
S38
1997

کتابخانه
کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره

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

کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره

تماس با کتابخانه : 90-33512081-045

شابک

شابک
0821804790

شماره کتابشناسی ملی

کد کشور
IR
شماره
EB16122

زبان اثر

زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی

کشور محل نشر یا تولید

کشور محل نشر
IR

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

عنوان اصلي
Satisfiability problem
نام عام مواد
[Electronic Resource]
ساير اطلاعات عنواني
:theory and applications : DIMACS workshop, March 11-13, 1996
نام نخستين پديدآور
/ Dingzhu Du, Jun Gu, Panos M. Pardalos, editors

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

محل نشرو پخش و غیره
Providence, R.I.
نام ناشر، پخش کننده و غيره
: American Mathematical Society,
تاریخ نشرو بخش و غیره
, c1997.

مشخصات ظاهری

نام خاص و کميت اثر
xv, 724 p. ill. 26 cm.

فروست

عنوان فروست
(DIMACS series in discrete mathematics and theoretical computer science, 1052-1798
مشخصه جلد
; v. 35)

يادداشت کلی

متن يادداشت
"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science. A consortium of Rutgers University, Princeton University, AT&T Labs, Bell Labs, and Bellcore."

یادداشتهای مربوط به نشر، بخش و غیره

متن يادداشت
e

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
ng
متن يادداشت
Includes bibliographical references.

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

موضوع مستند نشده
Propositional calculus- Congresses
موضوع مستند نشده
Decision making- Congresses
موضوع مستند نشده
Computer algorithms- Congresses
موضوع مستند نشده
Computer science- Congresses

رده بندی ديویی

شماره
511
.
3

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

شماره رده
QA9
.
3
نشانه اثر
.
S38
1997

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

مستند نام اشخاص تاييد نشده
Du, Dingzhu
مستند نام اشخاص تاييد نشده
Gu, Jun,1956-
مستند نام اشخاص تاييد نشده
Pardalos, P. M.(Panos M.),1954-
مستند نام اشخاص تاييد نشده
NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science

مبدا اصلی

کشور
ایران

دسترسی و محل الکترونیکی

نام ميزبان
0821804790.djvu
شماره دسترسي
محرمانه
اطلاعات مختصر
محرمانه
نام الکترونيکي
0821804790.djvu
بيت در ثانيه
0
نوع فرمت الکترونيکي
متن

وضعیت فهرست نویسی

وضعیت فهرست نویسی
old catalog

وضعیت انتشار

فرمت انتشار
e

اطلاعات رکورد کتابشناسی

نوع ماده
BL
پیشوند ISBD اعمال شده است
1

اطلاعات دسترسی رکورد

سطح دسترسي
a
تكميل شده
Y

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

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