|
|
Computability Theory - Rebecca Weber, Dartmouth College - AMS, 2012, 203 pp., Softcover, ISBN-10: 0-8218-7392-X, ISBN-13: 978-0-8218-7392-2, List: US$37, All AMS Members: US$29.60, STML/62 ![[app-math-logo]](/images/bookstore/app-math-logo.gif)
|
| |
|
|
Boolean Functions in Coding Theory and Cryptography - O. A. Loginov, A. A. Salnikov, and V. V. Yashchenko, Moscow State University - AMS, 2012, 334 pp., Hardcover, ISBN-10: 0-8218-4680-9, ISBN-13: 978-0-8218-4680-3, List: US$129, All AMS Members: US$103.20, MMONO/241
|
| |
|
|
Computational Complexity Theory - Steven Rudich, Carnegie Mellon University, and Avi Wigderson, Institute for Advanced Study, Editors - AMS | PCMI, 2004, 389 pp., Hardcover, ISBN-10: 0-8218-2872-X, ISBN-13: 978-0-8218-2872-4, List: US$76, All AMS Members: US$60.80, PCMS/10
|
| |
|
|
Satisfiability Problem: Theory and Applications - Dingzhu Du, University of Minnesota, Minneapolis, Jun Gu, University of Calgary, AB, Canada, and Panos M. Pardalos, University of Florida, Gainesville, Editors - AMS | DIMACS, 1997, 724 pp., Hardcover, ISBN-10: 0-8218-0479-0, ISBN-13: 978-0-8218-0479-7, List: US$181, All AMS Members: US$144.80, DIMACS/35
|
| |
|
|
The SPIN Verification System - Jean-Charles Grégoire, INRS-Telecommunications, and Gerard J. Holzmann and Doron A. Peled, Lucent Technologies, Editors - AMS | DIMACS, 1997, 203 pp., Hardcover, ISBN-10: 0-8218-0680-7, ISBN-13: 978-0-8218-0680-7, List: US$60, All AMS Members: US$48, DIMACS/32
|
| |
|
|
Descriptive Complexity and Finite Models - Neil Immerman, University of Massachusetts, Amherst, and Phokion G. Kolaitis, University of California, Santa Cruz, Editors - AMS | DIMACS, 1997, 248 pp., Hardcover, ISBN-10: 0-8218-0517-7, ISBN-13: 978-0-8218-0517-6, List: US$67, All AMS Members: US$53.60, DIMACS/31
|
| |
|
|
Partial Order Methods in Verification - Doron A. Peled, Lucent Technologies, Vaughan R. Pratt, Stanford University, and Gerard J. Holzmann, Lucent Technologies, Editors - AMS | DIMACS, 1997, 403 pp., Hardcover, ISBN-10: 0-8218-0579-7, ISBN-13: 978-0-8218-0579-4, List: US$103, All AMS Members: US$82.40, DIMACS/29
|
| |
|
|
Structure of Language and Its Mathematical Aspects - R. Jakobson, Editor - AMS, 1961, 279 pp., Softcover, ISBN-10: 0-8218-1312-9, ISBN-13: 978-0-8218-1312-6, List: US$44, All AMS Members: US$35.20, PSAPM/12
|
| |
