[1] B. Hardware [1]

　　　　 新 到 圖 書

 展示期間：96 年 12 月 19 - 26 日   共 94 冊 

A. General Literature [1]	B. Hardware [1]	C. Computer Systems Organization [9]
D. Software [12]	E. Data [6]	F. Theory of Computation [5]
G. Mathematics of Computing [0]	H. Information Systems [22]	I. Computing Methodologies [33]
J. Computer Application [5]	K. Computing Milieux [0]




A. General Literature

• 
  General Literature / General
  

1. 
   Advances in computing science - ASIAN 2007 : computer and network security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007 : proceedings / Iliano Cervesato (ed.).
   Asian Computing Science Conference (12th : 2007 : Doha, Qatar).
   SerPro A0 A832 2007. LNCS 4846.
   

B. Hardware

• 
  Hardware / Control Structures and Microprogramming / Control Structure Performance Analysis and Design Aids
  

2. 
   Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings / Kedar S. Namjoshi .. [et al.] (eds.).
   ATVA 2007 (5th : 2007 : Tokyo, Japan).
   SerPro B1.2 A939 2007. LNCS 4762.
   

C. Computer Systems Organization

• 
  Computer Systems Organization / Processor Architectures / General
  

3. 
   18th IEEE Symposium on Computer Arithmetic : Montpellier, France, June 25-27, 2007 : proceedings.
   IEEE Symposium on Computer Arithmetic (18th : 2007 : Montpellier, France).
   Proc C1.0 C7383 2007.
   

• 
  Computer Systems Organization / Computer-Communication Networks
  

4. 
   IP operations and management : 7th IEEE international workshop, IPOM 2007 San Jose, USA, October 31-November 2, 2007 : proceedings / Deep Medhi ... [et al.] (eds.).
   IEEE International Workshop on IP Operations and Management (7th : 2007 : San Jose, Calif.).
   SerPro C2 I64 2007. LNCS 4786.
   
5. 
   Real-time mobile multimedia services : 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007, San Jose, USA, October 31-November 2, 2007 : proceedings / Dilip Krishnaswamy, Tom Pfeifer, Danny Raz (eds.).
   International Conference on Management of Multimedia Networks and Services (10th : 2007 : San Jose, Calif.).
   SerPro C2 M266 2007. LNCS 4787.
   
6. 
   The semantic web : 6th international semantic web  conference, 2nd Asian semantic web conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007 : proceedings / Karl Aberer ... [et al.] (eds.).
   ISWC 2007 (6th : 2007 : Busan, Korea).
   SerPro C2 S471 2007. LNCS 4825.
   
7. 
   Ubiquitous computing systems : 4th international symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007 : proceedings / Haruhisa Ichikawa ... [et al.] (eds.).
   International Symposium on Ubiquitous Computing Systems (4th : 2007 : Tokyo, Japan).
   SerPro C2 U15:2 2007. LNCS 4836.
   

• 
  Computer Systems Organization / Computer-Communication Networks / Distributed Systems
  

8. 
   Middleware 2007 : ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007 : proceedings / Renato Cerqueira, Roy H. Campbell (eds.).
   ACM/IFIP/USENIX International Middleware Conference (8th : 2007 : Newport Beach, CA, USA).
   SerPro C2.4 D614 2007. LNCS 4834.
   
9. 
   Stabilization, safety, and security of distributed systems : 9th international Symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings / Toshimitsu Masuzawa, Sebastien Tixeuil (eds.).
   SSS 2007 (9th : 2007 : Paris, France).
   SerPro C2.4 S465 2007. LNCS 4838.
   
10. 
    Sustainable internet : third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007 : proceedings / Serge Fdida, Kazunori Sugiura (eds.).
    Asian Internet Engineering Conference (3rd : 2007 : Phuket, Thailand).
    SerPro C2.4 T255 2007. LNCS 4866.
    
