新 到 圖 書
 展示期間：96 年 9 月 20 - 28 日   共 130 冊 
A. General Literature [0]
B. Hardware [5]
C. Computer Systems Organization [8]
D. Software [3]
E. Data [0]
F. Theory of Computation [6]
G. Mathematics of Computing [3]
H. Information Systems [4]
I. Computing Methodologies [9]
J. Computer Application [2]
K. Computing Milieux [2]
A. General Literature
B. Hardware
 Hardware / Arithmetic and Logic Structures
1.
Advances in computer systems architecture : 12th Asia-Pacific conference, ACSAC 2007,
Seoul, Korea, August 23-25, 2007 : proceedings / Lynn Choi, Yunheung Paek, Sangyeun Cho
(eds.).
ACSAC 2007 (12th : 2007 : Seoul, Korea).
SerPro B2 A2445 2007.
LNCS 4697.
C. Computer Systems Organization
 Computer Systems Organization / General
2.

3.
4.

Embedded computer systems: architectures, modeling, and simulation : 7th international
workshops, SAMOS 2007, Samos, Greece, July 16-19, 2007 : proceedings / Stamatis
Vassiliadis, Mladen Berekovic, timo D. Hamalainen (eds.).
SAMOS (7th : 2007 : Samos, Greece).
SerPro C0 S9953 2007. LNCS 4599.
Computer Systems Organization / Computer-Communication Networks
Dependable and adaptable networks and services : 13th open European Summer School and
IFIP TC6.6 workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007 :
proceedings / Aiko Pras, Marten van Sinderen (eds.).
Open European Summer School and IFIP TC6.6 Workshop, EUNICE (13th : 2007 : Enschede,
The Netherlands).
SerPro C2 E88 2007. LNCS 4606.
Grid economics and business models : 4th international workshop, GECON 2007, Rennes,
France, August 28, 2007 : proceedings / Jorn Altmann, Daniel J. Veit (eds.).
International Workshop on Grid Economics and Business Models (4th : 2007 : Rennes, France).
SerPro C2 G847 2007. LNCS 4685.
Computer Systems Organization / Computer-Communication Networks /
1
General
5.
INFOCOM 2007 : Anchorage, AK, 6-12 May 2007.
6.
7.
8.
9.
Conference on Computer Communications (2007 : Anchorage, AK).
Proc C2.0 C7383:3 2007.
v.1.
Proc C2.0 C7383:3 2007.
v.2.
Proc C2.0 C7383:3 2007.
v.3.
Proc C2.0 C7383:3 2007.
v.4.
Proc C2.0 C7383:3 2007.
v.5.

Computer Systems Organization / Computer-Communication Networks /
Distributed Systems
10. Statistical network analysis: models, issues, and new directions : ICML 2006 workshop on
statistical network analysis, Pittsburgh, PA, USA, June 29, 2006 : revised selected papers /
Edoardo Airoldi ... [et al.] (eds.).
ICML Workshop on Statistical Network Analysis (2006 : Pittsburgh, PA, USA).
SerPro C2.4 S797 2006.
LNCS 4503.

Computer Systems Organization / Special-Purpose and Application-Based
Systems
11. 2006 fortieth Asilomar Conference on Signals, Systems and Computers : Pacific Grove, CA,
29 October-1 November, 2006.
Asilomar Conference on Signals, Systems & Computers (40th : 2006 : Pacific Grove, Calif.).
Proc C3 S578 2006.
v.1.
12. Proc C3 S578 2006.
v.2.
13. Proc C3 S578 2006.
14. Proc C3 S578 2006.
15. Proc C3 S578 2006.
v.3.
v.4.
v.5.
D. Software
 Software / Programming Techniques
16. All about amude--a high performance logical framework : how to specify, program and verify
systems in rewriting logic / Manuel Clavel ... [et al.].
Ser D1 A416. LNCS 4350.

Software / Programming Techniques / Concurrent Programming
17. Euro-Par 2007 parallel processing : 13th international Euro-Par Conference, Rennes, France,
August 28-31, 2007 : proceedings / Anne-Marie Kermarrec, Luc Bouge, Thierry Priol (eds.).
International Euro-Par Conference (13th : 2007 : Rennes, France).
SerPro D1.3 P2227 2007.
LNCS 4641.
18. Parallel computing technologies : 9th International Conference, PaCT 2007, Pereslavl-Zalessky,
Russia, September 3-7, 2007 : proceedings / Victor Malyshkin (ed.).
International Conference on Parallel Computing Technologies (9th : 2007 : Pereslavl-Zalessky,
Russia).
SerPro D1.3 P2227 2007.
LNCS 4671.

