图书 _产品目录

Conceptual Modeling - ER 2004概念模式-ER2004

考研英语最新模拟试卷及精析（含8套试卷）

Ambient Intelligence for Scientific Discovery科学发现的环境智能：基础、理论与系统

Adaptive Agents and Multi-Agent Systems II 适应性代理与多代理系统 II：适应与多代理学习

Topics in Cryptology -- CT-RSA 2005密码学论题-CT-RSA 2005年/会议录

考研英语看阅读记单词

成像分析/Image Analysis: 14th Scandinavian Conference, SCIA 2005

Switching and Learning in Feedback Systems反馈系统的交换与学习/会议录

代理通信/会议录Agent Communication: International Workshop on Agent

中国建筑业组织及其合理化研究/清华大学建设管理丛书

DNA Computing: 10th International Workshop onDNA计算/会议文集

Active Mining: Second International Workshop, AM 2003主动发掘/会议文集

听录音跟读新概念英语词汇4：流利英语（英音版）（附磁带2盘）——新概念英语辅导丛书

基于生物统计的音频与视频鉴别/2005年国际会议录：Audio- and Video-Based Biometric Person Authentication

Engineering Knowledge in the Age of the Semantic Web语义网时代的工程知识/会议录

走向有意义的互联网系统 2004On the Move to Meaningful Internet Systems 2004

2005年/会议录 STACS 2005: 22nd Annual Symposium on Theoretical

赫曼·赫兹伯格的代表作

互联世界的数据管理：献给 Hartmut Wedekind 70诞辰纪念文集-Data Management in a Connected World: Essays Dedicated

登山计划——梦想颠峰丛书

ECOOP 2005 - Object-Oriented Programming: 19th European ECOOP 2005－面向目标的编程/2005年会议录

l基于网学习进展-ICWL2005Advances in Web-Based Learning - ICWL 2005: 4th Internationa

Agent Computing and Multi-Agent Systems代理计算及Multi-Agent系统

美国(第二版)

Modeling and Using Context(上下文的建模和使用/会议录)

Product Focused Software Process Improvement(注重产品的软件过程改善)

Reliable Software Technology Ada-Europe 2005(可靠软件技术—Ada欧洲2005/会议录)

The Semantic Web: Research and Applications(语义网)

New Computational Paradigms(新计算范例/会议录)

Innovations in Applied Artificial Intelligence(应用人工智能创新/会议录)

欧洲大陆（第二版）——异域风情丛书

Entertainment Computing - ICEC 2004 娱乐计算- ICEC 2004 /会议录

Logical Aspects of Computational Linguistics(计算语言学的逻辑方面/会议录)

Journal on Data Semantics III(数据语义学杂志　III)

Intelligent Tutoring Systems 智能辅导系统/会议录

异域风情丛书:德国(第二版)

ECOOP 2004 - Object-Oriented Programming ECOOP 2004——面向对象的程序设计/会议录

Key Technologies for Data Management 数据管理关键技术/会议录

Advances in Learning Software Organizations 学习软件组织进展/会议录

Inductive Logic Programming 归纳逻辑编程/会议录

Practical Aspects of Declarative Languages说明性语言的实用问题/会议录

电力安全生产与现场救护

神经计算进展 第1部分：Advances in Natural Computation: First International Conference

心脏功能成像与建模/会议录：Functional Imaging and Modeling of the Heart: Third

FSTTCS 2005: Foundations of Software Technology and FSTTCS 2005：软件技术与理论计算机科学的基础/会议录

2004年第2届国际验证与分析的自动化技术会议录（计算机科学学术讲座纪要 卷3299）Automated Technology for Verification and Analysis

新建筑经济学（第二版）——土木工程技术丛书

Embedded Software and Systems嵌入式软件与系统

Advances in Natural Language Processing 自然语言处理进展： FinTAL 2006/会议录

Formal Modeling and Analysis of Timed Systems 时间系统的形式建模与分析/会议录

河流生态修复技术研讨会论文集

Ad-Hoc, Mobile, and Wireless Networks Ad-Hoc、移动与无线网络：ADHOC-NOW 2006第5届国际会议/会议录

Unconventional Programming Paradigms: International Workshop UPP 非传统编程范例/2004年国际会议录

2004神经语言过程Natural Language Processing IJCNLP

Town House - - 现代都市生活(精装)

2005智能数据工程与自动化学习/2005年国际会议录/Intelligent Data Engineering and Automated Learning

电力建设施工起重方案及实例精选

Agents and Peer-to-Peer Computing: Third International Workshop 智能主体与对等计算：AP2PC 2004/会议录

Cellular Automata(细胞自动机器)

Knowledge Science, Engineering and Management 工程及管理科技知识

E-Commerce and Web Technologies: 6th International Conference电子商务与Web技术/会议录

建筑抗震鉴定与加固

Computing and Combinatorics 计算和组合

Practical Aspects of Declarative Languages说明性语言的实用方面/会议录

Advances in Natural Computation 神经计算进展 第3部分

中央空调工程通用图纸集粹(设计安装材料)

Advances in Natural Computation 神经计算进展 第2部分

Advances in Artificial Life 人工生命进展/会议录

电力工程建设项目招标投标法规文件应用指南

人工免疫系统/会议录/Artificial Immune Systems

Automated Deduction CADE-20 自动化演绎－CADE-20/2005年国际会议录

Fuzzy Systems and Knowledge Discovery 模糊系统和知识发现 第2部分

水文气候预测基础理论与应用技术/长江水利委员会大中型水利水电工程技术丛书

Case-Based Reasoning Research and Development 基于案例推理研究与发展/会议录

Frontiers of Combining Systems 组合系统前沿/会议录

PRICAI 2006 （2006人工智能趋势）

分布式流域水文模型原理与实践——水科学前沿学术丛书

大规模多代理系统I/Massively multi-agent systems I

Smart Graphics: 5th International Symposium, SG 2005

电力建设工程造价手册

Algorithms and Computation 算法与计算

建设工程施工管理·建设工程法规及相关知识

Embedded and Ubiquitous Computing - EUC 2005 Workshops 嵌入与普适计算/会议录

Natural Language Generation: Third International Conference自然语言生成/会议录

互联网与网络经济学/Internet and Network Economics

装饰装修工程管理与实务

Symbolic and Quantitative Approaches to Reasoning with Uncertainty不确定性推理的符号与定量研究/2005年欧洲会议录

FM 2005: Formal Methods: International Symposium of FormalFM 2005:形式化方法/会议录

KI 2004: Advances in Artificial Intelligence(KI 2004人工智能进展/会议录)

Transactions on Rough Sets II: Rough Sets and Fuzzy Sets粗集，学报II：粗集与模糊集

房屋建筑工程管理与实务

Discovery Science(发现科学/会议录)

高性能计算的语言与编译器/2004年国际会议录 Languages and Compilers for High Performance Computing

Formal Methods and Software Engineering(形式方法与软件工程/会议录)

Adaptive Hypermedia and Adaptive Web-Based Systems适应性超媒体与基于Web的适应性系统/会议录

Image and Video Retrieval: 4th International Conference图像与视频检索/2005年国际会议录

Model Checking Software: 12th International SPIN Workshop模型检验软件/会议录

UML Modeling Languages and Applications(UML模式语言和应用)

高级数据开采和应用/Advanced Data Mining and Applications

一级建造师执业资格考试通关指南：建设工程经济

上一页        下一页