


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














