default search action
ACM-TURING 2012: San Francisco, California, USA
- ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012. ACM 2012, ISBN 978-1-4503-3919-3
- John White:
Welcome to the ACM Turing Centenary Celebration! 1:1 - Vinton G. Cerf:
Welcome to the ACM Turing Centenary Program. 2:1 - Keith van Rijsbergen, Charles W. Bachman, Kelly Gotlieb, Wendy Hall, William Newman:
Turing the Man. 3:1 - Barbara J. Grosz, Edward A. Feigenbaum, Marvin Minsky, Judea Pearl, Raj Reddy:
Human and Machine Intelligence. 4:1 - Butler W. Lampson:
What Computers Do: Model, Connect and Engage. 5:1 - Dahlia Malkhi, Fernando J. Corbató, E. Allen Emerson, Joseph Sifakis, Ken Thompson:
Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice. 6:1 - Alan C. Kay:
Extracting Energy from the Turing Tarpit. 7:1 - Juris Hartmanis, Stephen Cook, William Kahan, Richard Edwin Stearns, Andrew C. Yao:
The Turing Computational Model. 8:1 - Dana S. Scott:
Lambda Calculus Then and Now. 9:1 - Edmund M. Clarke:
Computable Real Numbers and Why They Are Still Important Today. 10:1 - David A. Patterson, Frederick P. Brooks Jr., Ivan E. Sutherland, Charles P. Thacker:
Computer Architecture. 11:1 - Susan L. Graham, Frances E. Allen, Barbara Liskov, Niklaus Wirth:
Programming Languages - Past Achievements and Future Challenges. 12:1 - Christos H. Papadimitriou, Leonard M. Adleman, Richard M. Karp, Donald E. Knuth, Robert E. Tarjan, Leslie G. Valiant:
An Algorithmic View of the Universe. 13:1 - Vint Cerf, John E. Hopcroft, Robert E. Kahn, Ronald L. Rivest, Adi Shamir:
Information, Data, Security in a Networked Future. 14:1
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.