1. Decision procedures : an algorithmic point of view
Author: / Daniel Kroening, Ofer Strichman,کرونینگ,Kroening
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: تجزیه و تحلیل ترتیبی,الگوریتمها,تصمیمگیری آماری
Classification :
QA
۲۹۷
/
۷
/
ک
۴
د
۹ ۱۳۸۷
2. Decision procedures: an algorithmic point of view
Author: Kroening, Daniel.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Turing machines,، Computational complexity
Classification :
QA
9
.
65
.
K93
2008
