Ebook: Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
Author: Oliver Kullmann
- Tags: Intelligence & Semantics, AI & Machine Learning, Computer Science, Computers & Technology, Networks, Networks Protocols & APIs, Networking & Cloud Computing, Computers & Technology, Operating Systems, BSD, Linux, Macintosh, Solaris, Unix, Windows, Computers & Technology, Algorithms, Data Structures, Genetic, Memory Management, Programming, Computers & Technology, Programming Languages, Ada, Ajax, Assembly Language Programming, Borland Delphi, C & C++, C#, CSS, Compiler Design, Compilers, DHTML, Debugging, Delphi, Fortran, Java, Li
- Series: LNCS 5584
- Year: 2009
- Publisher: Springer
- Edition: 2009
- Language: English
- pdf
Download the book Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)