上级目录
Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换
综合ada参考手册. 语言和标准图书馆Consolidated Ada Reference Manual. Language and Standard Libraries
Reliable Software Technologies - Ada-Europe 2001可靠软件技术-阿达-欧洲2001
Job Scheduling Strategies for Parallel Processing并行处理的工作安排策略
Typed Lambda Calculi and Applications典型Lambda 微积分学及其应用
Algorithms and Computation 算法和计算
Advances in Cryptology - EUROCRYPT 2001密码学进展—EUROCRYPT 2001
Algorithmic Learning Theory 算法学习理论
Spot's Garden(小波的花园)
Information and Communications Security 信息及通信安全
Learning-Based Robot Vision基于学习的机器人视觉
Functional Imaging and Modeling of the Heart心脏的功能成像与建模
Electronic Commerce电子商务
Networked Group Communication网组群通信
Machines, Computations, and Universality机器、计算与通用性
SOFSEM 2001: Theory and Practice of Informatics-SOFSEM 2001－信息学理论与实践
Multiset Processing 多组加工技术
Logic Programming逻辑程序
Sensor Based Intelligent Robots基于传感器的智能机器人
Principles and Practice of Constraint Programming - CP 2001约束编程原理与实践－CP 2001
计算组合优化：优化或可证实近优化方案Computational Combinatorial Optimization
Grid Computing - GRID 2001格栅计算－GRID2001
Digital and Image Geometry数字图像几何学
Perspectives of System Informatics系统信息学透视
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science :软件技术与理论计算机科学的基础
Trust in Cyber-societies 网际社会中的诚信
2001 密码学进展－INDOCRYPT 2001Progress in Cryptology - INDOCRYPT
Advances in Cryptology - ASIACRYPT 2001-密码学进展 - ASIACRYPT 2001
Transactional Agents转换代理
Advances in Artificial Intelligence应用人工智能进展
Logic for Programming, Artificial Intelligence, and Reasoning 编程、人工智能与推理用逻辑学
子波分析及其应用与有活性媒体技术Wavelet Analysis and Its Applications
Active Media Technology活动媒体技术
Engineering for Human-Computer Interaction 人机交互的符号工程
基于COTS的软件系统/COTS-Based Software Systems
AI 2001: Advances in Artificial Intelligence-AI2001：人工智能进展
Model Checking Software模型检验软件
人工智能知识进步,多代理系统,逻辑程序、以及约束求解Progress in Artificial Intelligence
Haptic Human-Computer Interaction 触觉人机交互作用
Visual Form 01直观的形式01
密码术的选定区Selected Areas in Cryptography
Automated Deduction in Geometry几何学的自动演绎
Cryptography and Coding 加密和编码
Contraint Based Agents基于代理的约束
Modular Specification and Verification of Object-Oriented Programs面向对象程序的模块规范与验证
Stochastic Algorithms: Foundations and Applications随机算法:基础和应用
Graph Drawing 绘图
Hypermedia: Openness, Structural Awareness, and Adaptivity超媒体:公开性、结构意识以及适应性
Recent Trends in Algebraic Development Techniques代数开发技术的近期趋势
Embedded Processor Design Challenges挑战嵌入式处理器设计
Topics in Cryptology - CT-RSA 2002密码学论题—CT—RSA 2002
ZB 2002: Formal Specification and Development in Z and B-ZB 2002:Z与B的形式说明与发展
Engineering of Intelligent Systems智能系统工程
Information Retrieval Techniques for Speech Applications信息检索技术在语言表达上的应用
Types in Compilation编译类型
Public Key Cryptography公共密码匙
Advances in Soft Computing - AFSS 2002软件计算的发展 - AFSS 2002
Computational Linguistics and Intelligent Text Processing计算语言学和智能文本处理
Computational Science - ICCS 2001计算科学－ICCS 2002
Genetic Programming遗传法编程
Applications of Evolutionary Computing应用进化计算法
Software Process Technology软件工艺
Progress in Discovery Science探索科学的进步
Practice and Theory of Automated Timetabling III 自动时间表生成的实践与理论III
Integer Programming and Combinatorial Optimization 自动时间表生成的实践与理论III
高阶逻辑推导引擎证明：Isabelle/HOL
Foundations of Information and Knowledge Systems信息系统基础知识
Information Processing in Medical Imaging 医学成像的信息处理
STACS 2002第十九届计算机科学理论问题年度会议
LATIN 2002: Theoretical Informatics LATIN2002：理论信息学
Information Security and Cryptology - ICISC 2001数据安全和密码术- ICISC 2001
Advances in Information Retrieval信息检索进展
Developments in Language Theory语言发展理论
From Theory to Practice in Multi-Agent Systems多代理系统理论与实践
网络与普及计算趋向—ARCS 2002：Trends in Network and Pervasive Computing - ARCS 2002
Recent Advances in Intrusion Detection 入侵探测最新进展
Algorithms - ESA 2001 算法—ESA 2001
Computational Discrete Mathematics（计算离散数学）
（形式方法与性能分析讲义）Lectures on Formal Methods and Performance Analysis
（描述逻辑中的非标准推理）Non-Standard Inferences in Description Logics
Discrete Geometry for Computer Imagery（计算机图象离散几何）
Energy Minimization Methods in Computer Vision and Pattern Recognition（计算机视觉与模式识别中的能量最小化方法）
Compiler Construction（编译语言释义）
Artificial Neural Networks - ICANN 2001 （人工神经网络—ICANN2000）
Model Checking Software（模型检测软件）
Computational Learning Theory （计算学习理论年会会议录）
Audio- and Video-Based Biometric Person Authentication （基于生物统计的音频与视频鉴别）
Computer Aided Verification （计算机辅助验证）
（计算语言学的逻辑问题）Logical Aspects of Computational Linguistics
Bio-Inspired Applications of Connectionism （连接机制的生物激励应用）
Connectionist Models of Neurons, Learning Processes,and Artificial Intelligence （神经元、学习过程与人工智能的连接模型）
Networking－ICN 2001（联网- ICN 2001）
Unifying Petri Nets （统一 Petri 网络）
（语境建模与应用）Modeling and Using Context
（人工智能进展， PRICAI 2000学术讨论会读物）Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader
OpenMP Shared Memory Parallel Programming （OpenMP 共享存储器并行程序设计）
Recent Advances in Parallel Virtual Machine and Message Passing Interface （并行虚拟计算机与信息传送界面最新进展）
Persistent Object Systems （持久目标系统）
Discrete and Computational geometry（离散与计算几何学）
Implementation and Application of Automata （自动机的实现与应用）