计算机科学的数学基础2002 Mathematical foundations of computer science 2002
出版时间：2002-10 作者：Krzystof Diks
内容概要
This book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science, MFCS 2002, held in Warsaw, Poland in August 2002. The 48 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 108 submissions. All relevant aspects of theoretical computer science are addressed, ranging from discrete mathematics, combinatorial optimization, graph theory, algorithms, and complexity to programming theory, formal methods, and mathematical logic.
图书封面
评论、评分、阅读与下载
计算机科学的数学基础2002 Mathematical foundations of computer science 2002 PDF格式下载
用户评论 (总计0条)
推荐图书
- Human Traces人类的踪迹
- 茶
- 花漾人生1
- 应用统计学学习指导
- 窮小子開民宿：創意民宿的輕生活
- Magic Books: Animal Antics (木板书)
- The Ultimate Visual Guide to Star Wars (精装)
- Rabbit (精装)
- "SpongeBob SquarePants" the Essential Guide (精装)
- Kitten Care (精装)
- Bear (精装)
- Puppy Care (精装)
- Madrid (精装)
- Japan (精装)
- Provence and the Cote d'Azur (精装)
- Egypt (平装)
- Singapore (平装)
- The Successful Marketing Plan: A Disciplined and Comprehensive Approach (平装)
- Julie and Julia: My Year of Cooking Dangerously (平装)
- Europe's Best Places to Stay (平装)
- Great Britain (平装)
- House of Lies: How Management Consultants Steal Your Watch Then Tell You the Time (平装)
- The Christmas Kit (精装)
- London (精装)
- 软件工程
相关图书
- 多代理系统基础与应用/会议录
- (工程分布式对象)Engineering distributed objects
- 电子和Web技术 E-commerce and web technologies
- 图形识别 Graphics recognition
- 可靠软件技术 Reliable software technologies
- 组合模式匹配/会议录 Combinatorial pattern matching
- 计算机性能评价 Computational logic
- Parallel Processing and Applied Mathematics: 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers (平装)
- Advanced Environments, Tools, and Applications for Cluster Computing: NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers (平装)
- 高次逻辑中的定理证明 Theorem proving in higher order logics
- Euro-Par 2002. - 并行处理/会议录Euro-Par 2002, parallel processing
- 高性能计算/会议录 High performance computing
- 泛计算 Pervasive computing
- 流沙
- 软件生产线/会议录Software product lines
- DNA计算/会议录/DNA computing
- 文献分析系统V／会议录Document analysis systems V
- 智能数据工程与自动化学习2002年国际会议录Intelligent data engineering and automated learning
- 计算机辅助验证 Computer aided verification
- 约束程序设计原理与实践 CP2002Principles and practice of constraint programming-CP2002
- 学习分类器系统进展/会议录 Advances in learning classifier systems
- Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings (平装)
- 计算逻辑.逻辑程序设计及其它 第2卷Computational logic
- 应用语义学 Applied semantics
- Cars: The Essential Guide (精装)