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