久久丫线这里只精品

    • go to Geoffrey E Hinton's profile page
    • go to A. J. Perlis 's profile page
    • go to Kristen Nygaard 's profile page
    • go to Shafi Goldwasser 's profile page
    • go to Ivan Sutherland's profile page
    • go to C. Antony R. Hoare 's profile page
    • go to Richard E Stearns's profile page
    • go to Robert E Kahn's profile page
    • go to Edward A Feigenbaum's profile page
    • go to Leslie Lamport's profile page
    • go to Frederick Brooks's profile page
    • go to John McCarthy's profile page
    • go to Michael Stonebraker's profile page
    • go to Michael O. Rabin 's profile page
    • go to David Patterson 's profile page
    • go to Barbara Liskov's profile page
    • go to Vinton Cerf's profile page
    • go to Edsger W. Dijkstra's profile page
    • go to Amir Pnueli's profile page
    • go to Andrew C Yao's profile page
    • go to Butler W Lampson's profile page
    • go to Manuel Blum's profile page
    • go to Douglas Engelbart's profile page
    • go to John Backus 's profile page
    A.M. TURING AWARD WINNERS BY...

    E. Allen Emerson DL Author Profile link

    United States – 2007
    Research Subjects

    Verification of Hardware and Software Models

    Bibliometrics: publication history
    Publication years1980-2011
    Publication count108
    Citation Count4,187
    Available for download25
    Downloads (6 Weeks)328
    Downloads (12 Months)2,830
    久久丫线这里只精品