第一图书网

全部分类

Embedded Software 嵌入式软件

Thomas A. Henzinger 1 edition (2001年10月1日)
出版时间：

2001-10  

出版社：

1 edition (2001年10月1日)  

作者：

Thomas A. Henzinger  

内容概要

在线阅读本书
With the omnipresence of micro devices in our daily lifes embedded software has gained tremendous importance in both science and industry.This volume contains 34 invited papers from the First International Workshop on Embedded Systems. They present latest research results from different areas of computer science that are traditionally distinct but relevant to embedded software development (such as, for example, component based design, functional programming, real-time Java, resource and storage allocation, verification). Each paper focuses on one topic, showing the inter-relationship and application to the design and implementation of embedded software systems.

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

图书封面

广告
下载页面


Embedded Software 嵌入式软件 PDF格式下载

相关图书

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 (平装)
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