[图灵奖得主访谈]1995_Manuel Blum_计算复杂度理论及其在密码学和程序校验上的应用
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
[图灵奖得主访谈]2002_Ron Rivest_公钥密码学（RSA加密算法）
...
[图灵奖得主访谈]1982_Stephen A. Cook_计算复杂度
...
[图灵奖得主访谈]2012_Silvio Micali_在密码学和复杂理论领域做出创举性工作
...
[图灵奖得主访谈]1993_Richard E. Stearns_计算复杂度理论
...
[图灵奖得主访谈]2010_Leslie G.Valiant_对众多计算理论所做的变革性的贡献
...
[图灵奖得主访谈]2008_Barbara Liskov_编程语言和系统设计的实践与理论
...
[图灵奖得主访谈]1986_Robert Tarjan_算法和数据结构的设计与分析
...
[图灵奖得主访谈]2002_Len Adleman_公钥密码学（RSA加密算法）
...
[图灵奖得主访谈]2012_Shafi Goldwasser_在密码学和复杂理论领域做出创举性工作
...
[图灵奖得主访谈]1993_Juris Hartmanis_计算复杂度理论
...
[图灵奖得主访谈]2011_Judea Pearl_人工智能
...
[图灵奖得主访谈]1986_John Hopcroft_算法和数据结构的设计与分析
...
[图灵奖得主访谈]2015_Whitfield Diffie_非对称加密的创始人
...
[图灵奖得主访谈]1990_Fernando J. Corbató_CTSS和Multics
...
[图灵奖得主访谈]1976_Dana S. Scott_非确定性自动机_Part 4
...
[图灵奖得主访谈]1976_Dana S. Scott_非确定性自动机_Part 3
...
[图灵奖得主访谈]1976_Dana S. Scott_非确定性自动机_Part 2
...
[图灵奖得主访谈]1999_Frederick Brooks_计算机体系结构，操作系统，软件工程
...
[图灵奖得主访谈]2007_Joseph Sifakis_开发自动化方法检测计算机硬件和软件中的设计错误
...
[图灵奖得主访谈]2008_Barbara Liskov_编程语言和系统设计的实践与理论
...
[图灵奖得主访谈]1984_Niklaus Wirth_程序设计语言设计
...
[图灵奖得主访谈]2007_Allen Emerson_开发自动化方法检测计算机硬件和软件中的设计错误
...
[图灵奖得主访谈]1976_Michael O. Rabin_非确定性自动机
...
[图灵奖得主访谈]1989_William Morton Kahan_数值分析
...
[图灵奖得主访谈]1998_Jim Gray_数据库与事务处理
...
[图灵奖得主访谈]1980_Tony Hoare_程序设计语言的定义与设计
...
[图灵奖得主访谈]2006_Fran Allen_优化编译器
...
[图灵奖得主访谈]1994_Edward Feigenbaum_大规模人工智能系统_3
...
[图灵奖得主访谈]2014_Michael Stonebraker_对现代数据库系统底层的概念与实践所做出的基础性贡献
...
[图灵奖得主访谈]1994_Edward Feigenbaum_大规模人工智能系统_1
...
[图灵奖得主访谈]2015_Martin Hellman_非对称加密的创始人
...
[图灵奖得主访谈]1994_Raj Reddy_大规模人工智能系统
...
[图灵奖得主访谈]1976_Dana S. Scott_非确定性自动机_Part 1
...
[图灵奖得主访谈]1974_Donald E. Knuth_算法分析、程序设计语言的设计、程序设计_Part 1
...
[图灵奖得主访谈]2008_Barbara Liskov_编程语言和系统设计的实践与理论_2
...
[图灵奖得主访谈]1975_Allen Newell_人工智能，人类认知心理学和列表处理（list processing）
...
[图灵奖得主访谈]2013_Leslie Lamport_1_在提升计算机系统的可靠性及稳定性领域的杰出贡献
...
[图灵奖得主访谈]1994_Edward Feigenbaum_大规模人工智能系统_2
...
[图灵奖得主访谈]1974_Donald E. Knuth_算法分析、程序设计语言的设计、程序设计_Part 2
...
[图灵奖得主访谈]1976_John Backus_高级编程系统，程序设计语言规范的形式化定义