Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ACM-TURING"( http://dblp.L3S.de/Venues/ACM-TURING )

URL (DBLP): http://dblp.uni-trier.de/db/conf/acm

Publication years (Num. hits)
2012 (15)
Publication types (Num. hits)
inproceedings(14) proceedings(1)
Venues (Conferences, Journals, ...)
ACM-TURING(15)
Authors
Adi Shamir(1) Alan C. Kay(1) Andrew C. Yao(1) Barbara J. Grosz(1) Barbara Liskov(1) Butler W. Lampson(1) Charles P. Thacker(1) Charles W. Bachman(1) Christos H. Papadimitriou(1) Dahlia Malkhi(1) Dana S. Scott(1) David A. Patterson 0001(1) Donald E. Knuth(1) E. Allen Emerson(1) Edmund M. Clarke(1) Edward A. Feigenbaum(1) More (+10 of total 45)
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
1Edmund M. Clarke Computable Real Numbers and Why They Are Still Important Today. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Butler W. Lampson What Computers Do: Model, Connect and Engage. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dana S. Scott Lambda Calculus Then and Now. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Susan L. Graham, Frances E. Allen, Barbara Liskov, Niklaus Wirth Programming Languages - Past Achievements and Future Challenges. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David A. Patterson 0001, Frederick P. Brooks Jr., Ivan E. Sutherland, Charles P. Thacker Computer Architecture. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Barbara J. Grosz, Edward A. Feigenbaum, Marvin Minsky, Judea Pearl, Raj Reddy Human and Machine Intelligence. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dahlia 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 ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1 ACM Turing Centenary Celebration, ACM-TURING '12, San Francisco, California, USA, June 15-16, 2012 Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1John White Welcome to the ACM Turing Centenary Celebration! Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Keith van Rijsbergen, Charles W. Bachman, Kelly Gotlieb, Wendy Hall 0001, William Newman Turing the Man. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Juris Hartmanis, Stephen Cook, William Kahan, Richard Edwin Stearns, Andrew C. Yao The Turing Computational Model. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vinton G. Cerf Welcome to the ACM Turing Centenary Program. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vint Cerf, John E. Hopcroft, Robert E. Kahn, Ronald L. Rivest, Adi Shamir Information, Data, Security in a Networked Future. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alan C. Kay Extracting Energy from the Turing Tarpit. Search on Bibsonomy ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christos 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 ACM-TURING The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license