第一图书网

全部分类

Algebra and Coalgebra in Computer Science 计算机科学中的代数与共代数/会议录

Fiadeiro, Jose Luiz; Harman, Neil; Roggenbach, Markus 北京燕山出版社
出版时间：2005-9
出版社：北京燕山出版社
作者：Fiadeiro, Jose Luiz; Harman, Neil; Roggenbach, Markus
页数：455
图书封面

下载链接
    Algebra and Coalgebra in Computer Science 计算机科学中的代数与共代数/会议录PDF格式下载

相关图书

Advances in Databases and Information Systems 数据库与信息系统进展/会议录
Medical Simulation 医学模拟/会议录
Computer Science Logic 计算机科学逻辑/会议录
Advanced Studies in Biometrics 高级生物特征识别研究
Ubiquitous Computing Systems 普适计算系统/论文集
Computer Human Interaction 计算机和人交互作用/会议录
Conceptual Modeling for Novel Application Domains 最新应用域的概念模式
Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录)
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 计算智能与安全国际会议第一卷