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