[0] B. Hardware [0]

　　　　 新 到 圖 書

 展示期間：95 年 4 月 3 - 10日   共 17 冊 

A. General Literature [0]	B. Hardware [0]	C. Computer Systems Organization [0]
D. Software [4]	E. Data [0]	F. Theory of Computation [4]
G. Mathematics of Computing [1]	H. Information Systems [3]	I. Computing Methodologies [2]
J. Computer Application [2]	K. Computing Milieux [1]




A. General Literature

B. Hardware

C. Computer Systems Organization

D. Software

• 
  Software / General
  

1. 
   Perspectives on free and open source software / edited by Joseph Feller ... [et al.]
   D0 P4675
   

• 
  Software / Programming Languages / General
  

2. 
   Conference record of POPL 2006 : The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, January 11-13, 2006, Charleston, South Carolina, USA / Association for Computing Machinery's, Special Interest Group on Algorithms and Computational Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
   ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (33rd : 2006 : Charleston, South Carolina)
   Proc D3.0 P9575 2006
   
3. 
   PPDP '05 : Proceedings of the seventh ACM SIGPLAN conference on principles and practice of declarative programming, July 11-13, 2005, Lisbon, Portugal / Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (ACM SIGPLAN)
   ACM SIGPLAN conference on Principles and Practice of Declarative Programming (7th : 2005 : Lisbon, Portugal)
   Proc D3.0 P9575:2 2005
   

• 
  Software / Programming Languages / Language Classifications
  

4. 
   系統分析與設計 : 使用UML實現物件導向方法(第二版) : Systems analysis and design with UML version 2.0 : an object-oriented approach second edition / Alan Dennis, Barbara Haley Wixom, David Tegarden原著 ; 余清華, 周鳳瑛編譯
   D3.2.U5 S9953
   

E. Data

F. Theory of Computation

• 
  Theory of Computation / Analysis of Algorithms and Problem Complexity / General
  

5. 
   Proceedings of the 22nd workshop on combinatorial mathematics and computation theory = 第二十二屆組合數學與計算理論研討會論文集, 2005年5月20日至5月21日 / 主辦單位: 國立成功大學資訊工程學系 ; 協辦單位: 中央研究院資訊科學研究所, 行政院國家科學委員會工程技術發展處工程科技推展中心
   Proc F2.0 C7315 2005
   

• 
  Theory of Computation / Analysis of Algorithms and Problem Complexity / Nonnumerical Algorithms and Problems
  

6. 
   基因演算法結合二階段最佳化演算法解決集合涵蓋問題之研究 = Genetic algorithms enhanced with two-phase optimization algorithm for set covering problem / 張書維
   國立臺灣師範大學資訊工程研究所碩士論文
   Diss F2.2 C4565:2 2005
   

• 
  Theory of Computation / Logics and Meanings of Programs / Studies of Program Constructs
  

7. 
   Proofs of programs and formalisation of mathematics : TYPES summer school, August 15-26 2005, Goteborg, Sweden : lecture notes
   F3.3 P9654 v.1
   
8. 
   Proofs of programs and formalisation of mathematics : TYPES summer school, August 15-26 2005, Goteborg, Sweden : lecture notes
   F3.3 P9654 v.2
   

G. Mathematics of Computing

• 
  Mathematics of Computing / Discrete Mathematics / Combinatorics
  

9. 
   偽幣問題之改良演算法設計與分析 = The designs and analyses of improved algorithms for the counterfeit coins problem / 劉耀才
   國立臺灣師範大學資訊工程研究所碩士論文
   Diss G2.1 L783 2005
   

H. Information Systems

• 
  Information Systems / Database Management / General
  

10. 
    Proceedings of the Twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on principles of database systems : PODS 2005 : Baltimore, Maryland, June 13-15, 2005 / Special Interest Group for the Management of Data (SIGMOD), Special Interest Group for Algorithms and Computation Theory (SIGACT), Special Interest Group for Artificial Intelligence (SIGART)
    ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (24th : 2005 : Baltimore, Maryland)
    Proc H2.0 P9575 2005
    

• 
  Information Systems / Information Interfaces and Presentation / Multimedia Information Systems
  

11. 
    15th Inetrnational Workshop on Network and Operating Systems Support for Digital Audio and Video : NOSSDAV 2005, June 13-14, 2005, Stevenson, Washington, USA / sponsored by the ACM Special Interest Group on Multimedia ; in cooperation with ACM SIGMOBILE & ACM SIGCOMM
    International Workshop on Network and Operating System Support for Digital Audio and Video (15th : 2005 : Stevenson, Washington)
    Proc H5.1 N4765 2005
    

• 
  Information Systems / Information Interfaces and Presentation / Group and Organization Interfaces
  

12. 
    The Wiki way : quick collaboration on the Web / Bo Leuf, Ward Cunningham
    H5.3 L652
    

I. Computing Methodologies



• 
  Computing Methodologies / Artificial Intelligence / Applications and Expert Systems
  

13. 
    容許多次錯誤回應之演繹競局問題之研究 = on the study of deductive games with lies / 黃立德
    國立臺灣師範大學資訊工程研究所碩士論文
    Diss I2.1 H991 2005
    

• 
  Computing Methodologies / Computer Graphics / Three-Dimensional Graphics and Realism
  

14. 
    Computer animation & virtual worlds
    International Conference on Computer Animation and Social Agents (18th : 2005 : Hong Kong)
    Proc I3.7 C7383 2005
    

J. Computer Application

• 
  Computer Applications / Life and Medical Sciences
  

15. 
    From patient data to medical knowledge : the principles and practice of health informatics / Paul Taylor
    J3 T245
    

• 
  Computer Applications / Computers in Other Systems
  

16. 
    立方體家族之環境嵌入 = On cycle embeddings of cube families / 楊明堅
    國立交通大學資訊科學研究所博士論文
    Diss J7 Y225 2005
    

K. Computing Milieux

• 
  Computing Milieux / Computers and Education
  

17. 
    ICLAT 2005 : 數位學習與知識分享實務 =ICALT 2005: e-learning & practice on knowledge sharing / 楊錦潭
    K3 A2445