Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
新 到 圖 書 展示期間:95 年 10 月 24 - 31 日 共 60 冊 A. General Literature [3] B. Hardware [1] C. Computer Systems Organization [4] D. Software [4] E. Data [2] F. Theory of Computation [3] G. Mathematics of Computing [1] H. Information Systems [9] I. Computing Methodologies [28] J. Computer Application [2] K. Computing Milieux [3] A. General Literature General Literature / General 1. 2. 3. 電腦也搞不定 : 從數學看計算機科學的罩門 / 哈雷爾(David Harel)著 ; 李國偉譯. 哈瑞兒 (Harel, David), 1950-, 著. A0 H258. 電腦如何思考 / 奚力思(Daniel Hillis)著 ; 林遠志, 陳振男譯. A0 H654. Handbook of the history of logic / edited by Dov M. Gabbay and John Woods. A0 H673. B. Hardware Hardware / Integrated Circuits 4. Integrated circuit and system design : power and timing modeling, optimization, and simulation : 16th international workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006 : proceedings / Johan Vounckx, Nadine Azemard, Philippe Maurine (eds.). PATMOS (16th : 2006 : Montpellier, France). SerPro B7 P887 2006. LNCS 4148. C. Computer Systems Organization Computer Systems Organization / Computer-Communication Networks / General 5. 6. Modeling the Internet and the Web : probabilistic methods and algorithms / Pierre Baldi, Paolo Frasconi, Padhraic Smyth. Baldi, Pierre. C2.0 B177. Security protocols : 12th international workshop, Cambridge, UK, April 26-28, 2004 : revised selected papers / Bruce Christianson ... [et al.] (eds.). International Workshop on Security Protocols (12th : 2004 : Cambridge, England). SerPro C2.0 S4465 2004. LNCS 3957. Computer Systems Organization / Computer-Communication Networks / 1 Distributed Systems 7. 8. Advanced topics in exception handling techniques / Christophe Dony ... [et al.] (eds.). Ser C2.4 A2445:2. LNCS 4119. Self-organizing systems : first international workshop, IWSOS 2006 and third international workshop on new trends in network architectures and services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 : proceedings / Hermann de Meer, James P.G. Sterbenz (Eds.). IWSOS 2006 (1st : 2006 : Passau, Germany). SerPro C2.4 S465:2 2006. LNCS 4124. D. Software Software / Programming Techniques / Concurrent Programming 9. Euro-Par 2006 parallel processing : 12th international Euro-Par Conference, Dersden, Germany, August 28-September 1, 2006 : proceedings / Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner (eds.). International Euro-Par Conference (12th : 2006 : Dersden, Germany). SerPro D1.3 P2227 2006. LNCS 4128. Software / Software Engineering 10. Autonomic and trusted computing : third international conference, ATC 2006, Wuhan, China, September 3-6, 2006 : proceedings / Laurence T. Yang ... [et al.] (eds.). International Conference on Autonomic and Trusted Computing (3rd : 2006 : Wuhan, China). SerPro D2 A939 2006. LNCS 4158. 11. Software composition : 5th international workshop, SC 2006, Vienna, Austria, March 25-26, 2006 : revised papers / Welf Lowe, Mario Sudholt (eds.). International Workshop on Software Composition (5th : 2006 : Vienna, Austria). SerPro D2 S6813:8 2006. LNCS 4089. Software / Software Engineering / General 12. 28th international conference on software engineering, 20-28 May 2006, Shanghai, China : proceedings / [sponsored by ACM ... [et al.]. International Conference on Software Engineering (28th : 2006 : Shanghai, China). Proc D2.0 S6813 2006. E. Data Data / Data Encryption 13. Security and cryptography for networks : 5th international conference, SCN 2006, Maiori, Italy, September 6-8, 2006 : proceedings / Roberto De Prisco, Moti Yung (eds.). SCN 2006 (2006 : Maiori, Italy). SerPro E3 S4465:4 2006. LNCS 4116. Data / Coding and Information Theory 14. Sequences and their applications--SETA 2006 : 4th international conference, Beijing, China, September 24-28, 2006 : proceedings / Guang, Gong ... [et al.] (eds.). SETA 2006 (4th : 2006 : Beijing, China). SerPro E4 S479 2006. LNCS 4086. 2 F. Theory of Computation Theory of Computation / Computation By Abstract Devices 15. Artificial immune systems : 5th international conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006 : proceedings / Hugues Bersini, Jorge Carneiro (eds.). ICARIS 2006 (5th : 2006 : Oeiras, Portugal). SerPro F1 A7913 2006. LNCS 4163. 16. Unconventional computation : 5th international conference, UC 2006, York, UK, September 4-8, 2006 : proceedings / Cristian S. Calude ... [et a.] (eds.). International Conference on Unconventional Computation (5th : 2006 : York, England). SerPro F1 U545 2006. LNCS 4135. Theory of Computation / Analysis of Algorithms and Problem Complexity / Nonnumerical Algorithms and Problems 17. Ant colony optimization and swarm intelligence : 5th international workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006 : proceedings / Marco Dorigo .. [et al.] (eds.). International Workshop on Ant Colony Optimization and Swarm Intelligence (5th : 2006 : Brussels, Belgium). SerPro F2.2 A627 2006. LNCS 4150. G. Mathematics of Computing Mathematics of Computing / Numerical Analysis 18. Mathematical software - ICMS 2006 : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006 : proceedings / Andres Iglesias, Nobuki Takayama (eds.). International Congress on Mathematical Software (2nd : 2006 : Castro Urdiales, Spain). SerPro G1 M426 2006. LNCS 4151. H. Information Systems Information Systems / Database Management / General 19. Advances in databases and information systems : 10th East European conference, ADBIS 2006, Thessaloniki, Greece, September 3-7, 2006 : proceedings / Yannis Manolopoulos, Jaroslav Pokorny, Timos Sellis (eds.). East European conference on Advances in Databases and Information Systems (10th : 2006 : Thessaloniki, Greece). SerPro H2.0 A2445 2006. LNCS 4152. 20. Secure data management : third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006 : proceedings / Willem Jonker, Milan Petkovic (eds.). SDM 2006 (3rd : 2006 : Seoul, Korea). SerPro H2.0 S4465 2006. LNCS 4165. 21. Database and XML technologies : 4th international XML database symposium, XSym 2006, Seoul, Korea, September 10-11, 2006 : proceedings / Sihem Amer-Yahia ... [et al.] (eds.). International XML Database Symposium (4th : 2006 : Seoul, Korea). Ser H2.0 X7 2006. LNCS 4156. 3 Information Systems / Database Management / Database Administration 22. Data warehousing and knowledge discovery : 8th international Conference, DaWak 2006, Krakow, Poland, September 4-8, 2006 : proceedings / A Min Tjoa, Juan Trujillo (eds.). DaWak 2006 (2006 : Krakow, Poland). SerPro H2.7 D232 2006. LNCS 4081. Information Systems / Database Management / Database Applications 23. Database and expert systems applications : 17th international conference, DEXA 2006, Krakow, Poland, September 4-8, 2006 : proceedings / Stephane Bressan, Josef Kung, Roland Wagner (eds.). International Conference on Database and Expert Systems Applications (17th : 2006 : Krakow, Poland). SerPro H2.8 D232 2006. LNCS 4080. Information Systems / Information Systems Applications 24. Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures / Pedro Barahona ... [et al.] (eds.). International Summer School Reasoning Web (2nd : 2006 : Lisbon, Portugal). SerPro H4 R2885 2006. LNCS 4126. 25. Ubiquitous intelligence and computing : 3rd international conference, UIC 2006, Wuhan, China, September 3-6, 2006 : proceedings / Jianhua Ma ... [et al.] (eds.). International Conference on Ubiquitous Intelligence and Computing (3rd : 2006 : Vuhan, China). SerPro H4 U15 2006. LNCS 4159. Information Systems / Information Interfaces and Presentation / Multimedia Information Systems 26. Multimedia content representation, classification and security : international workshop, MRCS 2006, Istanbul, Turkey, September 11-13, 2006 ; proceedings / Bilge Gunsel ... [et al.] (eds.). MRCS 2006 (2006 : Istanbul, Turkey). SerPro H5.1 M9613:15 2006. LNCS 4105. Information Systems / Information Interfaces and Presentation / Group and Organization Interfaces 27. Cooperative design, visualization, and engineering : third international conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006 : proceedings / Yuhua Luo (ed.). International Conference on Cooperative Design, Visualization, and Engineering (3rd : 2006 : Mallorca, Spain). SerPro H5.3 C776 2006. LNCS 4101. I. Computing Methodologies Computing Methodologies / Artificial Intelligence 28. Artificial neural networks in pattern recognition : Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31 - September 2, 2006 ; proceedings / Friedhelm Schwenker, Simone Marinai (eds.). ANNPR 2006 (2nd : 2006 : Ulm, Germany). SerPro I2 A7913:6 2006. LNCS 4087. 4 29. Reasoning, action and interaction in AI theories and systems : essays dedicated to Luigia Carlucci Aiello / Oliviero Stock, Marco Schaerf (eds.). Ser I2 R2885. LNCS 4155. Computing Methodologies / Artificial Intelligence / General 30. Advances in case-based reasoning : 8th European conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006 : proceedings / Thomas R. Roth-Berghofer, Mehmet H. Goker, H. Altay Guvenir (eds.). ECCBR 2006 (8th : 2006 : Fethiye, Turkey). SerPro I2.0 C337 2006. LNCS 4106. Computing Methodologies / Artificial Intelligence / Deduction and Theorem Proving 31. Artificial intelligence and symbolic computation : 8th international conferences, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings / Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.). AISC 2006: (8th : 2006 : Beijing, China). SerPro I2.3 A7913 2006. LNCS 4120. 32. Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 : proceedings / Michael Fisher ... [et al.] (eds.). European Conference on Logics in Artificial Intelligence (10th : 2006 : Liverpool, England). SerPro I2.3 L8325 2006. LNCS 4160. Computing Methodologies / Artificial Intelligence / Natural Language Processing 33. COLING ACL 2006 : 21st international conference on Computational Linguistics and 44th annual meting of the association for computational linguistics, 17-21 July 2006, Sydney, Australia : proceedings. International Conference on Computational Linguistics (21st : 2006 : Sydney, Australia). Proc I2.7 C7383:4 2006. v.1. 34. COLING ACL 2006 : 21st international conference on Computational Linguistics and 44th annual meting of the association for computational linguistics, 17-21 July 2006, Sydney, Australia : proceedings. International Conference on Computational Linguistics (21st : 2006 : Sydney, Australia). Proc I2.7 C7383:4 2006. v.2. Computing Methodologies / Artificial Intelligence / Robotics 35. 2006 IEEE international conference on robotics and automation (ICRA) : 15-19 May, 2006, Orlando, Florida. IEEE International Conference on Robotics and Automation (2006 : Orlando, Fl.). Proc I2.9 R6665:3 2006. v.1. 36. 2006 IEEE international conference on robotics and automation (ICRA) : 15-19 May, 2006, Orlando, Florida. IEEE International Conference on Robotics and Automation (2006 : Orlando, Fl.). Proc I2.9 R6665:3 2006. v.2. 37. 2006 IEEE international conference on robotics and automation (ICRA) : 15-19 May, 2006, 5 Orlando, Florida. IEEE International Conference on Robotics and Automation (2006 : Orlando, Fl.). Proc I2.9 R6665:3 2006. v.3. 38. 2006 IEEE international conference on robotics and automation (ICRA) : 15-19 May, 2006, Orlando, Florida. IEEE International Conference on Robotics and Automation (2006 : Orlando, Fl.). Proc I2.9 R6665:3 2006. v.4. 39. 2006 IEEE international conference on robotics and automation (ICRA) : 15-19 May, 2006, Orlando, Florida. IEEE International Conference on Robotics and Automation (2006 : Orlando, Fl.). Proc I2.9 R6665:3 2006. v.5. 40. 2006 IEEE international conference on robotics and automation (ICRA) : 15-19 May, 2006, Orlando, Florida. IEEE International Conference on Robotics and Automation (2006 : Orlando, Fl.). Proc I2.9 R6665:3 2006. v.6. 41. 2006 IEEE international conference on robotics and automation (ICRA) : 15-19 May, 2006, Orlando, Florida. IEEE International Conference on Robotics and Automation (2006 : Orlando, Fl.). Proc I2.9 R6665:3 2006. v.7. 42. 2006 IEEE international conference on robotics and automation (ICRA) : 15-19 May, 2006, Orlando, Florida. IEEE International Conference on Robotics and Automation (2006 : Orlando, Fl.). Proc I2.9 R6665:3 2006. v.8. 43. 2006 IEEE international conference on robotics and automation (ICRA) : 15-19 May, 2006, Orlando, Florida. IEEE International Conference on Robotics and Automation (2006 : Orlando, Fl.). Proc I2.9 R6665:3 2006. v.9. 44. 2006 IEEE international conference on robotics and automation (ICRA) : 15-19 May, 2006, Orlando, Florida. IEEE International Conference on Robotics and Automation (2006 : Orlando, Fl.). Proc I2.9 R6665:3 2006. v.10. Computing Methodologies / Artificial Intelligence / Distributed Artificial Intelligence 45. Cooperative information agents X : 10th international workshop, CIA 2006, Edinburgh, UK, September 11-13, 2006 : proceedings / Matthias Klusch, Michael Rovatsos, Terry R. Rayne (eds.). International Workshop on Cooperative Information Agents (10th : 2006 : Edinburgh, England). SerPro I2.11 C776 2006. LNCS 4149. Computing Methodologies / Computer Graphics / Computational Geometry and Object Modeling 46. Geometric modeling and processing - GMP 2006 : 4th international conference, Pittsburgh, PA, USA, July 26-28, 2006 ; proceedings / Myung-Soo Kim, Kenji Shimada (eds.). 6 Geometric Modeling and Processing 2006 (2006 : Pittsburgh, Pa.). SerPro I3.5 G3455 2006. LNCS 4077. Computing Methodologies / Computer Graphics / Three-Dimensional Graphics and Realism 47. Intelligent virtual world : technologies & applications in distributed virtual environment / editors, Timothy K. Shih, Paul P. Wang. I3.7 I61. Computing Methodologies / Image Processing and Computer Vision 48. Image analysis and recognition : third international conference, ICIAR 2006, Povoa de Varzim, Portugal, September 18-20, 2006 : proceedings / Aurelio Campilho, Mohamed Kamel (eds.). International Conference on Image Analysis and Recognition (3rd : 2006 : Rovoa de Varzim, Portugal). SerPro I4 I31:2 2006. pt.1 (LNCS 4141). 49. Image analysis and recognition : third international conference, ICIAR 2006, Povoa de Varzim, Portugal, September 18-20, 2006 : proceedings / Aurelio Campilho, Mohamed Kamel (eds.). International Conference on Image Analysis and Recognition (3rd : 2006 : Rovoa de Varzim, Portugal). SerPro I4 I31:2 2006. pt.2 (LNCS 4142). Computing Methodologies / Image Processing and Computer Vision / General 50. Advances in image processing and understanding : a festschrift for Thomas S. Huang / editors, Alan C. Bovik, Chang Wen Chen, Dmitry Goldgof. I4.0 A2445:2. Computing Methodologies / Pattern Recognition / General 51. Soft computing approach to pattern recognition and image processing / editors, Ashish Ghosh, Sankar K. Pal. I5.0 6813. 52. Graph-theoretic techniques for web content mining / Adam Schenker ... [et al.]. I5.0 G766. 53. Handbook of pattern recognition and computer vision / editors, C.H. Chen, P.S.P. Wang. I5.0 P3165:2. Computing Methodologies / Pattern Recognition / Models 54. Artificial neural networks-ICANN 2006 : 16th international conference, Athens, Greece, September 10-14, 2006 : proceedings / Stefanos Kollias ... [et al.] (eds.). International Conference on Artificial Neural Networks (16th : 2006 : Athens, Greece). SerPro I5.1 A7913 2006. pt.1 (LNCS 4131). 55. Artificial neural networks-ICANN 2006 : 16th international conference, Athens, Greece, September 10-14, 2006 : proceedings / Stefanos Kollias ... [et al.] (eds.). International Conference on Artificial Neural Networks (16th : 2006 : Athens, Greece). SerPro I5.1 A7913 2006. pt.2 (LNCS 4132). J. Computer Application Computer Applications / Administrative Data Processing 56. Business process management : 4th international conference, BPM 2006, Vienna, Austria, 7 September 5-7, 2006, proceedings / Schahram Dustdar, Jose Luiz Fiadeiro, Amit Sheth (eds.). BPM 2006 (4th : 2006 : Vienna, Austria). SerPro J1 B9793 2006. LNCS 4102. 57. Business process management workshops : BPM 2006 international workshops, BPD, BPI, GPWW, DPM, Semantics4ws, Vienna, Austria, September 4-7, 2006 : proceedings / Johann Eder, Schahram Dustdar (eds.). BPM 2006 Workshops (2006 : Vienna, Austria). SerPro J1 B9793 2006. workshops (LNCS 4103). K. Computing Milieux Computing Milieux / Computers and Society 58. Electronic government : 5th international conference, EGOV 2006, Krakow, Poland, September 4-8, 2006, Proceedings / [edited by] Maria A. Wimmer, Hans J. Scholl, Ake Groenlund. International Conference on Electronic Government (5th : 2006 : Krakow, Poland). SerPro K4 E383 2006. LNCS 4084. Computing Milieux / Computers and Society / Electronic Commerce 59. E-commerce and web technologies : 7th international conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006 : proceedings / Kurt Bauknecht, Birgit Proll, Hannes Werthner (eds.). International Conference on Electronic Commerce and Web Technologies (7th : 2006 : Krakow, Poland). SerPro K4.4 E383:2 2006. LNCS 4082. 60. Trust, privacy and security in digital business : third international conference, TrustBus 2006, Krakow, Poland, September 2006 : proceedings / Simone Fischer-Hubner, Steven Furnell, Costas Lambrinoudakis (eds.). TrustBus 2006 (3rd : 2006 : Krakow, Poland). SerPro K4.4 T873 2006. LNCS 4083. 8