Computer Algorithms: Introduction to Design and Analysis
by Sara Baase, Allen Van Gelder
ISBN 13: 9780201612448
Format: Paperback (688 pages) Publisher: Addison Wesley Published: 05 Nov 1999
Save for later
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings: 7962 (Lecture Notes in Computer Science)
by Matti Jarvisalo,Allen Van Gelder
ISBN 13: 9783642390708
Format: Paperback (456 pages) Publisher: Springer Published: 19 Jul 2013