کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابDecision procedures : an algorithmic point of view
پدیدآورنده: / Daniel Kroening, Ofer Strichman,کرونینگ,Kroening
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: تجزیه و تحلیل ترتیبی,الگوریتم‌ها,تصمیم‌گیری آماری
رده :
QA
۲۹۷
/
۷
/
ک
۴
د
۹ ۱۳۸۷
Decision procedures : an algorithmic point of view
پدیدآورنده: Kroening, Daniel.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Turing machines,، Computational complexity
رده :
QA
9
.
65
.
K93
2008
Decision procedures : an algorithmic point of view
پدیدآورنده: Daniel Kroening, Ofer Strichman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematical models ، Decision making,، Algorithms,، Logic, Symbolic and mathematical
رده :
QA
279
.
4
.
K76D4
2016