11. 
    Trustworthy global computing : second symposium, TGC 2006, Lucca, Italy, Novebmer 7-9, 2006 : revised selected papers / Ugo Montanari, Donald Sannella, Roberto Bruni (eds.). International Symposium on Trustworthy Global Computing (2nd : 2006 : Lucca, Italy).
    SerPro C2.4 T873 2006. LNCS 4661.
    

D. Software

• 
  Software / General
  

12. 
    Advanced parallel processing technologies : 7th international workshop, APPT 2007, Guangzhou, China, November 22-23, 2007 : proceedings / Ming Xu ... [et al.] (eds.).
    International Symposium on Advanced Parallel Processing Technologies (7th : 2007 : Guangzhou, China).
    SerPro D0 A2445 2007. LNCS 4847.
    

• 
  Software / Programming Techniques / Concurrent Programming
  

13. 
    Applied parallel computing : state of the art in scientific computing : 8th international wrokshop, PARA 2006, Umea, Sweden, June 18-21, 2006 : revised selected papers / Bo Kagstrom ... [et al.] (eds.).
    PARA 2006 (8th : 2006 : Umea, Sweden).
    SerPro D1.3 A652 2006. LNCS 4699.
    

• 
  Software / Software Engineering
  

14. 
    Formal methods and software engineering : 9th international conference on formal engineering methods, ICFEM 2007, Boca, Raton, FL, USA, November 14-15, 2007 : proceedings / Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie (eds.).
    International Conference on Formal Engineering Methods (9th : 2007 : Boca Ranton, FL, USA).
    SerPro D2 F7235 2007. LNCS 4789.
    
15. 
    International Symposium on Fundamentals of Software Engineering : international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings / Farhad Arbab, Marjan Sirjani (eds.).
    International Symposium on Fundamentals of Software Engineering (2nd : 2007 : Tehran, Iran).
    SerPro D2 F981 2007. LNCS 4767.
    
16. 
    Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers / Bertrand Meyer, Mathai Joseph (eds.).
    SEAFOOD 2007 (2007 : Zurich, Switzerland).
    SerPro D2 S6813:12 2007. LNCS 4716.
    

• 
  Software / Programming Languages / General
  

17. 
    Programming languages and systems : 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings / Zhong Shao (ed.).
    Asian Symposium on Programming Languages and Systems (5th : 2007 : Singapore).
    SerPro D3.0 P9645 2007. LNCS 4807.
    

• 
  Software / Operating Systems / Communications Management
  

18. 
    Managing virtualization of networks and services : 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, San Jose, CA, USA, October 29-31, 2007 : proceedings / Alexander Clemm, Lisandro Zambenedetti Granville, Rolf Stadler (eds.).
    IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (18th : 2007 : San Jose, Calif.).
    SerPro D4.4 D614 2007. LNCS 4785.
    
19. 
    WiMAX : a wireless technology revolution / G.S.V. Radha Krishna Rao, G. Radhamani.
    D4.4 R128.
    

• 
  Software / Operating Systems / Security and Protection
  

20. 
    Progress in cryptology : INDOCRYPT 2007 : 8th international conference on cryptology in India, Chennai, India, December 9-13, 2007 : proceedings / K. Srinathan, C. Pandu rangan, Moti Yung (eds.).
    International Conference on Cryptology in India (8th : 2007 : Chennai, India).
    SerPro D4.6 C9575 2007. LNCS 4859.
    
21. 
    Information security and cryptology--ICISC 2007 : 10th international conference, Seoul, Korea, November 29-30, 2007 : proceedings / Kil-Hyun Nam, Gwangsoo Rhee (eds.).
    ICISC 2007 (10th : 2007 : Seoul, Korea).
    SerPro D4.6 I43 2007. LNCS 4817.
    
22. 
    Provable security : first international conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007 : proceedings / Willy Susilo, Joseph K. Liu, Yi Mu.
    International Conference on Provable Security: (1st : 2007 : Wollongong, Australia).
    SerPro D4.6 P969 2007. LNCS 4784.
    
