عنوان
پدید آورنده
موضوع
رده
QA۲۹۷/۷ /ک۴د۹ ۱۳۸۷
QA
۲۹۷
/
۷
/
ک
۴
د
۹ ۱۳۸۷
کتابخانه
محل استقرار
شابک
شابک
978-3-540-74104-6
شماره کتابشناسی ملی
شماره
۱۷۵۰۴۳۸
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Decision procedures : an algorithmic point of view
نام عام مواد
[Book]
نام نخستين پديدآور
/ Daniel Kroening, Ofer Strichman
نام ساير پديدآوران
; foreworded by Randal E. Bryant.
خط فهرست نويسي و خط اصلي شناسه
ba
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
=1387.
خط فهرستنویسی و خط اصلی شناسه
ba
مشخصات ظاهری
نام خاص و کميت اثر
xvi, 304 ص.
يادداشت کلی
متن يادداشت
انگلیسی.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
کتابنامه: [285]-297.
متن يادداشت
نمایه.
آوانویسی عنوان
آوانویسی عنوان
دیسیژن ...
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
تجزیه و تحلیل ترتیبی
عنصر شناسه ای
الگوریتم‌ها
عنصر شناسه ای
تصمیم‌گیری آماری
رده بندی ديویی
شماره
۵۱۹
/
۵۴۲
رده بندی کنگره
شماره رده
QA
۲۹۷
/
۷
نشانه اثر
/
ک
۴
د
۹ ۱۳۸۷
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
کرونینگ
عنصر شناسه اي
Kroening
ساير عناصر نام
، دانیل
ساير عناصر نام
, Daniel
شماره رکورد مستند
47953
داده رابط بین فیلدها
a01
داده رابط بین فیلدها
a01
خط فهرست نویسی
ba
نام شخص - (مسئولیت معنوی برابر )
عنصر شناسه اي
استریچمن
عنصر شناسه اي
Strichman
ساير عناصر نام
، آفر
ساير عناصر نام
, Ofer
شماره رکورد مستند
306644
داده رابط بین فیلدها
a03
داده رابط بین فیلدها
a03
خط فهرست نویسی
ba
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
ب‍رای‍ان‍ت
عنصر شناسه اي
Bryant
ساير عناصر نام
، رندل
ساير عناصر نام
, Randal
شماره رکورد مستند
21984
کد نقش
، مقدمه‌نویس
داده رابط بین فیلدها
a05
داده رابط بین فیلدها
a05
خط فهرست نویسی
ba
مبدا اصلی
کشور
ایران
سازمان
کتابخانه ملی ایران
تاريخ عمليات
20100512
اطلاعات رکورد کتابشناسی
نوع ماده
BF
کد کاربرگه
90163
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
وضعیت مدرک
وضعیت کتابشناسی مدرک
Y
مستند تغییر یافته
اطلاعات مستند قبلی
تجزیه و تحلیل ترتیبی
