Catalog

Record Details

Catalog Search


Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings Cover Image E-book E-book

Theory and Applications of Satisfiability Testing – SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider.

Strichman, Ofer. (editor.). Szeider, Stefan. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642141867
  • Physical Description: XIII, 400p. 74 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Search for related items by subject

Subject: Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematics of Computing.

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01882nam a22004695i 4500
00138941
003CONS
00520131220082655.0
007cr nn 008mamaa
008100709s2010 gw | s |||| 0|eng d
020 . ‡a9783642141867 ‡9978-3-642-14186-7
0247 . ‡a10.1007/978-3-642-14186-7 ‡2doi
035 . ‡a(DE-He213)978-3-642-14186-7
050 4. ‡aQA76.9.A43
072 7. ‡aUMB ‡2bicssc
072 7. ‡aCOM051300 ‡2bisacsh
1001 . ‡aStrichman, Ofer. ‡eeditor.
24510. ‡aTheory and Applications of Satisfiability Testing – SAT 2010 ‡h[electronic resource] : ‡b13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / ‡cedited by Ofer Strichman, Stefan Szeider.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2010.
300 . ‡aXIII, 400p. 74 illus. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6175
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aSoftware Engineering.
65024. ‡aProgramming Techniques.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aMathematics of Computing.
7001 . ‡aSzeider, Stefan. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642141850
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6175
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-14186-7 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a38941 ‡b ‡c38941 ‡tbiblio ‡sSystem Local

Additional Resources