23. 
    2007 IEEE Symposium on Security and Privacy : 20-23 May 2007, Berkeley, California : proceedings.
    IEEE Symposium on Security and Privacy (2007 : Berkeley, California).
    Proc D4.6 S4465 2007.
    

E. Data

• 
  Data / Data Encryption
  

24. 
    Cryptology and network security : 6th international conference, CANS 2007, Singapore, December 8-10, 2007 : proceedings / Feng Bao ... [et al.] (eds.).
    International Conference on Cryptology and Network Security (6th : 2007 : Singapore).
    SerPro E3 C9575:5 2007. LNCS 4856.
    
25. 
    Mobile ad-hoc and sensor networks : third international conference, MSN 2007, Beijing, China, December 12-14, 2007 : proceedings / Hongke Zhang ... [et al.] (eds.).
    International Conference on Mobile Ad-hoc and Sensor Networks (3rd : 2007 : Beijing, China).
    SerPro E3 M687 2007. LNCS 4864.
    
26. 
    Privacy enhancing technologies : 7th international workshop, PET 2007, Ottawa, Canada, June 20-22, 2007 : revisd selected papers / Nikita Borisov, Philippe Golle (eds.).
    PET 2007 (7th : 2007 : Ottawa, Canada).
    SerPro E3 P961 2007. LNCS 4776.
    
27. 
    Advances in information and computer security : Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007 : proceedings / Atsuko Miyaji, Hiroaki Kikuchi, Kai Rannenberg (eds.).
    International Workshop on Security (2nd : 2007 : Nara, Japan).
    SerPro E3 S4465:5 2007. LNCS 4752.
    
28. 
    Advances in cryptology-Asiacrypt 2007 : 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007 : proceedings / Kaoru Kurosawa (ed.).
    International Conference on the Theory and Application of Cryptology and Information Security (13th : 2007 : Kuching, Malaysia).
    SerPro E3 T396 2007. LNCS 4833.
    

• 
  Data / Coding and Information Theory
  

29. 
    Data compression : the complete reference / David Salomon with contributions by Giovanni Motta and David Bryant.
    E4 S174 2007.
    

F. Theory of Computation

• 
  Theory of Computation / General
  

30. 
    FSTTCS 2007 : foundations of software technology and theoretical computer science : 27th international conference, New Delhi, India, December 12-14, 2007 : proceedings / V. Arvind, Sanjiva rasad (eds.).
    Conference on Foundations of Software Technology and Theoretical Computer Science (27th : 2007 : New Delhi, India).
    SerPro F0 F771 2007. LNCS 4855.
    

• 
  Theory of Computation / Computation By Abstract Devices / Models of Computation
  

31. 
    Implementation and application of automata : 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers / Jan Holub, an Zdarek (eds.).
    International Conference on Implementation and Application of Automata (12th : 2007 : Prague, Czech Republic).
    SerPro F1.1 I34 2007. LNCS 4783.
    

• 
  Theory of Computation / Analysis of Algorithms and Problem Complexity
  

32. 
    Algorithms and models for the web-graph : 5th international workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007 : proceedings / Anthony Bonato, Fan R.K. Chung (eds.).
    International Workshop on Algorithms and Models for the Web-Graph (5th : 2007 : San Deigo, CA, USA).
    SerPro F2 A3965:2 2007. LNCS 4863.
    
33. 
    Algorithmic methods for railway optimization : international Dagstuhl Workshop, railway optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004 : revised selected papers / Frank Geraets ... [et al.] (eds.).
    SerPro F2 R152 2004. LNCS 4359.
    

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

34. 
    Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers / Thorsten Altenkirch, Conor McBride (eds.).
    TYPES 2006 (2006 : Nottingham, England).
    SerPro F3.3 T991 2006. LNCS 4502.
    

G. Mathematics of Computing

H. Information Systems

