第一图书网

全部分类

STACS 20012001年第18届年度计算机科学的理论问题讨论会文集

Afonso Ferreira 1 (2001年3月1日)

出版时间：

2001-3

出版社：

1 (2001年3月1日)

作者：

Afonso Ferreira

内容概要

在线阅读本书
This book constitutes the refereed proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2001, held in Dresden, Germany in February 2001.
The 46 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 153 submissions. The papers address foundational aspects from all current areas of theoretical computer science including algorithms, data structures, automata, formal languages, complexity, verification, logic, graph theory, optimization, etc.

length: (cm)23.3 　　　　　　　　　　　　　 width:(cm)15.4

图书封面

广告

下载页面

STACS 20012001年第18届年度计算机科学的理论问题讨论会文集 PDF格式下载

相关图书

Self-Stabilizing Systems 自稳定系统

Semantics, Applications, and Implementation of Program Generation 程序生成语义学、应用与实施

Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (平装)

Graph-Theoretic Concepts in Computer Science 计算机科学中的图论概念

Numerical Analysis and Its Applications: Second International Conference, NAA 2000 Rousse, Bulgaria, June 11-15, 2000. Revised Papers (平装)

Spatial Information Theory. Foundations of Geographic Information Science: International Conference, COSIT 2001 Morro Bay, CA, USA, September 19-23, 2001 Proceedings (平装)

Power-Aware Computer Systems 节电计算机系统

Advances in Multimedia Information Processing - PCM 2001 多媒体信息处理进展-PCM 2001

Engineering Societies in the Agents World II基于代理技术的工程社会２

Genetic Programming: 4th European Conference, EuroGP 2001 Lake Como, Italy, April 18-20, 2001 Proceedings (平装)

Job Scheduling Strategies for Parallel Processing: 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers (平装)

Algorithms and Computation 算法和计算

Engineering for Human-Computer Interaction 人机交互的符号工程

Cryptography and Coding 加密和编码

Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS (平装)

Applications of Evolutionary Computing应用进化计算法

Practice and Theory of Automated Timetabling III 自动时间表生成的实践与理论III

Haptic Human-Computer Interaction 触觉人机交互作用

Algorithms - ESA 2001 算法

Inductive Logic Programming 归纳逻辑编程

Automatic Generation of Computer Animation 计算机动画自动生成法

Networking - ICN 2001: First International Conference on Networking, Colmar, France July 9-13, 2001 Proceedings, Part II (平装)

Information Hiding 信息隐藏

Advances in Cryptology - CRYPTO 2001 密码学进展

Process Algebra and Probabilistic Methods 过程代数与概率方法