Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN:9783540755951
GHG EMISSIONS AND ECONOMIC GROWTH A COMPUTABLE GENERAL EQUILIBRIUM MODEL BASED ANALYSIS FOR INDIA
JOYASHREE ROY2015 年出版0 页ISBN:
Lecture Notes in Computer Science 3485 Peer-to-Peer Systems and Applications
2005 年出版629 页ISBN:354029192X
SELECTED CHAPTERS FROM INTRODUCTION TO COMPUTING SYSTEMS FROM BITS AND GATES TO C AND BEYOND
YALE N.PATT SANJAY J.PATEL2000 年出版118 页ISBN:0072441003
软件开发 建立可靠的系统 building reliable systems
(美) 马克·汉密尔顿著;Marc Hamilton 徐卫东译2003 年出版266 页ISBN:7801900022
本书概括介绍软件开发概念的背景;介绍与软件开发相关的人员要求问题;介绍软件开发程序;介绍软件开发技术及软件开发十戒律等。
Lecture Notes in Computer Science 4523 Embedded Software and Systems Third International Conference
ICESS 20072007 年出版830 页ISBN:9783540726845
Lecture Notes in Computer Science 3780 Programming Languages and Systems Third Asian Symposium
APLAS 20052005 年出版435 页ISBN:3540297359
Lecture Notes in Computer Science 3272 Ubiquitous Mobile Information and Collaboration Systems Secon
UMICS 20042004 年出版197 页ISBN:3540241000