• 
  Information Systems / Models and Principles / User/Machine Systems
  

35. 
    Human-computer interaction : IEEE international workshop, HCI 2007, Rio de Janeiro, Brazil, October 20, 2007 : proceedings / Michael Lew ... [et al.] (eds.).
    IEEE International Workshop on Human-Computer Interaction (4th : 2007 : Rio de Janeiro, Brazil).
    SerPro H1.2 H918:6 2007. LNCS 4796.
    

• 
  Information Systems / Database Management
  

36. 
    GeoSpatial Semantics : second international conference, GeoS 2007, Mexico City, Mexico, November 29-30, 2007 : proceedings / Frederico Fonseca, M. Andrea Rodriguez, Sergei, Levashkin (eds.).
    International Conference on GeoSpatial Semantics (2nd : 2007 : Mexico City, Mexico).
    SerPro H2 G3523 2007. LNCS 4853.
    
37. 
    Knowledge discovery in inductive databases : 5th international workshop, KDID 2006, Berlin, Germany, September 18, 2006 : revised selected and invited papers / Saso Dzeroski, Jan Struyf (eds.).
    International Workshop on Knowledge Discovery in Inductive Databases (5th : 2006 : Berlin, Germany).
    SerPro H2 K73 2006. LNCS 4747.
    
38. 
    Web and wireless geographical information systems : 7th international Symposium, W2GIS 2007, Cardiff, UK, December 28-29, 2007 : proceedings / J. Mark Ware, George E. Eaylor (eds.).
    International Symposium on Web and Wireless Geographical Information Systems (7th : 2007 : Cardiff, UK).
    SerPro H2 W364:2 2007. LNCS 4857.
    

• 
  Information Systems / Database Management / General
  

39. 
    Databases in networked information systems : 5th international workshop, DNIS 2007, Aizu-Wakamatsu, Japan, October 17-19, 2007 : proceedings / Subhash Bhalla (ed.).
    DNIS 2007 (2007 : Aizuwakamatsu-shi, Japan).
    SerPro H2.0 D232 2007. LNCS 4777.
    
40. 
    Trends in enterprise application architecture : 2nd international conference, TEAA 2006, Berlin, Germany, November 29-December 1, 2006 : revised selected papers / Dirk Draheim, Gerald Weber (eds.).
    TEAA 2006 (2nd : 2006 : Berlin, Germany).
    SerPro H2.0 T7945 2006. LNCS 4473.
    

• 
  Information Systems / Database Management / Languages
  

41. 
    Database programming languages : 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007 : revised selected papers / Marcelo Arenas, Michael I. Schwartzbach (eds.).
    International Symposium on Database Programming Languages (11th : 2007 : Vienna, Austria).
    SerPro H2.3 D232:2 2007. LNCS 4797.
    

• 
  Information Systems / Database Management / Systems
  

42. 
    On the move to meaningful internet systems 2007: CoopIS, DOA, ODBASE, GADA, and IS : OTM confederated international conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007 ; proceedings / Robert Meersman, Zahir Tari (eds.).
    OTM Confederated International Conference (2007 : Vilamoura, Portugal).
    SerPro H2.4 C778 2007. pt.1 (LNCS 4803).
    
43. 
    SerPro H2.4 C778 2007. pt.2 (LNCS 4804).
    
44. 
    On the move to meaningful internet systems 2007: OTM 2007 Workshops : OTM confederated international workshops and posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007 : proceedings / Robert Meersman, Zahir Tari, Pilar Herrero (eds.).
    OTM Confederated International Workshops and Posters (2007 : Vilamoura, Portugal).
    SerPro H2.4 C778 2007 workshops. pt.1 (LNCS 4805).
    
45. 
    SerPro H2.4 C778 2007 workshops. pt.2 (LNCS 4806).
    

• 
  Information Systems / Information Storage and Retrieval
  

