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

Charles Petzold

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

歷屆圖靈獎(jiǎng)得主名單

◎ 1966 A. J. Perlis

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

◎ 1967 Maurice V. Wilkes

設(shè)計(jì)出及時(shí)臺(tái)具有內(nèi)置存儲(chǔ)程序的計(jì)算機(jī)EDSAC

◎ 1968 Richard W. Hamming

數(shù)值方法、自動(dòng)編碼系統(tǒng)、錯(cuò)誤檢測(cè)及錯(cuò)誤校驗(yàn)碼

◎ 1969 Marvin Minsky

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

◎ 1970 J. H. Wilkinson

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

◎ 1971 John McCarthy

人工智能

◎ 1972 Edsger W. Dijkstra

編程語(yǔ)言

◎ 1973 Charles W. Bachman

數(shù)據(jù)庫(kù)

◎ 1974 Donald E. Knuth

算法分析和程序設(shè)計(jì)語(yǔ)言，"計(jì)算機(jī)程序設(shè)計(jì)藝術(shù)"叢書(shū)

◎ 1975 Allen Newell和Herbert A. Simon

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

◎ 1976 Michael O. Rabin和Dana S. Scott

非確定性機(jī)器

◎ 1977 John Backus

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

◎ 1978 Robert W. Floyd

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

◎ 1979 Kenneth E. Iverson

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

◎ 1980 C. Antony R. Hoare

編程語(yǔ)言的定義和設(shè)計(jì)

◎ 1981 Edgar F. Codd

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

◎ 1982 Stephen A. Cook

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

◎ 1983 Dennis M. Ritchie和Kenneth L. Thompson

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

◎ 1984 Niklaus E.Wirth

開(kāi)發(fā)了EULER、ALGOL-W、MODULA和PASCAL等一系列嶄新的計(jì)算機(jī)語(yǔ)言

◎ 1985 Richard M. Karp

算法理論

◎ 1986 John E. Hopcroft和Robert E. Tarjan

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

◎ 1987 John Cocke

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

◎ 1988 Ivan E. Sutherland

計(jì)算機(jī)圖形學(xué)

◎ 1989 William V. Kahan

數(shù)值分析

◎ 1990 Fernando J. Corbato

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

◎ 1991 Robin W.Milner

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

◎ 1992 Butler Lampson

分布式個(gè)人計(jì)算機(jī)系統(tǒng)

◎ 1993 Jurlis Hartmanis和Richard E. Stearns

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

◎ 1994 Raj Reddy和Edward Feigenbaum

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

◎ 1995 Manuel Blum

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

◎ 1996 Amir Pnueli

在計(jì)算中引入時(shí)序邏輯、程序及系統(tǒng)檢驗(yàn)

◎ 1997 Douglas Engelbart

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

◎ 1998 James Gray

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

◎ 1999 Frederick P. Brooks, Jr.

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

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

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

◎ 2001 Ole-Johan Dahl和Kristen Nygaard

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

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

公共密鑰算法(RSA)

◎ 2003 Alan Kay

發(fā)明及時(shí)個(gè)面向?qū)ο蟮膭?dòng)態(tài)計(jì)算機(jī)程序設(shè)計(jì)語(yǔ)言Smalltalk

◎ 2004 Vinton G. Cerf和Robert E. Kahn

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

◎ 2005 Peter Naur

Algol 60語(yǔ)言

◎ 2006 Frances E. Allen

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

◎ 2007 Edmund M. Clarke、Allen Emerson和JosephSifakis

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

◎ 2008 Barbara Liskov

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

◎ 2009 Charles P. Thacker

及時(shí)臺(tái)現(xiàn)代個(gè)人計(jì)算機(jī)Alto之父

◎ 2010 Leslie L.Valiant

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

◎ 2011 Judea Pearl

通過(guò)或然性積分和推理對(duì)人工智能做出貢獻(xiàn)