軟體

智慧型文檔檢索：利用標記結構平裝本, 施普林格

自適應和複雜系統中的決策控制管理和支援：定量模型, 資訊科學參考

(英文圖書) Loose-Leaf for M: Information Systems Loose Leaf, McGraw-Hill Companies, 英文, 活頁

軟體開發和設計中的人為因素精裝本, 資訊科學參考

(英文圖書) The Essentials of Computer Organization and Architecture 平裝版, Jones & Bartlett Publishers, 英文

面向方面的需求工程平裝本, 施普林格

完全整合的資料環境：持久程式語言物件儲存和程式設計環境精裝本, 施普林格

並發理論：用於建模不定時和定時並發系統的計算自動機精裝本, 施普林格

軟體工程與資訊科技(SEIT2015), 世界科學酒吧有限公司

軟體流程改善：第 16 屆歐洲會議 Eurospi 2009 阿爾卡拉（馬德里）西班牙 2009 年 9 月 2-4 日會議記錄平裝本, 施普林格

軟體設計：塑造科技與工作場所精裝本, 美國牛津大學出版社

可靠的系統單晶片精裝版的設計與測試技術, 資訊科學參考

物件導向程式碼的逆向工程精裝本, 施普林格

Web 工程：2004 年第四屆 Icwe 國際會議 德國慕尼黑 2004 年 7 月 26-30 日 平裝本論文集, 施普林格

通訊網路多流量效能分析與最佳化平裝本, 施普林格

協作軟體工程平裝本, 施普林格

軟體產品線：工程與管理中的研究問題精裝本, 施普林格

使用面向方面的程式設計進行可信任軟體開發精裝本, 威利國際科學公司

透過資訊系統設計科學研究的傳播為人類帶來利益, 紐約施普林格出版社

圖片工程平裝本, 施普林格

實用軟體重用平裝本, 施普林格

FM 2008：形式化方法：第 15 屆形式化方法國際研討會 圖爾庫 芬蘭 2008 年 5 月 26-30 日 平裝本論文集, 施普林格

量子矩陣精裝, CRC出版社

對精益六 SIGMA 軟體流程定義的實際支援：使用 IEEE 軟體工程標準平裝本, Wiley-IEEE 電腦協會公關

ISO 9000-3：軟體產品與流程改善工具平裝本, 施普林格

形式方法與軟體工程：第五屆形式工程方法國際會議..., 施普林格

電腦支援的協作：軟體開發中的應用平裝本, 施普林格

大規模模擬：模型演算法與應用精裝本, CRC出版社

合約場景與原型：高品質軟體平裝本的整合方法, 施普林格

靜態分析：第 17 屆 SAS 2010 國際研討會，法國佩皮尼昂，2010 年 9 月 14-16 日，平裝本論文集, 施普林格

以產品為中心的軟體流程改善：第 8 屆 PROFES 2007 國際會議 拉脫維亞裡加 2007 年 7 月 2-4 日 平裝本論文集, 施普林格

汽車技術基礎：原理與實踐, 瓊斯和巴特利特學習

開源系統：Ifip 工作小組 2.13 開源軟體基金會 2006 年 6 月 8-10 日 義大利科莫 平裝本, 施普林格

反應式系統同步編程平裝本, 施普林格

平行程式設計的理論與實踐：國際研討會 Tppp '94 日本仙台 1994 年 11 月 7-9 日。, 施普林格

科學軟體工程精裝本, CRC出版社

系統軟體和服務流程改進, 紐約施普林格出版社

代數方法論與軟體技術：第 4 屆國際會議 Amast '95，加拿大蒙特婁，1995 年 7 月 3-7 日。, 施普林格

軟體架構知識管理：理論與實務精裝本, 施普林格

軟體品質的數學方法平裝本, 施普林格

(英文圖書) Numerical Simulation - Advanced Techniques for Science and Engineering 精裝版, Intechopen, 英文

程式語言基礎, 約翰威利父子公司

實證軟體 Engi 精裝講義, 世界科學出版公司

可預測可靠的計算系統平裝本, 施普林格

(英文圖書) Advanced Computing: First International Conference on Computer Science and Info... 平裝版, Springer, 英文

根據平裝本規範產生軟體, 瓊斯與巴特利特出版社

基於模型的互動式應用程式設計與評估平裝本, 施普林格

Petri 網交易和其他並發模型 XI 平裝本, 施普林格

現實世界語音處理平裝本, 施普林格

認知系統工程：綜合生活實驗室框架精裝, CRC出版社

軟體架構：第五屆歐洲會議 ECSA 2011 德國埃森 2011 年 9 月 13-16 日論文集平裝本, 施普林格

分散式多媒體系統精裝的進展, 世界科學出版公司

模型轉換的理論與實務平裝本, 施普林格

彩色 Petri 網：基本概念分析方法與實際使用。第 2 卷平裝本, 施普林格

軟體可靠度方法精裝本, 施普林格

主動網路：Ifip Tc6 第 5 屆國際研討會 Iwan 2003 日本京都 2003 年 12 月 10-12 日 修訂論文平裝本, 施普林格

行動網路服務精裝本, 劍橋大學出版社

在不斷變化的世界中的軟體專案管理精裝本, 施普林格

將以使用者為中心的設計融入敏捷開發精裝本, 施普林格

軟體工程 - Esec/Fse '99：第七屆歐洲軟體工程會議與..., 施普林格