46. 
    Asian digital libraries: looking back 10 years and forging new frontiers : 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007 : proceedings / Dion Hoe-Lian Goh ... [et al.] (eds.).
    International Conference on Asian Digital Libraries (10th : 2007 : Hanoi, Vietnam).
    SerPro H3 A832 2007. LNCS 4822.
    
47. 
    Smart sensing and context : second European conference, EuroSSC 2007, Kendal, England, October 23-25, 2007 : proceedings / Gerd Kortuem ... [et al.] (eds.).
    EuroSSC 2007 (2nd : 2007 : Kendal, England).
    SerPro H3 S636 2007. LNCS 4793.
    
48. 
    String processing and information retrieval : 14th international conference, SPIRE 2007, Santiago, China, October 29-31, 2007 : proceedings / Nivio Ziviani, Ricardo Baeza-Yates (eds.).
    International Conference on String Processing and Information Retrieval (14th : 2007 : Santiago, Chile).
    SerPro H3 S918 2007. LNCS 4726.
    

• 
  Information Systems / Information Systems Applications
  

49. 
    Advances in rule interchange and applications : international symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007 : proceedings / Adrian Paschke, Yevgen Biletskiy (eds.).
    International Symposium on Rules Interchange and Applications (2007 : Orlando, FLorida).
    SerPro H4 R935 2007. LNCS 4824.
    
50. 
    Web information systems engineering - WISE 2007 workshops : WISE 2007 International Workshops, Nancy, France, December 3, 2007 : proceedings / Mathias Weske, Mohand-Said Hacid, Claude Godart (eds.).
    International Conference on Web Information Systems Engineering (2007 : Nancy, France). Workshops.
    SerPro H4 W364:2 2007. LNCS 4832.
    

• 
  Information Systems / Information Systems Applications / General
  

51. 
    Spatial information theory : 8th international conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007 : proceedings / Stephan Winter ... [et al.] (eds.).
    International Conference on Spatial Information Theory (8th : 2007 : Melbourne, Australia).
    SerPro H4.0 S738 2007. LNCS 4736.
    

• 
  Information Systems / Information Interfaces and Presentation
  

52. 
    Ambient intelligence : European conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007 : proceedings / Bernt Schiele ... [et al.] (eds.).
    AmI 2007 (2007 : Darmstadt, Germany).
    SerPro H5 A492 2007. LNCS 4794.
    
53. 
    Haptic and audio interaction design : second international workshop, HAID 2007, Seoul, South Kora, November 29-30, 2007 : proceedings / Ian Oakley, Stephen Brewster (eds.).
    HAID 2007 (2nd : 2007 : Seoul, South Korea).
    SerPro H5 H2525 2007. LNCS 4813.
    
54. 
    HCI and usability for medicine and health care : third symposium of the workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007, Graz, Austria, November 22, 2007 ; proceedings / Andreas Holzinger (ed.).
    Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society (3rd : 2007 : Graz, Austria).
    SerPro H5 H918:2 2007. LNCS 4799.
    

• 
  Information Systems / Information Interfaces and Presentation / User Interfaces
  

55. 
    Eye tracking methodology : theory and practice / Andrew Duchowski.
    H5.2 D832.
    
56. 
    Mobile response : first international workshop on mobile information technology for emergency response, Mobile Response 2007, Sankt Augustin, Germany, February 22-23, 2007 : revised selected papers / Jobst Loffler, Markus Klann (eds.).
    International Workshop on Mobile Information Technology for Emergency Response (1st : 2007 : Sankt Augustin, Germany).
    SerPro H5.2 M687 2007. LNCS 4458.
    

I. Computing Methodologies

• 
  Computing Methodologies / Artificial Intelligence
  

57. 
    Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday / Stefano Aguzzoli ... [et al.] (eds.).
    Ser I2 A394. LNCS 4460.
    
58. 
    Current topics in artificial intelligence : 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007 : selected papers / Daniel Borrajo, Luis Castillo, Juan Manuel Corchado (eds.).
    Spanish Association for Artificial Intelligence. Conference (12th : 2007 : Salamanca, Spain). SerPro I2 S733 2007. LNCS 4788.
    
