Theoretical Aspects of Computer Software 工程安全与可靠性
出版时间：2001-11 出版社：1 (2001年11月1日) 作者：Naoki Kobayashi
内容概要
在线阅读本书
This book constitutes the refereed proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software, TACS 2001, held in Sendai, Japan, in October 2001.
The book presents 21 selected and revised full papers. Also included are six invited papers plus one open lecture by internationally leading scientists. Among the topics addressed are automata theory, concurrency, control-flow analysis, lambda calculi, model checking and program logic.
length: (cm)23.3 width:(cm)15.4
图书封面
评论、评分、阅读与下载
Theoretical Aspects of Computer Software 工程安全与可靠性 PDF格式下载
用户评论 (总计0条)
推荐图书
- 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 过程代数与概率方法
- The Tale of Tom Kitten 小猫汤姆的故事
- Read with me Practice and Play 2 边玩边学
- The Tale of Jemima Puddle Duck 母鸭洁玛的故事
- Read with me Practice and Play 3 边玩边学
- Baby Animals 幼小的动物
相关图书
- Advances in Cryptology - ASIACRYPT 2001-密码学进展 - ASIACRYPT 2001
- Computational Intelligence. Theory and Applications 计算智能、理论与应用
- Embedded Software 嵌入式软件
- Protocols for Multimedia Systems 交互分布多媒体系统
- Advances in Cryptology - EUROCRYPT 2001密码学进展
- 2001-高性能计算－HiPC 2001High Performance Computing - HiPC
- Learning-Based Robot Vision: Principles and Applications (平装)
- Networked Group Communication: Third International COST264 Workshop, NGC 2001, London, UK, November 7-9, 2001. Proceedings (平装)
- 2001 密码学进展－INDOCRYPT 2001Progress in Cryptology - INDOCRYPT
- Integer Programming and Combinatorial Optimization 自动时间表生成的实践与理论III
- 网络与普及计算趋向
- Computational Science - ICCS 2001: International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II (平装)
- Automata, Languages and Programming 自动化、编程和语言
- Mathematical Foundations of Computer Science 2001 计算机科学的数学基础2001
- Medical Data Analysis 医学数据分析
- Evolutionary Trends of the Internet 因特网发展趋向
- Computer Aided Systems Theory - EUROCAST 2001 计算机辅助系统理论EUROCAST 2001
- Evolutionary Multi-Criterion Optimization: First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001 Proceedings (平装)
- Agent-Oriented Software Engineering II-面向代理的软件工程II
- STACS 20012001年第18届年度计算机科学的理论问题讨论会文集
- 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 (平装)