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