59. 
    Proceedings of the IEEE/WIC/ACM international conference on web intelligence (WI 2007) : November 2-5, 2007, Fremont Marriott Hotel, Silicon Valley, USA.
    International Conference on Web Intelligence (2007 : Silicon Valley, USA).
    Proc I2 W364 2007.
    

• 
  Computing Methodologies / Artificial Intelligence / General
  

60. 
    MICAI 2007 : advances in artificial intelligence : 6th Mexican international conference on artificial intelligence, Aguascalientes, Mexico, November 4-10, 2007 : proceedings / Alexander Gelbukh, Angel Fernando, Kuri Morales (eds.).
    Mexican International Conference on Artificial Intelligence (6th : 2007 : Aguascalientes, Mexico).
    SerPro I2.0 A7913:11 2007. LNCS 4827.
    
61. 
    AI 2007: advances in artificial intelligence : 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007 : proceedings / Mehmet A. Orgun, John Thornton (eds.).
    Australian Joint Conference on Artificial Intelligence (20th : 2007 : Gold Coast, Australia).
    SerPro I2.0 A7913 2007. LNCSC 4830.
    
62. 
    Introduction to evolutionary computing / A.E. Eiben, J.E. Smith.
    Eiben, Agoston E.
    I2.0 E34.
    
63. 
    Innovations in intelligent machines - 1.
    I2.0 I58.
    
64. 
    Uncertainty in artificial intelligence : proceedings of the twenty-third conference (2007), July 19-22, 2007, Vancouver, British Columbia / Edited by Ronald Parr, Linda van der Gaag.
    Conference on Uncertainty in Artificial Intelligence (23rd : 2007 : Vancouver, British Columbia).
    Proc I2.0 U74 2007.
    

• 
  Computing Methodologies / Artificial Intelligence / Applications and Expert Systems
  

65. 
    Computers and games : 5th international conference, CG 2006, Turin, Italy, May 29-31, 2006 : revised papers / H. Jaap van den Herik, Paolo Ciancarini, H.H.L.M. (Jeroen) Donkers (eds.).
    CG 2006 (2006 : Turin, Italy).
    SerPro I2.1 H546 2006. LNCS 4630.
    

• 
  Computing Methodologies / Artificial Intelligence / Deduction and Theorem Proving
  

66. 
    Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings / Nachum Dershowitz, Andrei Voronkov (eds.).
    LPAR 2007 (2007 : Yerevan, Armenia).
    SerPro I2.3 L8325:2 2007. LNCS 4790.
    

• 
  Computing Methodologies / Artificial Intelligence / Knowledge Representation Formalisms and Methods
  

67. 
    Annotating, extracting and reasoning about time and events : international seminar, Dagstuhl Castle, Germany, April 10-15, 2005 : revised papers / Frank Schilder, Graham Katz, James Pustejovsky (eds.).
    SerPro I2.4 A615 2005. LNCS 4795.
    
68. 
    Conceptual modeling-ER 2007 : 26th international conference on conceptual modeling, Auckland, New Zealand, November 5-9, 2007 : proceedings / Christine Parent ... [et al.] (eds.). International Conference on Conceptual Modeling (26th : 2007 : Auckland, New Zealand).
    SerPro I2.4 C744:2 2007. LNCS 4801.
    
69. 
    Advances in conceptual modeling-foundations and applications : ER 2007 workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Auckland, New Zealand, November 5-9, 2007 : proceedings / Jean-Luc Hainaut ... [et al.] (eds.).
    ER 2007 workshops (2007 : Auckland, New Zealand).
    SerPro I2.4 C744:2 2007. workshops (LNCS 4802).
    