Software / Programming Techniques / Object-Oriented Programming
2
19. ECOOP 2007 - Object-oriented programming : 21st European conference, Berlin, Germany,
July 30-August 3, 2007 : proceedings / Erik Ernst (ed.).
ECOOP 2007 (21st : 2007 : Berlin, Germany).
SerPro D1.5 O126 2007.
LNCS 4609.

Software / Software Engineering
20. Architecting dependable systems IV / Rogerio de Lemos, Cristina Gacek, Alexander
Romanovsky (eds.).
Ser D2 A673. IV (LNCS 4615).
21. Autonomic and trusted computing : 4th international conference, ATC 2007, Hong Kong,
China, July 11-13, 2007 : proceedings / Bin Xiao ... [et al.] (eds.).
International Conference on Autonomic and Trusted Computing (4th : 2007 : Hong Kong,
China).
SerPro D2 A939 2007. LNCS 4610.
22. Software engineering for multi-agent systems V : research issues and practical applications /
Ricardo Choren ... [et al.] (eds.).
Ser D2 S6813.
V (LNCS 4408).
23. Web engineering : 7th international conference, ICWE 2007, Como, Italy, July 16-20, 2007 :
proceedings / Luciano Baresi, Piero Fraternali, Geert-Jan Houben (eds.).
International Conference on Web Engineering (7th : 2007 : Como, Italy).
SerPro D2 W364 2007. LNCS 4607.

Software / Software Engineering / General
24. Component-based software engineering : 10th international symposium, CBSE 2007, Medford,
MA, USA, July 9-11, 2007 : proceedings / Heinz W. Schmidt ... [et al] (eds.).
International Symposium on Component-Based Software Engineering (10th : 2007 : Medford,
MA, USA).
SerPro D2.0 C7377 2007.
LNCS 4608.
25. Product-focused software process improvement : 8th International Conference, PROFES 2007,
Riga, Latvia, July 2-4, 2007 : proceedings / Jurgen Munch, Pekka Abrahamsson (eds.).
International Conference PROFES 2007 (8th : 2007 : Riga, Italy).
SerPro D2.0 P9643 2007.
LNCS 4589.

Software / Software Engineering / Software/Program Verification
26. Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5,
2007 : proceedings / Jim Davies, Jeremy Gibbons (eds.).
International Conference on Integrated Formal Methods (6th : 2007 : Oxford, UK).
SerPro D2.4 I61 2007. LNCS 4591.
27. Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February
12-13, 2007 : revised papers / Yuri Gurevich, Bertrand Meyer (eds.).
International Conference on Tests and Proofs (1st : 2007 : Zurich, Switzerland).
SerPro D2.4 T345 2007.
LNCS 4454.

Software / Programming Languages / General
28. Selected papers on computer languages / Donald E. Knuth.
Knuth, Donald Ervin, 19383
D3.0 K745.
29. Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August
22-24, 2007 : proceedings / Hanne Riis Nielson, Gilberto File (eds.).
International Symposium on Static Analysis (14th : 2007 : Kongens Lyngby, Denmark).
SerPro D3.0 S797 2007.
LNCS 4634.

Software / Programming Languages / Language Classifications
30. The Java programming language / Ken Arnold, James Gosling, David Holmes. Arnold, Ken,
1958D3.2.J3 A756 2006.
E. Data
 Data / Data Structures
31. Algorithms and data structures : 10th international workshop, WADS 2007, Halifax, Canada,
August 15-17, 2007 : proceedings / Frank Cehne, Jorg-Rudiger Sack, Norbert Zeh (eds.).
Workshop on Algorithms and Data Structures (10th : 2007 : Halifax, Canada).
SerPro E1 A3965 2007.
LNCS 4619.

Data / Data Encryption
32. Data and applications security XXI : 21st Annual IFIP WG 11.3 Working Conference on Data
and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007 : proceedings / Steve
Barker, Gail-Joon Ahn (eds.).
Annual IFIP WG 11.3 Working Conference on Data and Applications Security (21st : 2007 :
Redondo Beach, CA, USA).
SerPro E3 D232 2007. LNCS 4602.
33. Detection of intrusions and malware, and vulnerability assessment : 4th international
conference, DIMVA 2007, Lucerne, Switzerland, July 12-13, 2007 : proceedings / Bernhard M.
Hammerli, Robin Sommer (eds.).
International Conference on Detection of Intrusions and Malware, and Vulnerability
Assessment (4th : 2007 : Lucerne, Switzerland).
SerPro E3 D479 2007. LNCS 4579.
F. Theory of Computation
 Theory of Computation / General
