Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON SCIENTIFIC COMPUTING AND APPLICATIONS
BEN-YU GUO ZHONG-CI SHI2007 年出版174 页ISBN：
本书汇集了国内外科学计算专家近年来的最新研究成果，收录了与会代表的18篇学术论文，其中包括邀请报告7篇。内容涉及科学计算的各个方面，包括偏微分方程数值解法，数学物理反问题的计算，多尺度计算，非线性最优化方....
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
Performance and reliability analysis of computer systems an example-based approach using the SHARPE
Robin A.Sahner ; Kishor S. Trivedi ; Antonio Puliafito1996 年出版404 页ISBN：0792396502
temporal logic and temporal logic progamming
duan zhenhua2222 年出版196 页ISBN：7030166515
本书主要介绍有关计算机科学与技术方面的基本知识和应用等。
Quotient space based problem solving a theoretical foundation of granular computing=基于商空间的问题求解 粒度计算的
Ling Zhang ; Bo Zhang2014 年出版382 页ISBN：7302384953
Lecture Notes in Computer Science 4238 Management of Convergence Networks and Services 9th Asia-Paci
APNOMS 20062006 年出版605 页ISBN：3540457763
Lecture Notes in Computer Science 4039 Reuse of Off-the-Shelf Components 9th International Conferenc
ICSR 20062006 年出版444 页ISBN：3540346066
Lecture Notes in Computer Science 3841 Frontiers of WWW Research and Development-APWeb 2006 8th Asia
2006 年出版1223 页ISBN：3540311424