70. 
    Spatial cognition V : reasoning, action, interaction : international conference spatial cognition 2006, Bremen, Germany, September 24-28, 2006 : revised selected papers / Thomas Barkowsky ... [et al.] (eds.).
    Spatial Cognition (5th : 2006 : Bremen, Germany).
    SerPro I2.4 S738 2006. LNCS 4387.
    
71. 
    Progress in artificial life : third Australian conference, ACAL 2007, Gold Coast, Australia, December 4-6, 2007 : proceedings / Marcus Randall, Hussein A. Abbass, Janet Wiles (eds.).
    ACAL (3rd : 2007 : Gold Coast, Australia).
    SerPro I2.4 S738 2007. LNCS 4828.
    

• 
  Computing Methodologies / Artificial Intelligence / Learning
  

72. 
    Knowledge science, engineering and management : second international conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007 ; proceedings / Zili Zhang, Jorg Siekmann (eds.).
    KSEM 2007 (2nd : 2007 : Melbourne, Australia).
    SerPro I2.6 K73 2007. LNCS 4798.
    

• 
  Computing Methodologies / Artificial Intelligence / Robotics
  

73. 
    Human motion - understanding, modeling, capture and animation : second workshop, human motion 2007, Rio de Janeiro, Brazil, October 20, 2007 : proceedings / Ahmed Elgammal, Bodo Rosenhahn, Reinhard Klette (eds.).
    Workshop on Human Motion Understanding, Modeling, Capture and Animation(2nd : 2007 : Rio de Janeiro, Brazil).
    SerPro I2.9 H918 2007. LNCS 4814.
    
74. 
    Intelligent robots and computer vision XXV : algorithms, techniques, and active vision, 9-11 September 2007, Boston, Massachusetts, USA / David P. Casasent, Ernest L. Hall, Juha Roning, editors ; sponsored and published by SPIE.
    Proc I2.9 I61:3 2007. SPIE 6764.
    

• 
  Computing Methodologies / Artificial Intelligence / Distributed Artificial Intelligence
  

75. 
    Argumentation in multi-agent systems : third international workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006 : revised selected and invited papers / Nicolas Maudet, Simon Parsons, Iyad Rahwan (eds.).
    ArgMAS 2006 (3rd : 2006 : Hakodate, Japan).
    SerPro I2.11 A694 2006. LNCS 4766.
    
76. 
    Engineering societies in the agents world VII : 7th international workshop, ESAW 2006, Dublin, Ireland, September 6-8, 2006 : revised selected and invited papers / Gregory M.P. O'Hare ... [et al.] (eds.).
    ESAW 2006 (2006 : Dublin, Ireland).
    SerPro I2.11 E575 2006. LNCS 4457.
    
77. 
    Multi-agent-baseds simulation VII : international workshop, MABS 2006, Hakodate, Japan, May 8, 2006 : revised and invited papers / Luis Antunes, Keiki Takadama (eds.).
    MABS 2006 (2006 : Hakodate, Japan).
    SerPro I2.11 M9613 2006. LNCS 4442.
    
78. 
    Verbal and nonverbal communication behaviours : COST action 2102 international workshop, Vietri sul Mare, Italy, March 29-31, 2007 : revised selected and invited papers / Anna Esposito ... [et al.] (eds.).
    SerPro I2.11 V477 2007. LNCS 4775.
    

• 
  Computing Methodologies / Image Processing and Computer Vision
  

79. 
    Advances in Visual Computing : third international symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007 : proceedings / George Bebis ... [et al.] (eds.).
    International Symposium on Advance in Visual Computing (3rd : 2007 : Lake Tahoe, NV, USA).
    SerPro I4 A2445:2 2007. pt.1 (LNCS 4841).
    
80. 
    Advances in Visual Computing : third international symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007 : proceedings / George Bebis ... [et al.] (eds.).
    International Symposium on Advance in Visual Computing (3rd : 2007 : Lake Tahoe, NV, USA).
    SerPro I4 A2445:2 2007. pt.2 (LNCS 4842).
    
