Matches in Library of Congress for { <http://lccn.loc.gov/2013941358> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- 2013941358 date "2013".
- 2013941358 extent "xvi, 436 pages :".
- 2013941358 identifier "3642390706 (soft cover : alk. paper)".
- 2013941358 identifier "9783642390708 (soft cover : alk. paper)".
- 2013941358 isPartOf "Lecture notes in computer science ; 7962".
- 2013941358 issued "2013".
- 2013941358 language "eng".
- 2013941358 subject "Computer algorithms Congresses".
- 2013941358 subject "Computer software Verification Congresses.".
- 2013941358 subject "QA76.9.A43 S28 2013".
- 2013941358 title "Theory and applications of satisfiability teasting - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / [edited by] Matti Jaervisalo, Allen Van Gelder.".
- 2013941358 type "text".