34. Automata, languages, and programming : 34th international colloquium, ICALP 2007,
Wroclaw, Poland, July 9-13, 2007 : proceedings / Lars Arge ... [et al.] (eds.).
International Colloquium on Automata, Languages, and Programming (34th : 2007 : Wroclaw,
Poland).
SerPro F0 A939 2007. LNCS 4596.
35. Computational science and its applications--ICCSA 2007 : international conference, Kuala
Lumpur, Malaysia, August 26-29, 2007 : proceedings / Osvaldo Gervasi, Marina L. Gavrilova
(eds.).
ICCSA 2007 (2007 ; Kuala Lumpur, Malaysia).
SerPro F0 C7385:2 2007.
pt.1 (LNCS 4705).
4
36. SerPro F0 C7385:2 2007.
37. SerPro F0 C7385:2 2007.
pt.2 (LNCS 4706).
pt.3 (LNCS 4707).
38. Fundamentals of computation theory : 16th international symposium, FCT 2007, Budapest,
Hungary, August 27-30, 2007 : proceedings / Erzsebet Csuhaj-Varju, Zoltan Esik (eds.).
International Symposium on Fundamentals of Computation Theory (16th : 2007 : Budapest,
Hungary).
SerPro F0 F981 2007. LNCS 4639.
39. Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS
2007, Cesky Krumlov, Czech Republic, August 26-31, 2007 : proceedings / Ludek Kucera,
Antonin Kucera (eds.).
Symposium on Mathematical Foundations of Computer Science (32nd : 2007 : Cesky Krumlov,
Czech Republic).
SerPro F0 M426 2007. LNCS 4708.

Theory of Computation / Computation By Abstract Devices
40. Artificial immune systems : 6th international conference, ICARIS 2007, Santos, Brazil, August
26-29, 2007 : proceedings / Leandro Nunes de Castro, Fernando Jose Von Zuben, Helder
Knidel (eds.).
ICARIS 2007 (6th : 2007 : Santos, Brazil).
SerPro F1 A7913 2007. LNCS 4628.
41. Foundations of genetic algorithms : 9th international workshop, FOGA 2007, Mexico City,
Mexico, January 8-11, 2007 : revised selected papers / Christopher R. Stephens ... [et al.] (eds.).
International Workshop on Foundations of Genetic Algorithms (9th : 2007 : Mexico City,
Mexico).
Proc F1 F7713 2007.
LNCS 4436.
42. Advances intelligent computing theories and applications : with aspects of artificial
intelligence, third international conference on Intelligent Computing, ICIC 2007, Qingdao,
China, August 21-24, 2007 : proceedings / De-Shuang Huang, Laurent Heutte, Marco Loog
(eds.).
ICIC 2007 (3rd : 2007 : Qingdao, China).
SerPro F1 I61:2-2 2007.
LNCS 4682.
43. Advances intelligent computing theories and applications : with aspects of theoretical and
methodological issues, third international conference on intelligent computing, ICIC 2007,
Qingdao, China, August 21-24, 2007 : proceedings / De-Shuang Huang, Laurent Heutte,
Marco Loog (eds.).
ICIC 2007 (3rd : 2007 : Qingdao, China).
SerPro F1 I61:2 2007. LNCS 4681.
44. Parallel and distributed processing and applications : 5th international symposium, ISPA 2007,
Niagara Falls, Canada, August 29-31, 2007 : proceedings / Ivan Stojmenovic ... [et al.] (eds.).
ISPA 2007 (5th : 2007 : Niagara Falls, Canada).
SerPro F1 P2227 2007. LNCS 4742.
45. Frontiers of high performance computing and networking - ISPA 2007 Workshops : ISPA 2007
international workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and
5
IST-AWSN, Niagara Falls, Canada, August 29-31, 2007 : proceedings / Parimala
Thulasiraman ... [et al.] (eds.).
ISPA 2007 International workshops (2007 : Niagara Falls, Canada).
SerPro F1 P2227 2007 workshops.
LNCS 4743.
46. Unconventional computation : 6th international conference, UC 2007, Kingston, Canada,
August 13-17, 2007 : proceedings / Selim G. Akl ... [et al.] (eds.).
International Conference on Unconventional Computation (6th : 2007 : Kingston, Canada).
SerPro F1 U545 2007. LNCS 4618.

