DATE图灵 相关的文章 共1篇
2013 年图灵奖得主 Leslie Lamport 程序员需要更多的数学知识
Leslie Lamport 可能并不是一个家喻户晓的名字，但对于计算机科学家们来说，他是一些耳熟能详的「名字」幕后的贡献者。比如 Paxos 算法、排版程序 LaTeX、规格语言 TLA+、「面包店
一周热门
-
携程集团与沙特旅游局签署战略合作备忘录
2023-04-07 -
投行Truist维持好市多“买入”评级和沃尔玛“持有”评级
2023-04-07 -
银河证券维持上海钢联“推荐”评级
2023-04-07 -
三六零 周鸿祎承诺12个月内不减持 胡欢承诺6个月内不减持
2023-04-07 -
千寻位置宣布与1688达成合作 正式入驻1688工业品平台
2023-04-07 -
抖音和腾讯视频达成合作 涉及长短视频联动推广
2023-04-07 -
华贸物流 选举曾祥展为公司第五届监事会主席
2023-04-07
栏目最新
