第一图书网

全部分类

Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录)

Urzyczyn, Pawel (EDT) Springer Verlag
出版社：Springer Verlag
作者：Urzyczyn, Pawel (EDT)
页数：432
图书封面

下载链接
    Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录)PDF格式下载

相关图书

Advances in Artificial Life 人工生命进展
Combinatorial Image Analysis组合图像分析/会议录
Discovery Science 发现科学
Inductive Logic Programming 归纳逻辑编程
Computational Science and Its Applications - ICCSA 2005, Part II(计算机科学及其应用—ICCSA 2005 /会议录 第II部分)
Evolutionary Computation in Combinatorial Optimization组合优化的寻优计算/会议录
网络信息系统数据库Databases in Networked Information Systems
Program Development in Computational Logic计算逻辑的程序开发
Logic Programming逻辑程序设计/会议录
Artificial Evolution人工进化/会议录
NETWORKING 2005. Networking TechnologiesNETWORKING 2005.网络技术，服务与协议；计算机与通信网络的性能；移动与无线通信系统/会议录
Coordination Models and Languages 协同模型与语言/会议录
Integer Programming and Combinatorial Optimization整数规划与组合最优化
Service Assurance with Partial and Intermittent Resources具有部分的与断续的资源的服务保障/会议录
Deterministic and Statistical Methods in Machine Learning 机器学习中的确定与统计方法/论文集
Mathematical Foundations of Computer Science 2006计算机科学的数学基础 2006
Mathematical Knowledge Management数学知识管理
Architecting Dependable Systems III 可靠系统的体系结构设计 III
Logic Programming and Nonmonotonic Reasoning逻辑编程与非单调推理/会议录
Computer Network Security计算机网络安全/会议录
Tools and Algorithms for the Construction and系统构建与分析工具与算法/会议录
Formal Concept Analysis 形式概念分析/会议录
Conceptual Modeling - ER 2004概念模式-ER2004
Advances in Computer Systems Architecture计算机体系结构进展
Advances in Visual Computing可视计算进展/会议录
Advanced Parallel Processing Technologies高级并行处理技术
Advances in Informatics信息学进展
Management of Multimedia Networks and Services多媒体网络与服务的管理
Software Product Lines软件生产线/会议录
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops并行与分布式处理及应用
Software Process Improvement软件过程改进
农村基层党风廉政建设研究与实践
Algorithmic Learning Theory算法学习理论/会议录
Discovery Science 发现科学/会议录
Transactions on Computational Systems Biology III计算系统生物学汇刊 III
Technologies for Advanced Heterogeneous Networks高级异构网络技术/会议录
Distributed Computing and Internet Technology分布计算与因特网技术/会议录
Component Deployment组件开发/会议录
Network and Parallel Computing网络和并行计算
rid and Cooperative Computing - GCC 20052005网格与协同计算
Ambient Networks环境网络/会议录
Computational Intelligence and Security 计算智能与安全国际会议第一卷
彝族宗教与信仰
千家诗
书品
浮生六记
Progress in Pattern Recognition, Image Analysis and Applications模式识别、图像分析与应用进展
Key Technologies for Data Management 数据管理关键技术/会议录
Advances in Learning Software Organizations 学习软件组织进展/会议录
电源敏感的计算机系统