Theory of Computation / Computation By Abstract Devices / Models of
Computation
47. Computer science -- theory and application : second international symposium on computer
science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings /
Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (eds.).
International Symposium on Computer Science in Russia (2nd : 2007 : Ekaterinburg, Russia).
SerPro F1.1 C7383:2 2007. LNCS 4649.

Theory of Computation / Analysis of Algorithms and Problem Complexity
48. Combinatorial optimization and applications : first international conference, COCOA 2007,
Xi'an, China, August 14-16, 2007 : proceedings / Andreas Dress, Yinfeng Xu, Binhai Zhu
(eds.).
International Conference on Combinatorial Optimization and Applications (1st : 2007 : Xi'An,
China).
SerPro F2 C7315 2007. LNCS 4616.
49. Systems biology and computational proteomics : Joint RECOMB 2006 satellite workshops on
systems biology and on computational proteomics, San Diego, CA, USA, December 1-3, 2006 :
revised selected ppaers / Trey Ideker, Vineet Bafna (eds.).
Joint Annual RECOMB 2006 Satellite Workshops on Systems Biology and on Computational
Proteomics (2006 : San Diego, CA, USA).
SerPro F2 S9953 2006. LNCS 4532.

Theory of Computation / Analysis of Algorithms and Problem Complexity /
Nonnumerical Algorithms and Problems
50. Frontiers in algorithmics : first international workshop, FAW 2007, Lanzhou, China, August
1-3, 2007 : proceedings / Franco P. Preparata, Qizhi Fang (eds.).
Annual International Workshop on Frontiers in Algorithmics (1st : 2007 : Lanzhou, China).
SerPro F2.2 F935 2007.
LNCS 4613.
51. Literate programming / Donald E. Knuth.
Knuth, Donald Ervin, 1938F2.2 K74-2.

Theory of Computation / Logics and Meanings of Programs / General
52. Model checking software : 14th International SPIN Workshop, Berlin, Germany, July 1-3,
2007 : proceedings / Dragan Bosnacki, Stefan Edelkamp (eds.).
International SPIN Workshop (14th : 2007 : Berlin, Germany).
SerPro F3.0 S732 2007.
LNCS 4595.
6

Theory of Computation / Logics and Meanings of Programs / Specifying and
Verifying and Reasoning About Programs
53. Algebra and coalgebra computer science : second international conference, CALCO 2007,
Bergen, Norway, August 20-24, 2007 : proceedings / Till Mossakowski, Ugo Montanari,
Magne Haveraaen (eds.).
CALCO 2007 (2nd : 2007 : Bergen, Norway).
SerPro F3.1 A394 2007.
LNCS 4624.
54. Rewriting computation and proff : essays dedicated to Jean-Pierre Jouannaud on the occasion
of his 60th birthday / Hubert Common-Lundh, Claude Kirchner, Helene Kirchner.
Ser F3.1 R4545. LNCS 4600.

Theory of Computation / Mathematical Logic and Formal Languages /
Mathematical Logic
55. Mathematical problems from applied logic II : logics for the XXIst century / edited by Dov M.
Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
F4.1 M426:2-2.
G. Mathematics of Computing
 Mathematics of Computing / Numerical Analysis / General
56. Assessment and future directions of nonlinear model predictive control / Rolf Findeisen, Frank
Allgower, Lorenz T. Biegler (eds.).
Ser G1.0 846.
LNCIS 358.
57. Nonlinear observers and applications / Besancon, Gildas, ed.
Ser G1.0 N8135:3.

LNCIS 363.
Mathematics of Computing / Numerical Analysis / Optimization
58. Approximation, randomization, and combinatorial optimization : algorithms and techniques :
10th international workshop, APPROX 2007, and 11th international workshop, RANDOM
2007, Princeton, NJ, USA, August 20-22, 2007 : proceedings / Moses Charikar ... [et al.] (eds.).
International Workshop on Approximation Algorithms for Combinatorial Optimization
Problems (10th : 2007 : Princeton, NJ, USA).
SerPro G1.6 A6525 2007.
LNCS 4627.

Mathematics of Computing / Discrete Mathematics / General
59. Computing and combinatorics : 13th annual international conference, COCOON 2007, Banff,
Canada, July 16-19, 2007 : proceedings / Guohui Lin (ed.).
International Computing and Combinatorics Conference (13th : 2007 : Banff, Canada).
SerPro G2.0 C7385 2007.
LNCS 4598.

Mathematics of Computing / Mathematical Software
60. Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July
3-7, 2007 : proceedings / Werner Damm, Holger Hermanns (eds.).
International Conference on Computer Aided Verification (19th : 2007 : Berlin, Germany).
SerPro G4 C7383 2007.
LNCS 4590.
H. Information Systems
7

