1. Decision procedures : an algorithmic point of view
پدیدآورنده : / Daniel Kroening, Ofer Strichman,کرونینگ,Kroening
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : تجزیه و تحلیل ترتیبی,الگوریتمها,تصمیمگیری آماری
رده :
QA
۲۹۷
/
۷
/
ک
۴
د
۹ ۱۳۸۷
2. Decision procedures: an algorithmic point of view
پدیدآورنده : Kroening, Daniel.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Turing machines,، Computational complexity
رده :
QA
9
.
65
.
K93
2008
