Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (平装)
出版时间：2001-1 出版社：1 edition (2001年3月1日) 作者：Herbert Kuchen
内容概要
在线阅读本书
This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001.The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.
图书封面
评论、评分、阅读与下载
用户评论 (总计0条)
推荐图书
- Read with me Practice and Play 3 边玩边学
- Baby Animals 幼小的动物
- Read with me Practice and Play 4 边玩边学
- Graph Drawing 绘图
- 老夫子
- 野兽·野兽·野兽
- 标准法语发音
- CO2气体保护半自动焊工艺基础
- 焊工-工人技术培训题集
- 简明车工计算手册
- 输电线路设计基础
- 电气工程实验技术
- 水果制品加工工艺与配方
- 中.高级制图员-技能测试考试指导AutoCAD-机械类
- 简明钳工计算手册
- Protel 99 SE原理图与PCB设计
- 摩托车修理入门与技巧
- 新编国产轿车故障检修实例
- 工厂电气控制电路实例详解
- 过程系统分析与综合
- 等离子电视机和液晶电视机原理与维修
- 电冰箱、空调器维修入门与提高
- 工程资料整理
- 土力学
- 无机化学
相关图书
- Graph-Theoretic Concepts in Computer Science 计算机科学中的图论概念
- Numerical Analysis and Its Applications: Second International Conference, NAA 2000 Rousse, Bulgaria, June 11-15, 2000. Revised Papers (平装)
- Spatial Information Theory. Foundations of Geographic Information Science: International Conference, COSIT 2001 Morro Bay, CA, USA, September 19-23, 2001 Proceedings (平装)
- Power-Aware Computer Systems 节电计算机系统
- Advances in Multimedia Information Processing - PCM 2001 多媒体信息处理进展-PCM 2001
- Engineering Societies in the Agents World II基于代理技术的工程社会２
- Genetic Programming: 4th European Conference, EuroGP 2001 Lake Como, Italy, April 18-20, 2001 Proceedings (平装)
- Job Scheduling Strategies for Parallel Processing: 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers (平装)
- Algorithms and Computation 算法和计算
- Engineering for Human-Computer Interaction 人机交互的符号工程
- Cryptography and Coding 加密和编码
- Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS (平装)
- Applications of Evolutionary Computing应用进化计算法
- Practice and Theory of Automated Timetabling III 自动时间表生成的实践与理论III
- Haptic Human-Computer Interaction 触觉人机交互作用
- Algorithms - ESA 2001 算法
- Inductive Logic Programming 归纳逻辑编程
- Automatic Generation of Computer Animation 计算机动画自动生成法
- Networking - ICN 2001: First International Conference on Networking, Colmar, France July 9-13, 2001 Proceedings, Part II (平装)
- Information Hiding 信息隐藏
- Advances in Cryptology - CRYPTO 2001 密码学进展
- Process Algebra and Probabilistic Methods 过程代数与概率方法
- The Tale of Tom Kitten 小猫汤姆的故事
- Read with me Practice and Play 2 边玩边学
- The Tale of Jemima Puddle Duck 母鸭洁玛的故事