Information Systems / Models and Principles / User/Machine Systems
61. Human-computer interaction : Interaction design and usability, 12th international conference ,
62.
63.
64.
65.
HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Julie A. Jacko (ed.).
International Conference on Human-Computer Interaction (12th : 2007 : Beijing, China).
SerPro H1.2 H918 2007.
pt.1 (LNCS 4550).
SerPro H1.2 H918 2007.
pt.2 (LNCS 4551).
SerPro H1.2 H918 2007.
pt.3 (LNCS 4552).
SerPro H1.2 H918 2007.
pt.4 (LNCS 4553).
Universal access in human-computer interaction : Coping with diversity, 4th international
conference on universal access in human-computer interaction, UAHCI 2007, held as part of
HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Constantine
Stephanidis (ed.).
International Conference on Universal Access in Human-Computer Interaction (4th : 2007 :
Beijing, China).
SerPro H1.2 H918:3 2007. pt.1 (LNCS 4554).
66. SerPro H1.2 H918:3 2007. pt.2 (LNCS 4555).
67. SerPro H1.2 H918:3 2007. pt.3 (LNCS 4556).
68. Human interface and the management of information : methods, techniques and tools in
information design : Symposium on human interface 2007, held as part of HCI International
2007, Beijing, China, July 22-27, 2007 : proceedings / Michael J. Smith, Gavriel Salvendy
(eds.).
Symposium on Human Interface (2007 : Beijing, China).
SerPro H1.2 H918:4 2007. pt.1 (LNCS 4557).
69. SerPro H1.2 H918:4 2007. pt.2 (LNCS 4558).
70. Usability and internationalization : HCI and culture : Second international conference on
usability and internationalization, UI-HCII 2007, held as part of HCI International 2007,
Beijing, China, July 22-27, 2007 : proceedings / Nuray Aykin (ed.).
International Conference on Usability and Internationalization (2nd : 2007 : Beijing, China).
SerPro H1.2 H918:5 2007. pt.1 (LNCS 4559).
71. SerPro H1.2 H918:5 2007. pt.2 (LNCS 4560).

Information Systems / Database Management
72. Natural language processing and information systems : 12th International Conference on
Applications of Natural Language to Information System, NLDB 2007, Paris, France, June
27-29, 2007 : proceedings / Zoubida Kedad ... [et al.] (eds.).
International Conference on Applications of Natural Language to Information Systems (12th :
2007 : Paris, France).
SerPro H2 N285 2007. LNCS 4592.

Information Systems / Database Management / Systems
73. 11th IEEE international workshop on future trends of distributed computing systems : FTDCS
2007, 21-23 March 2007, Sedona, AZ, USA / sponsored by IEEE Computer Society Technical
Committee on Distributed Processing.
Workshop on Future Trends of Distributed Computing Systems (11th : 2007 : Sedona, AZ,
8
USA).
Proc H2.4 F9965 2007.

Information Systems / Database Management / Database Applications
74. Advances in bioinformatics and computional biology : second Brazilian Symposium on
Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007 : Proceedings /
Marie-France Sagot, Maria Emilia M. T. Walter (eds.).
Brazilian Symposium on Bioinformatics (2nd : 2007 : Angra dos Reis, Brazil).
SerPro H2.8 B6155:2 2007. LNCS 4643.

Information Systems / Information Storage and Retrieval / Online Information
Services
75. Business intelligence for the real-time enterprises : first international workshop, BIRTE 2006,
Seoul, Korea, September 11, 2006 : revised selected papers / Christoph Bussler ... [et al.] (eds.).
International Workshop on Business Intelligence for the Real-Time Enterprises (1st : 2006 :
Seoul, Korea).
SerPro H3.5 B9793:2 2006. LNCS 4365.

Information Systems / Information Systems Applications
76. Ubiquitous intelligence and computing : 4th international conference, UIC 2007, Hong Kong,
China, July 11-13, 2007 : proceedings / Jadwiga Indulska ... [et al.] (eds.).
International Conference on Ubiquitous Intelligence and Computing (4th : 2007 : Hong Kong,
China).
SerPro H4 U15 2007. LNCS 4611.

