عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A43 2015 E-Book ,
QA
76
.
9
.
A43
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319243177
NATIONAL BIBLIOGRAPHY NUMBER
Number
13683
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Theory and Applications of Satisfiability Testing – SAT 2015
General Material Designation
[electronic resources]
Other Title Information
: 18th International Conference Austin, TX, USA, September 24–27, 2015 Proceedings
First Statement of Responsibility
\ Marijn Heule , Sean Weaver (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xix, 436 p
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 9340
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Computer algorithms -- Congresses.
Computer software -- Verification -- Congresses
Computer algorithms.
الگوریتمهای کامپیوتری -- کنگره ها
نرمافزار -- راستیآزمایی -- کنگره ها
الگوریتمهای کامپیوتری
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
A43
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Heule, Marijn
Weaver, Sean
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
SAT (Conference) (18th : 2015 : Austin, Texas)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170209
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319243177.pdf
p
BL
279177
1
a
Y
