عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A43 2015 E-Book ,
QA
76
.
9
.
A43
2015
E-Book
,
کتابخانه
محل استقرار
:9783319243177
13683
انگلیسی
Theory and Applications of Satisfiability Testing – SAT 2015
[electronic resources]
: 18th International Conference Austin, TX, USA, September 24–27, 2015 Proceedings
\ Marijn Heule , Sean Weaver (Eds.)
Cham
: Springer
, 2015
xix, 436 p
Lecture Notes in Computer Science
; 9340
Index
Bibliography
Computer algorithms -- Congresses.
Computer software -- Verification -- Congresses
Computer algorithms.
الگوریتمهای کامپیوتری -- کنگره ها
نرمافزار -- راستیآزمایی -- کنگره ها
الگوریتمهای کامپیوتری
QA
76
.
9
.
A43
2015
E-Book
,
Heule, Marijn
Weaver, Sean
SAT (Conference) (18th : 2015 : Austin, Texas)
ایران
20170209
9783319243177.pdf
p
BL
279177
1
a
Y
