|
|
|
eBook: Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook (DRM PDF)
售價:
$519.00
抱歉! 此商品已售罄, 不能訂購
|
|
|
商品簡介 |
| Professor Stephen A. Cook is a pioneer of the theory of computational complexity. His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for "his advancement of our understanding of the complexity of computation in a significant and profound way." This volume includes a selection of seminal papers embodying the work that led to this award, exemplifying Cook's synthesis of ideas and techniques from logic and the theory of computation including NP-completeness, proof complexity, bounded arithmetic, and parallel and space-bounded computation. These papers are accompanied by contributed articles by leading researchers in these areas, which convey to a general reader the importance of Cook's ideas and their enduring impact on the research community. The book also contains biographical material, Cook's Turing Award lecture, and an interview. Together these provide a portrait of Cook as a recognized leader and innovator in mathematics and computer science, as well as a gentle mentor and colleague. |
|
|
|
ACM Books
eBook: Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook (DRM EPUB)
eBook: Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook (DRM PDF)
eBook: Effective Theories in Programming Practice (DRM EPUB)
eBook: Effective Theories in Programming Practice (DRM PDF)
eBook: Prophets of Computing: Visions of Society Transformed by Computing (DRM EPUB)
eBook: Prophets of Computing: Visions of Society Transformed by Computing (DRM PDF)
eBook: On Monotonicity Testing and the 2-to-2 Games Conjecture (DRM EPUB)
eBook: On Monotonicity Testing and the 2-to-2 Games Conjecture (DRM PDF)
eBook: Handbook on Socially Interactive Agents: 20 Years of Research on Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotic
eBook: Handbook on Socially Interactive Agents: 20 Years of Research on Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotic
eBook: Democratizing Cryptography: The Work of Whitfield Diffie and Martin Hellman (DRM PDF)
eBook: Democratizing Cryptography: The Work of Whitfield Diffie and Martin Hellman (DRM EPUB)
eBook: Spatial Gems, Volume 1 (DRM EPUB)
eBook: Spatial Gems, Volume 1 (DRM PDF)
eBook: Edsger Wybe Dijkstra: His Life, Work, and Legacy (DRM PDF)
eBook: Edsger Wybe Dijkstra: His Life, Work, and Legacy (DRM EPUB)
eBook: Weaving Fire into Form: Aspirations for Tangible and Embodied Interaction (DRM PDF)
eBook: Weaving Fire into Form: Aspirations for Tangible and Embodied Interaction (DRM EPUB)
eBook: Circuits, Packets, and Protocols: Entrepreneurs and Computer Communications, 1968-1988 (DRM PDF)
eBook: Circuits, Packets, and Protocols: Entrepreneurs and Computer Communications, 1968-1988 (DRM EPUB)
... [顯示此系列所有商品] |
|
|