Information Systems / Information Interfaces and Presentation
77. Digital human modeling : First international conference on digital human modeling, ICDHM
2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings /
Vincent G. Duffy (ed.).
International Conference on Digital Human Modeling (1st : 2007 : Beijing, China).
SerPro H5 D5743 2007.
LNCS 4561.
78. Ergonomics and health aspects of work with computers : International conference, EHAWC
2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings /
Marvin J. Dainoff (ed.).
International Conference on Ergonomics and Health Aspects of Work with Computers (2007 :
Beijing, China).
SerPro H5 E67 2007. LNCS 4566.
79. Virtual reality : Second international conference, ICVR 2007, held as part of HCI International
2007, Beijing, China, July 22-27, 2007 : proceedings / Randall Shumaker (ed.).
International Conference on Virtual Reality (2nd : 2007 : Beijing, China).
SerPro H5 V819:2 2007.
LNCS 4563.
I. Computing Methodologies
 Computing Methodologies / Artificial Intelligence
80. Advanced data mining and applications : third international conference, ADMA 2007, Harbin
China, August 6-8, 2007 : proceedings / Reda Alhajj ... [et al.] (eds.).
9
International Conference on Advanced Data Mining and Applications (3rd : 2007 :
Harbin,China).
SerPro I2 A2445:3 2007.
LNCS 4632.
81. Computational discovery of scientific knowledge : introduction, techniques, and applications
in environmental and life sciences / Saso Dzeroski, Ljupco Todorovski (eds.).
Ser I2 C7383:2.
LNCS 4660.
82. Foundations of augmented cognition : Third international conference, FAC 2007, held as part
of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Dylan D.
Schmorrow, Leah M. Reeves (eds.).
International Conference on Foundations of Augmented Cognition (3rd : 2007 : Beijing,
China).
SerPro I2 F7713 2007. LNCS 4565.
83. Modeling decisions for artificial intelligence : 4th international conference, MDAI 2007,
Kitakyushu, Japan, August 16-18, 2007 : Proceedings / Vicenc Torra, Yasuo Narukawa, Yuji
Yoshida (eds.).
MDAI 2007 (4th : 2007 : Kitakyushu, Japan).
SerPro I2 M6895 2007. LNCS 4617.

Computing Methodologies / Artificial Intelligence / General
84. Abstraction, reformulation, and approximation : 7th international symposium, SARA 2007,
Whistler, Canada, July 18-21, 2007 : proceedings / Ian Miguel, Wheeler Ruml (eds.).
SARA 2007 (7th : 2007 : Whistler, Canada).
SerPro I2.0 A1645 2007.
LNCS 4612.
85. Engineering psychology and cognitive ergonomics : 7th international conference, EPCE 2007,
held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Don
Harris (ed.).
International Conference on Engineering Psychology and Cognitive Ergonomics (7th : 2007 :
Beijing, China).
SerPro I2.0 E575 2007. LNCS 4562.
86. Modeling and using context : 6th international and interdisciplinary conference, CONTEXT
2007, Roskilde, Denmark, August 20-24, 2007 : proceedings / Boicho Kokinov ... [et al.] (eds.).
International and Intnerdisciplinary Conference on Modeling and Using Context (6th : 2007 :
Roskilde, Denmark).
SerPro I2.0 M6895 2007.
LNCS 4635.
87. RoboCup 2006 : Robot Soccer World Cup X / Gerhard Lakemeyer ... [et al.] (eds.).
RoboCup 2006 (10th : 2006 : Bermen, Germany).
SerPro I2.0 R6665 2006.
LNCS 4434.

Computing Methodologies / Artificial Intelligence / Applications and Expert
Systems
88. Advances in spatial and temporal databases : 10th international symposium, SSTD 2007,
Boston, MA, USA, July 16-18, 2007 : proceedings / Dimitris Papadias, Donghui Zhang,
George Kollios (eds.).
International Symposium on Spatial and Temporal Databases (10th : 2007 : Boston, MA,
10
USA).
SerPro I2.1 S738 2007. LNCS 4605.

