计算科学
出版时间：2001-12 出版社：1 edition (2002年5月1日) 作者：Peter M.A. Sloot
内容概要
在线阅读本书
The three-volume set, LNCS 2329, LNCS 2330, and LNCS 2331, constitutes the refereed proceedings of the Second International Conference on Computational Science, ICCS 2002, held in Amsterdam, The Netherlands, in April 2002.The three volumes present more than 350 reviewed contributed and invited papers and span the whole range of computational science, from foundational issues in computer science and mathematics to advanced applications in virtually all application fields making use of computational techniques. These proceedings give a unique account of recent results in the field.
图书封面
评论、评分、阅读与下载
用户评论 (总计0条)
推荐图书
- 现场可编程逻辑与应用Field-programmable logic and applications
- CONCUR 2002－并行理论/CONCUR 2002-concurrency theory
- 计算机科学的数学基础2002 Mathematical foundations of computer science 2002
- 多代理系统基础与应用/会议录
- (工程分布式对象)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 (平装)
相关图书
- 先进因特网服务与应用 Advanced Internet services and applications
- CONCUR 2001 － 并发理论 CONCUR 2001
- Parallel Problem Solving from Nature - PPSN VII: 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings (平装)
- 高级信息系统工程 Advanced information systems engineering
- 自动演绎－CADE-18/会议录 Automated deduction-CADE-18
- 绘图
- 下一代信息技术与系统/会议录 Next generation information technologies and systems
- 基于Web的学习进展Advances in web-based learning
- 对象模型化与OCL
- 整数编程与组合优化/Integer programming and combinatorial optimization
- 人工进化/Artificial evolution
- World War II: Day by Day (精装)
- 计算科学
- 计算科学
- 极限编程与灵巧方法
- 实例推理进展／会议录 Advances in case-based reasoning
- 随机化与近似技术／会议录 Randomization and approximation
- 计算逻辑约束
- 群件
- 计算机视觉系统/Computer vision systems
- 过程代数与概率方法、性能建模与验证Process algebra and probabilistic methods
- 交叉语言信息检索系统评价 Evaluation of cross-language information retrieval systems
- 用分析表格与有关方法自动推理/会议录 Automated reasoning with analytic tableaux and related methods
- 形式方法－获得完美信息技术 /Formal Methods
- (综合形式方法/会议录)Integrated formal methods