随机推荐
热门分类
全站随机推荐
- Formal Concept Analysis 形式概念分析/会议录
- 2005嵌入与普适计算 EUC 2005/会议录Embedded and Ubiquitous Computing - EUC
- Conceptual Modeling for Advanced Application Domains高级应用域的概念模型
- Teaching Formal Methods形式方法教学/会议录
- Text, Speech and Dialogue 文本、语音与对话
- Component-Based Software Development for Embedded Systems嵌入系统用的基于组件的软件开发
- Natural Language Processing and Information Systems自然语言处理与信息系统
- Distributed Computing分布式计算/会议录
- Systems Aspects in Organic and Pervasive有机与普适计算中的系统方面/会议录
- Transactions on Computational Systems Biology III计算系统生物学汇刊 III
- Correct Hardware Design and Verification Methods 正确的硬件设计与验证法
- Advanced Parallel Processing Technologies高级并行处理技术
- Parallel and Distributed Processing and Applications - ISPA 2005 Workshops并行与分布式处理及应用
- Web and Wireless Geographical Information SystemsWeb和无线地理信息系统
- 约束编程的原理与实践 - CP 2005/Principles and Practice of Constraint Programming - CP 2005
- 效用计算/会议录 Utility Computing
- Languages and Compilers for Parallel Computing 并行处理用语言与编译器/会议文集
- Computer Analysis of Images and Patterns 图像与模式的计算机分析
- Advances in Computer Systems Architecture计算机体系结构进展
- Advances in Computer Science - ASIAN 2005. Data Management on the Web计算机科学进展
- 2005年/会议录 STACS 2005
- Correct Hardware Design and Verification Methods正确的硬件设计与验证法/会议录
- Technologies for Advanced Heterogeneous Networks高级异构网络技术/会议录
- Advances in Intelligent Data Analysis VI智能数据分析进展 VI/会议录
- Formal Methods at the Crossroads. From Panacea to Foundational Support 十字路口中的形式方法
- Advances in Multimedia Information Processing - PCM 2004 多媒体信息处理进展
- 白银似雪
- 多代理系统的软件工程Software Engineering for Multi-Agent Systems III
- Computer Network Security计算机网络安全/会议录
- Advances in Visual Computing可视计算进展/会议录
- Embedded Software and Systems嵌入式软件与系统
- Information Hiding信息隐藏/2005第7届国际研讨会文集
- Automata, Languages and Programming自动控制、语言与编程/2005年国际会议录
- Progress in Pattern Recognition, Image Analysis and Applications模式识别、图像分析与应用进展
- Constraint Solving and Language Processing约束求解与语言处理/会议文集
- Agent-Oriented Information Systems II面向代理的信息系统 II/会议文集
- Key Technologies for Data Management 数据管理关键技术/会议录
- Network and Parallel Computing网络和并行计算
- Business Process Management 业务流程管理/会议录
- Networking and Mobile Computing 网络与移动计算
- 过程、期限与周期
- Fundamental Approaches to Software Engineering 软件工程基础方法/会议录
- 书品
- Advances in Informatics信息学进展
- 白银似雪
- Advances in Learning Software Organizations 学习软件组织进展/会议录
- Model Driven Architecture - Foundations and Applications模型驱动的体系结构
- 电脑成像用离散几何学/会议录Discrete Geometry for Computer Imagery
- Security in Ad-hoc and Sensor Networks(专门与传感器网络的安全/会议录)
- Teaching Formal Methods形式方法教学/会议录