第一图书网

全部分类

Program Development in Computational Logic计算逻辑的程序开发

Bruynooghe, Maurice; Lau, Kung-Kiu; 北京燕山出版社
出版时间：2004-8
出版社：北京燕山出版社
作者：Bruynooghe, Maurice; Lau, Kung-Kiu;
页数：538
图书封面

下载链接
    Program Development in Computational Logic计算逻辑的程序开发PDF格式下载

相关图书

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 学习软件组织进展/会议录
电源敏感的计算机系统
Component-Based Software Development for Embedded Systems嵌入系统用的基于组件的软件开发
Advances in Biometric Person Authentication生物测量个人身份验证进展
Formal Methods and Software Engineering形式方法与软件工程
Information and Communications Security信息及通信安全
Business Process Management 业务流程管理/会议录
Conceptual Modeling for Advanced Application Domains高级应用域的概念模型
Correct Hardware Design and Verification Methods 正确的硬件设计与验证法
Embedded Software and Systems嵌入式软件与系统