81. 
    Analysis and modeling of faces and gestures : third international workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 : proceedings / S. Kevin Zhou ... [et al.] (eds.).
    IEEE International Workshop on Analysis and Modeling of Faces and Gestures (3rd : 2007 : Rio de Janeiro, Brazil).
    SerPro I4 A532 2007. LNCS 4778.
    
82. 
    Advances in brain, vision, and artificial intelligence : second international symposium, BVAI 2007, Naples, Italy, October 10-12, 2007 : proceedings / Francesco Mele ... [et al.] (eds.).
    BVAI 2007 (2nd : 2007 : Naples, Italy).
    SerPro I4 B814 2007. LNCS 4729.
    

• 
  Computing Methodologies / Pattern Recognition
  

83. 
    Progress in pattern recognition, image analysis and applications : 12th Iberoamerican Congress on pattern recognition, CIARP 2007, Vina del Mar-Valparaiso, November 13-16, 2007 : proceedings / Luis Rueda, Domingo Mery, Josef Kittler (eds.).
    Iberoamerican Congress on Pattern Recognition (12th : 2007 : Vina del Mar-Valparaiso, Chile).
    SerPro I5 P3165 2007. LNCS 4756.
    
84. 
    Progress in pattern recognition / Sameer Singh and Maneesha Singh, editors.
    I5 P9645.
    

• 
  Computing Methodologies / Pattern Recognition / Models
  

85. 
    2007 IEEE international conference on granular computing : GrC 2007, San Jose, California, 2-4 November, 2007 / edited by Tsau Young Lin ... [et al.] ; sponsored by IEEE Computational Intelligence Society (CIS).
    IEEE International Conference on Granular Computing (2007 : San Jose, California).
    Proc I5.1 G764 2007.
    

• 
  Computing Methodologies / Pattern Recognition / Applications
  

86. 
    Computer vision-- AACV 2007 : 8th Asian conference on computer vision, Tokyo, Japan, November 18-22, 2007 : proceedings / Yasushi Yagi ... [et al.] (eds.).
    Asian Conference on Computer Vision (8th : 2007 : Tokyo, Japan).
    SerPro I5.4 C7383:2 2007. pt.1 (LNCS 4843).
    
87. 
    SerPro I5.4 C7383:2 2007. pt.2 (LNCS 4844).
    
88. 
    Ninth international conference on document analysis and recognition : Curitiba, Parana, Brazil, September 23-26, 2007 : proceedings.
    International Conference on Document Analysis and Recognition (9th : 2007 : Curitiba, Parana, Brazil.
    Proc I5.4 D637 2007. v.1.
    
89. 
    Proc I5.4 D637 2007. v.2.
    

J. Computer Application

• 
  Computer Applications / Life and Medical Sciences
  

90. 
    Closed-loop control of blood glucose / Frederick Chee, Tyrone Fernando.
    Ser J3 C515. LNCIS 368.
    
91. 
    Transactions on computational systems biology VIII / Corrado Priami (ed.).
    Ser J3 C7383:3-8. LNCS 4780.
    
92. 
    Medical image computing and computer-assisted intervention : MICCAI 2007 : 10th international conference, Brisbane, Australia, October 29-November 2, 2007 : proceedings / Nicholas Ayache, Sebastien Ourselin, Anthony Maeder (eds.).
    International Conference on Medical Image Computing and Computer-Assisted Intervention (10th : 2007 : Brisbane, Qld.).
    SerPro J3 M489 2007. pt.1 (LNCS 4791).
    
93. 
    SerPro J3 M489 2007. pt.2 (LNCS 4792).
    

• 
  Computer Applications / Computer-Aided Engineering
  

94. 
    Computer aided systems theory--EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers / Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada Arencibia (eds.).
    International Conference on Computer Aided Systems Theory (11th : 2007 : Las Palmas de Gran Canaria, Spain).
    SerPro J6 C7383 2007. LNCS 4739.
    

K. Computing Milieux