Computing Methodologies / Artificial Intelligence / Deduction and Theorem
Proving
89. Automated deduction, CADE-21 : 21st international conference on automated deduction,
Bermen, Germany, July 17-20, 2007 : proceedings / Frank Pfenning (ed.).
International Conference on Automated Deduction (21st : 2007 : Bermen, Germany).
SerPro I2.3 A939 2007. LNCS 4603.
90. Case-based reasoning research and development : 7th International Conference on Case-Based
Reasoning, ICCBR 2007, Belfast, Northern Ireland, UK, August 13-16, 2007 : proceedings /
Rosina O. Weber, Michael M. Richter (eds.).
International Conference on Case-Based Reasoning (7th : 2007 : Belfast, Northern Ireland,
UK).
SerPro I2.3 C337 2007. LNCS 4626.
91. Applications of fuzzy sets theory : 7th international workshop on fuzzy logic and applications,
WILF 2007, Camogli, Italy, July 7-10, 2007 : proceedings / Francesco Masulli, Sushmita Mitra,
Gabriella Pasi (eds.).
International Workshop on Fuzzy Logic and Applications (7th : 2007 : Camogli, Italy).
SerPro I2.3 F9967 2007.
LNCS 4578.
92. Inductive logic programming : 16th international conference, ILP 2006, Santiago de
Compostela, Spain August 24-27, 2006 : revised selected papers / Stephen Muggleton, Ramon
Otero, Alireza Tamaddoni-Nezhad (eds.).
International Conference on Inductive Logic Programming (16th : 2006 : Santiago de
Compostela, Spain).
SerPro I2.3 I42 2006. LNCS 4455.
93. Tools and techniques in modal logic / Marcus Kracht.
Kracht, Marcus.
I2.3 K89:2.
94. Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy,
August 29, 2006 : revised selected and invited papers / Stefan Edelkamp, Alessio Lomuscio
(eds.).
Workshop on Model Checking and Artificial Intelligence (4th : 2006 : Riva del Garda, Italy).
SerPro I2.3 M6895 2006.
LNCS 4428.
95. Recent advances in constraints : 11th annual ERCIM international workshop on constraint
solving and constraint logic programming, CSCLP 2006, Caparica, Portugal, June 26-28,
2006 : revised selected and invited papers / Francisco Azevedo ... [et al.] (eds.).
International Workshop on Constraint Solving and Constraint Logic Programming (2006 :
Caparica, Portugal).
SerPro I2.3 R2935 2006.
LNCS 4651.

Computing Methodologies / Artificial Intelligence / Knowledge Representation
Formalisms and Methods
96. Conceptual structures: knowledge architectures for smart applications : 15th international
11
conference on conceptual structures, ICCS 2007, Sheffield, UK, July 22-27, 2007 :
proceedings / Uta Priss, Simon Polovina, richard Hill (eds.).
International Conference on Conceptual Structures (15th : 2007 : Sheffield, UK).
SerPro I2.4 C744 2007. LNCS 4604.

Computing Methodologies / Artificial Intelligence / Learning
97. Advances in data mining : theoretical aspects and applications, 7th industrial conference on
data mining, ICDM 2007, Leipzig, Germany, July 14-18, 2007 : proceedings / Petra Perner
(ed.).
Industrial Conference on Data Mining (7th : 2007 : Leipzig, Germany).
SerPro I2.6 D232 2007.
LNCS 4597.

Computing Methodologies / Artificial Intelligence / Natural Language
Processing
98. Speaker classification I : fundamentals, features, and methods / Christian Muller (ed.).
Ser I2.7 S741.
I (LNCS 4343).
99. Speaker classification II : selected projects / Christian Muller (ed.).
Ser I2.7 S741.
II (LNCS 4441).

Computing Methodologies / Artificial Intelligence / Problem Solving, Control
Methods, and Search
100. Dynamic programming and optimal control / Dimitri P. Bertsekas.
Bertsekas, Dimitri P.
I2.8 B5515-2.
v.1.
101. I2.8 B5515-2.
v.2.

Computing Methodologies / Artificial Intelligence / Robotics
102. The robotics primer / Maja J. Mataric ; illustrations by Nathan Koenig. Mataric, Maja J.
I2.9 M425.
103. Robotic welding, intelligence and automation / Tzyh-Jong Tarn, Shan-Ben Chen, Changjiu
Zhou (eds.).
SerPro I2.9 R6665:19 2006. LNCIS 362.

Computing Methodologies / Artificial Intelligence / Distributed Artificial
Intelligence
104. Artificial intelligence in medicine : 11th Conference on Artificial Intelligence in Medicine,
AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007 : proceedings / Riccardo Bellazzi,
Ameen Abu-Huanna, Jim Hunter (eds.).
Conference on Artificial Intelligence in Medicine (11th : 2007 : Amsterdam, The Netherlands).
SerPro I2.11 A7913 2007.
LNCS 4594.

