|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Edmund M. Clarke |
Computable Real Numbers and Why They Are Still Important Today. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 10:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Butler W. Lampson |
What Computers Do: Model, Connect and Engage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 5:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dana S. Scott |
Lambda Calculus Then and Now. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 9:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Susan L. Graham, Frances E. Allen, Barbara Liskov, Niklaus Wirth |
Programming Languages - Past Achievements and Future Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 12:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David A. Patterson 0001, Frederick P. Brooks Jr., Ivan E. Sutherland, Charles P. Thacker |
Computer Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 11:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Barbara J. Grosz, Edward A. Feigenbaum, Marvin Minsky, Judea Pearl, Raj Reddy |
Human and Machine Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 4:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 6:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | |
ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![ACM, 978-1-4503-3919-3 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John White |
Welcome to the ACM Turing Centenary Celebration! ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 1:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Keith van Rijsbergen, Charles W. Bachman, Kelly Gotlieb, Wendy Hall 0001, William Newman |
Turing the Man. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 3:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Juris Hartmanis, Stephen Cook, William Kahan, Richard Edwin Stearns, Andrew C. Yao |
The Turing Computational Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 8:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vinton G. Cerf |
Welcome to the ACM Turing Centenary Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 2:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vint Cerf, John E. Hopcroft, Robert E. Kahn, Ronald L. Rivest, Adi Shamir |
Information, Data, Security in a Networked Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 14:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alan C. Kay |
Extracting Energy from the Turing Tarpit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 7:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-TURING ![In: ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012, pp. 13:1, 2012, ACM, 978-1-4503-3919-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|