日本免费精品视频,男人的天堂在线免费视频,成人久久久精品乱码一区二区三区,高清成人爽a毛片免费网站

Charles Petzold

Windows編程大師、世界技術(shù)作家、微軟博學(xué)MVP，擁有25年的Windows編程經(jīng)驗。1994年5月，Petzold作為的作家，獲得由微軟公司和WindowMagazine授予的Windows 先鋒獎(僅7人獲獎)，直到今天，他依然是Windows GDI程序設(shè)計首席技術(shù)作家。他出版過十幾本著作，其中包括Win32 API編程經(jīng)典《Windows程序設(shè)計》、《編碼》等。

歷屆圖靈獎得主名單

◎ 1966 A. J. Perlis

高級編程技術(shù)和編譯器架構(gòu)

◎ 1967 Maurice V. Wilkes

設(shè)計出及時臺具有內(nèi)置存儲程序的計算機EDSAC

◎ 1968 Richard W. Hamming

數(shù)值方法、自動編碼系統(tǒng)、錯誤檢測及錯誤校驗碼

◎ 1969 Marvin Minsky

創(chuàng)造、推進和提升人工智能

◎ 1970 J. H. Wilkinson

利用數(shù)值分析方法來促進高速數(shù)字計算機的應(yīng)用

◎ 1971 John McCarthy

人工智能

◎ 1972 Edsger W. Dijkstra

編程語言

◎ 1973 Charles W. Bachman

數(shù)據(jù)庫

◎ 1974 Donald E. Knuth

算法分析和程序設(shè)計語言，"計算機程序設(shè)計藝術(shù)"叢書

◎ 1975 Allen Newell和Herbert A. Simon

人工智能、人類認知心理學(xué)和表處理

◎ 1976 Michael O. Rabin和Dana S. Scott

非確定性機器

◎ 1977 John Backus

可用的高級編程系統(tǒng)設(shè)計

◎ 1978 Robert W. Floyd

軟件編程的算法，語法分析理論、編程語言的語義和算法分析等多項計算機子學(xué)科的創(chuàng)立

◎ 1979 Kenneth E. Iverson

程序設(shè)計語言理論、交互系統(tǒng)及APL

◎ 1980 C. Antony R. Hoare

編程語言的定義和設(shè)計

◎ 1981 Edgar F. Codd

數(shù)據(jù)庫管理系統(tǒng)的理論和實踐

◎ 1982 Stephen A. Cook

奠定了NP性理論的基礎(chǔ)

◎ 1983 Dennis M. Ritchie和Kenneth L. Thompson

一般操作系統(tǒng)理論，對UNIX操作系統(tǒng)的推廣

◎ 1984 Niklaus E.Wirth

開發(fā)了EULER、ALGOL-W、MODULA和PASCAL等一系列嶄新的計算機語言

◎ 1985 Richard M. Karp

算法理論

◎ 1986 John E. Hopcroft和Robert E. Tarjan

在算法及數(shù)據(jù)結(jié)構(gòu)的設(shè)計和分析中取得了決定性成果

◎ 1987 John Cocke

編譯器的理論和設(shè)計，大系統(tǒng)體系結(jié)構(gòu)，精簡指令集計算機的開發(fā)

◎ 1988 Ivan E. Sutherland

計算機圖形學(xué)

◎ 1989 William V. Kahan

數(shù)值分析

◎ 1990 Fernando J. Corbato

組織通用、大規(guī)模、分時和資源共享的兼容分時系統(tǒng)和Multics的開發(fā)

◎ 1991 Robin W.Milner

可計算函數(shù)邏輯(LCF)、ML和并行理論(CCS)

◎ 1992 Butler Lampson

分布式個人計算機系統(tǒng)

◎ 1993 Jurlis Hartmanis和Richard E. Stearns

奠定了計算復(fù)雜性理論的基礎(chǔ)

◎ 1994 Raj Reddy和Edward Feigenbaum

對大型人工智能系統(tǒng)的開拓性研究

◎ 1995 Manuel Blum

奠定了計算復(fù)雜性理論的基礎(chǔ)，密碼術(shù)及程序校驗

◎ 1996 Amir Pnueli

在計算中引入時序邏輯、程序及系統(tǒng)檢驗

◎ 1997 Douglas Engelbart

提出交互計算概念并創(chuàng)造出實現(xiàn)這一概念的重要技術(shù)

◎ 1998 James Gray

數(shù)據(jù)庫和事務(wù)處理

◎ 1999 Frederick P. Brooks, Jr.

計算機體系結(jié)構(gòu)、操作系統(tǒng)、軟件工程

◎ 2000 姚期智(Andrew Chi-Chih Yao)

計算理論方面的基礎(chǔ)性工作

◎ 2001 Ole-Johan Dahl和Kristen Nygaard

面向?qū)ο蟪绦蛟O(shè)計思想

◎ 2002 Ronald L. Rivest、Adi Shamir和Leonard M.Adelman

公共密鑰算法(RSA)

◎ 2003 Alan Kay

發(fā)明及時個面向?qū)ο蟮膭討B(tài)計算機程序設(shè)計語言Smalltalk

◎ 2004 Vinton G. Cerf和Robert E. Kahn

在互聯(lián)網(wǎng)方面的開創(chuàng)性工作

◎ 2005 Peter Naur

Algol 60語言

◎ 2006 Frances E. Allen

編譯器優(yōu)化理論和實踐(她是圖靈獎及時位女性得主)

◎ 2007 Edmund M. Clarke、Allen Emerson和JosephSifakis

將模型校驗推廣成軟硬件工業(yè)中廣泛采用的高效校驗技術(shù)

◎ 2008 Barbara Liskov

編程語言和系統(tǒng)設(shè)計的實踐與理論基礎(chǔ)

◎ 2009 Charles P. Thacker

及時臺現(xiàn)代個人計算機Alto之父

◎ 2010 Leslie L.Valiant

人工智能、自然語言處理和手寫識別等大量革新技術(shù)

◎ 2011 Judea Pearl

通過或然性積分和推理對人工智能做出貢獻