Computing Methodologies / Image Processing and Computer Vision
105. Human-centered visualization environments : GI-Dagstuhl research seminar, Dagstuhl Castle,
Germany, March 5-8, 2006 : revised lectures / Andreas Kerren, Achim Ebert, Jorg Meyer (eds.).
GI-Dagstuhl Research Seminar (2006 : Dagstuhl Castle, Germany).
SerPro I4 H918:2 2006.
LNCS 4417.
106. Image analysis and recognition : 4th international conference, ICIAR 2007, Montreal, Canada,
August 22-24, 2007 : proceedings / Mohamed Kamel, Aurelio Campilho (eds.).
12
International Conference on Image Analysis and Recognition (4th : 2007 : Montreal, Canada).
SerPro I4 I31:2 2007. LNCS 4633.

Computing Methodologies / Pattern Recognition
107. Advances in biometrics : international conference, ICB 2007, Souel, Korea, August 27-29,
2007 : Proceedings / Seong-Whan Lee, Stan Z. Li (eds.).
International Conference on Biometrics (2007 : Seoul, Korea).
SerPro I5 A2245:2 2007.
LNCS 4642.

Computing Methodologies / Pattern Recognition / General
108. 2007 IEEE Conference on Computer Vision and Pattern Recognition : Minneapolis, MN,
17-22 June 2007.
IEEE Conference on Computer Vision and Pattern Recognition (2007 : Minneapolis, MN).
Proc I5.0 C7383:2 2007.
v.1.
109. Proc I5.0 C7383:2 2007.
v.2.
110. Proc I5.0 C7383:2 2007.
v.3.
111. Proc I5.0 C7383:2 2007.
v.4.
112. Proc I5.0 C7383:2 2007.
v.5.
113. Proc I5.0 C7383:2 2007.
v.6.
114. Proc I5.0 C7383:2 2007.
v.7.
115. Proc I5.0 C7383:2 2007.
v.8.
116. Computer analysis of images and patterns : 12th international conference, CAIP 2007, Vienna,
Austria, August 27-29, 2007 : proceedings / Walter G. Kropatsch, Martin Kampel, Allan
Hanbury (eds.).
International Conference on Computer Analysis of Images and Patterns (12th : 2007 : Vienna,
Austria).
SerPro I5.0 C7383 2007.
LNCS 4673.
117. Machine learning and data mining in pattern recognition : 5th international conference,
MLDM 2007, Leipzig, Germany, July 18-20, 2007 : proceedings / Petra Perner (ed.).
MLDM 2007 (5th : 2007 : Leipzig, Germany).
SerPro I5.0 M149 2007.
LNCS 4571.
118. The 18th International Conference on Pattern Recognition : 20-24 August, 2006, Hong Kong :
proceedings.
International Conference on Pattern Recognition (18th : 2006 : Hong Kong).
Proc I5.0 P3165:5 2006.
119. Proc I5.0 P3165:5 2006.
120. Proc I5.0 P3165:5 2006.
121. Proc I5.0 P3165:5 2006.
122. Proc I5.0 P3165:5 2006.
123. Proc I5.0 P3165:5 2006.
124. Proc I5.0 P3165:5 2006.
125. Proc I5.0 P3165:5 2006.

v.1A.
v.1B.
v.2A.
v.2B.
v.3A.
v.3B.
v.4A.
v.4B.
Computing Methodologies / Pattern Recognition / General
126. Energy minimization methods in computer vision and pattern recognition : 6th international
13
conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007 : proceedings / Alan L.
Yuille ... [et al.] (eds.).
International Conference on Energy Minimization Methods in Computer Vision and Pattern
Recognition (6th : 2007 : Ezhou, China).
SerPro I5.1 E56 2007. LNCS 4679.
J. Computer Application
 Computer Applications / Computers in Other Systems
127. Optimal control of constrained piecewise affine systems / Frank J. Christophersen.
Christophersen, Frank J.
Ser J7 C556. LNCIS 359.
K. Computing Milieux
 Computing Milieux / Computers and Society
128. CODE : collaborative ownership and the digital economy / edited by Rishab Aiyer Ghosh.
K4 C669.
129. Online communities and social computing : Second international conference, OCSC 2007,
held as part of HCI International 2007, Beijing, China, July 22-27, 2007 :proceedings /
Douglas Schuler (ed.).
International Conference on Online Communities and Social Computing (2nd : 2007 : Beijing,
China).
SerPro K4 O58 2007. LNCS 4564.

Computing Milieux / Management of Computing and Information Systems /
Security and Protection
130. Recent advances in intrusion detection : 10th international symposium, RAID 2007, Gold
Coast, Australia, September 5-7, 2007 : proceedings / Christopher Kruegel, Richard Lippmann,
Andrew Clark (eds.).
RAID 2007 (10th : 2007 : Gold Coast, Australia).
SerPro K6.5 R2935 2007.
LNCS 4635.
14