理论计算机科学书籍 理论计算机科学

　　Giuseppe F Italiano et al 　　Theoretical Computer 　　Science 　　2007； 　　Hardback
　　ISBN9789812770981
　　
　　G.意大利亚诺等编
　　第10届意大利理论计算机科学会议(ICTCS 2007)于2007年10月3-5日在罗马举行。前几届会议分别于1972、1974、1989、1992、1995、2001、2003及2005年在比萨曼图亚、普拉托等意大利城市举行。本届会议涉及了理论计算机科学的所有领域，讨论了理论计算机科学的最新进展。涉及的主题范围：算法的设计与分析、计算的逻辑与数学文献、编程语言语义学。会议的第一天举办了一场报告会，庆祝M.Coppc,M.Dezani�Ciancaylini和S.R.D.Rocca的60岁生日，这三位研究人员是世界理论计算机科学家团体中的著名人物，特别是在λ�演算、类型理论及编程语言的语义学研究方面。为此在本书的卷首有一篇关于这三位科学家的简短研究传记。
　　本书分成两个部分。第一部分特邀演讲有5篇。它们是：1.在线旅行代理的洞察力与惰性；2.λ�理论与模型的边界特性证明；3.适当的λ�模型能否有递归可枚举等式理论；4.面向服务计算的以话路为中心的计算；5.基础中的对称，除了第4篇为全文以外，其余各篇只是演讲或介绍的摘要。第二部分15篇参会论文。1.关于稠密施泰纳树问题的可逼近性；2.有色图中的弱模式匹配：连接分支数量的极小化；3.弱马尔可夫双相似性：从优先代/加权内部立即作用中提取；4.关于类的非干扰分析；5.O*(1.997711)中极小有向反馈顶点集合计算；6.在网络中查找树和它们的分支是严格的；7.并行系统中模糊行为建模；8.合成编译的形式框架；9.类似Java语言中多态方法的类型推论；10.流多重集合的排序；11.随机重排简单算法分析；12.多项式时间趋近模型的测量假设及有效性；13.布尔动态系统中固定点计算的二分法结果；14.弱Presburger算术中的可定义集合；15.�公开密钥模型中知识的定义证明。
　　本书可供从事计算机科学理论及应用的研究人员及研究生阅读参考。
　　胡光华，
　　高级软件工程师
　　(原中国科学院物理学研究所)
　　Hu Guanghua, Senior Software Engineer
　　(Former Institute of Physics,CAS)