黄颡鱼肿瘤坏死因子的基因兼并引物怎么设计啊急......

计算机科学界的诺贝尔奖是图灵奖，就是说诺贝尔奖没有设立“计算机”方面的奖项。

1966 A J Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)

因在新一代编程技术和编译架构方面的贡献而获奖

1967 Maurice V Wilkes --- PhD, Cambridge; Prof, Cambridge

因设计出第一台程序实现完全内存的计算机而获奖

1968 Richard W Hamming --- PhD, UIUC; Prof, Naval Postgraduate School

(was at Bell) (deceased)

因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖

1969 Marvin Minsky --- PhD, Princeton, Prof, MIT

因对人工智能的贡献被授予图灵奖

1970 JH Wilkinson --- BS, Cambridge; staff, National Physical

Laboratory, London

因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖

1971 John McCarthy --- PhD, Princeton; Prof, Stanford

因对人工智能的贡献被授予图灵奖

1972 Edsger W Dijkstra --- PhD, U Amsterdam; Prof, UT Austin

因在编程语言方面的出众表现而获奖

1973 Charles W Bachman --- staff, Honeywell

因在数据库方面的杰出贡献而获奖

1974 Donald E Knuth --- PhD, Caltech; Prof, Stanford

因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖

1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)

and Herbert A Simon --- PhD, Chicago; Prof, CMU (deceased)

因在人工智能、人类识别心理和表处理的基础研究而获奖

1976 Michael O Rabin --- PhD, Princeton; Prof, Harvard

and Dana S Scott --- PhD, Princeton; Prof, CMU

因他们的论文"有限自动机与它们的决策问题"中所提出的非决定性机器这一很有价

值的概念而获奖

1977 John Backus --- BS, Columbia; staff, IBM

因对可用的高级编程系统设计有深远和重大的影响而获奖

1978 Robert W Floyd --- BS, Chicago; Prof, Stanford

因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自

动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖

1979 Kenneth E Iverson

因对程序设计语言理论、互动式系统及APL的贡献被授予该奖

1980 C Anthony R Hoare --- Prof, Oxford(now at Microsoft)

因对程序设计语言的定义和设计所做的贡献而获奖

1981 Edgar F Codd --- PhD, Michigan; staff, IBM

因在数椐库管理系统的理论和实践方面的贡献而获奖

1982 Steven A Cook --- PhD, Harvard; Prof, U Toronto

因奠定了NP-Completeness理论的基础而获奖

1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs

and Dennis M Ritchie --- PhD, Harvard; staff, Bell-Labs

因在类属 *** 作系统理论，特别是UNIX *** 作系统的推广而获奖

1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich

因开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言而获奖

1985 Richard M Karp --- PhD, Harvard; Prof, Berkeley

因对算法理论的贡献而获奖

1986 John E Hopcroft --- PhD, Stanford; Prof, Cornell

and Robert E Tarjan --- PhD, Stanford; Prof, Princeton

因在算法及数据结构的设计和分析中所取得的决定性成果而获奖

1987 John Cocke --- staff, IBM

因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖

1988 Ivan E Sutherland --- PhD, MIT; staff, Sun

因在计算机图形学方面的贡献而获奖

1989 William V Kahan --- PhD, U Toronto; Prof, Berkeley

因在数值分析方面的贡献而获奖，他是是浮点计算领域的专家

1990 Fernando J Corbato --- PhD, MIT; Prof, MIT

因在开发大型多功能、可实现时间和资源共享的计算系统，如CTSS和Multics方面

的贡献而获奖

1991 Robin Milner --- Prof, Cambridge (was at U Edinburgh)

因在可计算的函数的逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖

1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft

因在个人分布式计算机系统（包括 *** 作系统）方面的贡献而获奖

1993 Juris Hartmanis --- PhD, Caltech; Prof, Cornell

and Richard E Stearns --- PhD, Princeton; Prof, SUNY Albany

因奠定了计算复杂性理论的基础而获奖

1994 Raj Reddy --- PhD, Stanford; Prof, CMU

and Edward Feigenbaum (PhD, CMU; Prof, Stanford)

因对大型人工智能系统的开拓性研究而获奖

1995 Manuel Blum --- PhD, MIT; Prof, Berkeley

因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖

1996 Amir Pnueli --- PhD, Weizmann Institute; Prof, NYU

因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖

1997 Douglas Engelbart --- PhD, Berkeley; staff, SRI

因提出互动式计算概念并创造出实现这一概念的重要技术而获奖

1998 James Gray --- PhD, Berkeley; staff, Microsoft

因在数据库和事务处理方面的突出贡献而获奖

1999 Frederick P Brooks, Jr--- PhD, Harvard; Prof, UNC

因对计算机体系结构和 *** 作系统以及软件工程做出了里程碑式的贡献

2000 Andrew Chi-Chih Yao --- PhD, UIUC; Prof, Princeton (姚期智，首位华

人获奖者)

因对计算理论做出了诸多根本性的重大贡献

2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo

因他们在设计编程语言SIMULA I 和SIMULA 67时产生的基础性想法,这些想法是面

向对象技术的肇始

2002 Ronald L Rivest --- PhD, Stanford; MIT;

and Adi Shamir --- PhD, Weizmann;

and Leonard M Adelman --- PhD, Berkeley; USC

因他们在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及

xyk产业中被广泛使用的安全基本机制)

2003 Alan Kay --- PhD, Utah; HP Labs (was at Xerox PARC)

因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk

2004 Vinton G Cerf、Robert E Kahn

因在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，

TCP/IP，以及在网络方面卓越的领导。

2005 Peter Naur

因在设计Algol 60语言上的贡献。由于其定义的清晰性，Algol 60成为了许多现代

程序设计语言的原型。

2006 Frances Allen(首位女性获奖者)

因对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译

器和自动并行执行打下了基础。

2007 Edmund M Clarke、 E Allen Emerson和Joseph Sifaki

表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业

中非常有效的算法验证技术所做的奠基性贡献。

1981年在美国工作的Edmund Clarke和Allen Emerson以及在法国的Sifakis分别提

出了模型检测（Model Checking）的最初概念，并且他们开发了一套用于判断硬件

和软件设计的理论模型是否满足规范的方法，此外，当系统检测失败时，还能利用

它确定代码中问题存在的位置。

以上就是关于黄颡鱼肿瘤坏死因子的基因兼并引物怎么设计啊急......全部的内容，包括:黄颡鱼肿瘤坏死因子的基因兼并引物怎么设计啊急......、电子有哪些特长、计算机界诺贝尔奖颁给谁了等相关内容解答，如果想了解更多相关内容，可以关注我们，你们的支持是我们更新的动力！