新 到 圖 書
 展示期間：94 年 9 月 26 日 - 9 月 30 日   共 68 冊 
A. General Literature [0]
B. Hardware [0]
C. Computer Systems
Organization [8]
D. Software [7]
E. Data [2]
F. Theory of Computation [14]
G. Mathematics of Computing [2]
H. Information Systems [9]
I. Computing Methodologies [22]
J. Computer Application [1]
K. Computing Milieux [3]
A. General Literature
B. Hardware
C. Computer Systems Organization

Computer Systems Organization / Processor Architectures / Multiple Data
Stream Architectures (Multiprocessors)
CONCUR 2005-CONCURRENCY THEORY : 16TH INTERNATIONAL CONFERENCE,
CONCUR 2005, SAN FRANCISCO, CA, USA, AUGUST 23-26, 2005 : PROCEEDINGS /
MARTIN ABADI, LUCA DE ALFARO (EDS.).
International Conference on Concurrency Theory (16th : 2005 : San Francisco, Calif.).
SerPro C1.2 C744 2005.
LNCS 3653.

Computer Systems Organization / Computer-Communication Networks
MODEL DRIVEN ARCHITECTURE : EUROPEAN MDA WORKSHOPS: FOUNDATIONS
AND APPLICATIONS, MDAFA 2003 AND MDAFA 2004, TWENTE, THE NETHERLANDS,
JUNE 26-27, 2003 AND LINKOPING, SWEDEN, JUNE 10-11, 2004 : REVISED SELECTED
PAPERS / UWE ABMANN, MEHMET AKSIT, AREND RENSINK (EDS.).
European MDA Workshop (2005 : Twente, The Netherlands).
SerPro C2 M6895 2004.
LNCS 3599.
NETWORKING AND MOBILE COMPUTING : THIRD INTERNATIONAL CONFERENCE,
ICCNMC 2005, ZHANGJIAJIE, CHINA, AUGUST 2-4, 2005 : PROCEEDINGS / XICHENG LU,
WEI ZHAO (EDS.).
International Conference on Networking and Mobile Computing (3rd : 2005 : Zhangjiajie, China).
SerPro C2 N4765 2005.
LNCS 3619.
UBIQUITOUS COMPUTING SYSTEMS : SECOND INTERNATIONAL SYMPOSIUM, UCS
2004, TOKYO, JAPAN, NOVEMBER 8-9, 2004 : REVISED SELECTED PAPERS / ITOMI
1
MURAKAMI ... [ET AL.] (EDS.).
International Symposium on Ubiquitous Computing Systems (2nd : 2004 : Tokyo, Japan).
SerPro C2 U15:2 2004. LNCS 3598.
UBICOMP 2005 : UBIQUITOUS COMPUTING : 7TH INTERNATIONAL COFERENCE,
UBICOMP 2005, TOKYO, JAPAN SEPTEMBER 11-14, 2005 : PROCEEDINGS / MICHAEL
BEIGL ... [ET AL.] (EDS.).
UbiComp 2005 (7th : 2005 : Tokyo, Japan).
SerPro C2 U15 2005. LNCS 3660.

Computer Systems Organization / Computer-Communication Networks /
Distributed Systems
25TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS : 6-10
JUNE 2005, COLUMBUS, OHIO, USA / SPONSORED BY IEEE COMPUTER SOCIETY
TECHNICAL COMMITTEE ON DISTRIBUTED PROCESSING (TCDP).
International Conference on Distributed Computing Systems (25th : 2005 : Columbus, Ohio).
Proc C2.4 D614 2005.
FORMAL TECHNIQUES FOR COMPUTER SYSTEMS AND BUSINESS PROCESSES :
EUROPEAN PERFORMANCE ENGINEERING WORKSHOP, EPEW 2005 AND
INTERNATIONAL WORKSHOP ON WEB SERVICES AND FORMAL METHODS, WS-FM
2005, VERSAILLES, FRANCE, SEPTEMBER 1-3, 2005 : PROCEEDINGS / MARIO BRAVETTI,
LEILA KLOUL, GIANLUIGI ZAVATTARO (EDS.).
European Performance Engineering Workshop (2005 : Versailles, France).
SerPro C2.4 F7235 2005.
LNCS 3670.
PRINCIPLES OF DISTRIBUTED SYSTEMS : 8TH INTERNATIONAL CONFERENCE,
OPODIS 2004, GRENOBLE, FRANCE, DECEMBER 15-17, 2004 : REVISED SELECTED
PAPERS / TERUO HIGASHINO (ED.).
International Conference on Principles of Distributed Systems (8th : 2004 : Grenoble, France).
SerPro C2.4 P9575 2004.
LNCS 3544.
D. Software

Software / Programming Techniques / Concurrent Programming
PARALLEL COMPUTING TECHNOLOGIES : 8TH INTERNATIONAL CONFERENCE, PACT
2005, KRASNOYARSK, RUSSIA, SEPTEMBER 5-9, 2005 : PROCEEDINGS / VICTOR
MALYSHKIN (ED.).
International Conference on Parallel Computing Technologies (8th : 2005 : Krasoyarsk, Russia).
SerPro D1.3 P2227 2005.
LNCS 3606.
EURO-PAR 2005 PARALLEL PROCESSING : 11TH INTERNATIONAL EURO-PAR
CONFERENCE, LISBON, PORTUGAL, AUGUST 30-SEPTEMBER 2, 2005 : PROCEEDINGS /
2
JOSE C. CUNHA, PEDRO D. MEDEIROS (EDS.).
International Euro-Par Conference (11th : 2005 : Lisbon, Portugal).
SerPro D1.3 P2227 2005.

LNCS 3648.
Software / Programming Techniques / Object-Oriented Programming
ECOOP 2005 - OBJECT-ORIENTED PROGRAMMING : 19TH EUROPEAN CONFERENCE
GLASGOW, UK, JULY 25-29, 2005 : PROCEEDINGS / ANDREW P. BACK (ED.).
ECOOP 2005 (19th : 2005 : Glasgow, UK).
SerPro D1.5 O126 2005.
LNCS 3586.

Software / Software Engineering
WEB ENGINEERING : 5TH INTERNATIONAL CONFERENCE, ICWE 2005, SYDNEY,
AUSTRALIA, JULY 27-29, 2005 : PROCEEDINGS / DAVID LOWE, MARTIN GAEDKE
(EDS.).
International Conference on Web Engineering (5th : 2005 : Sydney, Australia).
SerPro D2 W364 2005. LNCS 3579.

Software / Programming Languages / General
COMPUTER SCIENCE LOGIC : 19TH INTERNATIONAL WORKSHOP, CSL 2005, 14TH
ANNUAL CONFERENCE OF THE EACSL, OXFORD, UK, AUGUST 22-25, 2005 :
PROCEEDINGS / LUKE ONG (ED.).
International Workshop on Computer Science Logic (19th : 2005 : Oxford, UK).
SerPro D3.0 C7383 2005.
LNCS 3634.
STATIC ANALYSIS : 12TH INTERNATIONAL SYMPOSIUM, SAS 2005, LONDON, UK,
SEPTEMBER 7-9, 2005 : PROCEEDINGS / CHRIS HANKIN, IGOR SIVERONI (ED.).
International Symposium on Static Analysis (12th : 2005 : London, UK).
SerPro D3.0 S797 2005.
LNCS 3672.

Software / Operating Systems / Organization and Design
CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS, CHES 2005 : 7TH
INTERNATIONAL WORKSHOP, EDINBURGH, UK,AUGUST 29-SEPTEMBER 1, 2005 :
PROCEEDINGS / JOSYULA R. RAO, BERK SUNAR (EDS.).
CHES 2005 (7th : 2005 : Edinburgh, UK).
SerPro D4.7 C9575 2005.
LNCS 3659.
E. Data

Data / Data Structures
ALGORITHMS AND DATA STRUCTURES : 9TH INTERNATIONAL WORKSHOP, WADS
2005, WATERLOO, CANADA, AUGUST 15-17, 2005 : PROCEEDINGS / FRANK CEHNE,
ALEJANDRO LOPEZ-ORTIZ, JORG-RUDIGER SACK (EDS.).
Workshop on Algorithms and Data Structures (9th : 2005 : Waterloo, Canada).
3
SerPro E1 A3965 2005.

LNCS 3608.
Data / Data Encryption
DATA AND APPLICATIONS SECURITY XIX : 19TH ANNUAL IFIP WG 11.3 WORKING
CONFERENCE ON DATA AND APPLICATIONS SECURITY, STORRS, CT, USA, AUGUST
7-10, 2005 : PROCEEDINGS / SUSHIL JAJODIA, DUMINDA WIJESEKERA (EDS.).
Annual IFIP WG 11.3 Working Conference on Data and Applications Security (19th : 2005 : Storrs,
Ct.).
SerPro E3 D232 2005. LNCS 3654.
F. Theory of Computation

Theory of Computation / General
FUNDAMENTALS OF COMPUTATION THEORY : 15TH INTERNATIONAL SYMPOSIUM,
FCT 2005, LUBECK, GERMANY, AUGUST 17-20, 2005 : PROCEEDINGS / MACIEJ
LISKIEWICZ, RUDIGER REISCHUK (EDS.).
International Symposium on Fundamentals of Computation Theory (15th : 2005 : Lubeck,
Germany).
SerPro F0 F981 2005. LNCS 3623.
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2005 : 30TH
INTERNATIONAL SYMPOSIUM, MFCS 2005, GDANSK, POLAND, AUGUST
29-SEPTEMBER 2, 2005 : PROCEEDINGS / JOANNA JEDRZEJOWICZ, ANDRZEJ
SZEPIETOWSKI (EDS.).
Symposium on Mathematical Foundations of Computer Science (1972- ) (30th : 2005 : Gdansk,
Poland).
SerPro F0 M426 2005. LNCS 3618.

Theory of Computation / Computation By Abstract Devices
ADVANCES IN NATURAL COMPUTATION : FIRST INTERNATIONAL CONFERENCE,
ICNC 2005, CHANGSHA, CHINA, AUGUST 27-29, 2005 : PROCEEDINGS / LIPO WANG, KE
CHEN, YEW SOON ONG (EDS.).
Internation Conference on Advances in Natural Computation (1st : 2005 : Changsha, China).
SerPro F1 A2445 2005. pt. 1 (LNCS 3610).
ADVANCES IN NATURAL COMPUTATION : FIRST INTERNATIONAL CONFERENCE,
ICNC 2005, CHANGSHA, CHINA, AUGUST 27-29, 2005 : PROCEEDINGS / LIPO WANG, KE
CHEN, YEW SOON ONG (EDS.).
Internation Conference on Advances in Natural Computation (1st : 2005 : Changsha, China).
SerPro F1 A2445 2005. pt. 2 (LNCS 3611).
ADVANCES IN NATURAL COMPUTATION : FIRST INTERNATIONAL CONFERENCE,
ICNC 2005, CHANGSHA, CHINA, AUGUST 27-29, 2005 : PROCEEDINGS / LIPO WANG, KE
4
CHEN, YEW SOON ONG (EDS.).
Internation Conference on Advances in Natural Computation (1st : 2005 : Changsha, China).
SerPro F1 A2445 2005. pt. 3 (LNCS 3612).
ARTIFICIAL IMMUNE SYSTEMS : 4TH INTERNATIONAL CONFERENCE, ICARIS 2005,
BANFF, ALBERTA, CANADA, AUGUST 14-17, 2005 : PROCEEDINGS / CHRISTIAN
JACOB ... [ET AL.] (EDS.).
ICARIS 2006 (5th : 2005 : Banff, Canada).
SerPro F1 A7913 2005. LNCS 3627.
ADVANCES IN INTELLIGENT COMPUTING : INTERNATIONAL CONFERENCE ON
INTELLIGENT COMPUTING, ICIC 2005, HEFEI, CHINA, AUGUST 23-26, 2005 :
PROCEEDINGS / DE-SHUANG HUANG, XIAO-PING ZHANG, GUANG-BIN HUANG (EDS.).
ICIC 2005 (2005 : Hefei, China).
SerPro F1 I61:2 2005. pt.1 (LNCS 3644).
ADVANCES IN INTELLIGENT COMPUTING : INTERNATIONAL CONFERENCE ON
INTELLIGENT COMPUTING, ICIC 2005, HEFEI, CHINA, AUGUST 23-26, 2005 :
PROCEEDINGS / DE-SHUANG HUANG, XIAO-PING ZHANG, GUANG-BIN HUANG (EDS.).
ICIC 2005 (2005 : Hefei, China).
SerPro F1 I61:2 2005. pt.2 (LNCS 3645).

Theory of Computation / Computation By Abstract Devices / Modes of
Computation
LANGUAGES AND COMPILERS FOR HIGN PERFORMANCE COMPUTING : 17TH
INTERNATIONAL WORKSHOP, LCPC 2004, WEST LAFAYETTE, IN, USA, SEPTEMBER
22-24, 2004 : REVISED SELECTED PAPERS / RUDOLF EIGENMANN, ZHIYUAN LI,
SAMUEL P. MIDKIFF (EDS.).
International Workshop on Languages and Compilers for High Performance Computing (17th :
2004 : West Lafayette, IN).
SerPro F1.2 L287 2004.
LNCS 3602.

Theory of Computation / Analysis of Algorithms and Problem Complexity
HYBRID METAHEURISTICS : SECOND INTERNATIONAL WORKSHOP, HM 2005,
BARCELONA, SPAIN, AUGUST 29-30, 2005 : PROCEEDINGS / MARIA J. BLESA ... [ET AL.]
(EDS.).
International Workshop on Hybrid Metaheuristics (2nd : 2005 : Barcelona, Spain).
SerPro F2 H9925 2005.
LNCS 3636.

Theory of Computation / Logics and Meanings of Programs / General
MODEL CHECKING SOFTWARE : 12TH INTERNATIONAL SPIN WORKSHOP, SAN
FRANCISCO, CA, USA, AUGUST 22-24, 2005 : PROCEEDINGS / PATRICE GODEFROID
(EDS.).
5
International SPIN Workshop (12th : 2005 : San Franciso, Ca.).
SerPro F3.0 S732 2005.
LNCS 3639.

Theory of Computation / Logics and Meanings of Programs / Specifying and
Verifying and Reasoning About Programs
ALGEBRA AND COALGEBRA COMPUTER SCIENCE : FIRST INTERNATIONAL
CONFERENCE, CALCO 2005, SWANSEA, UK, SEPTEMBER, 3-6, 2005 : PROCEEDINGS /
JOSE LUIZ FIADEIRO .. [ET AL.] (EDS.).
CALCO 2005 (1st : 2005 : Swansea, UK).
SerPro F3.1 A394 2005.
LNCS 3629.

Theory of Computation / Logics and Meanings of Programs / Studies of
Program Constructs
ADAPTING PROOFS-AS-PROGRAMS : THE CURRY-HOWARD PROTOCAL / IMAN HAFIZ
POERNOMO, JOHN NEWSOME CROSSLEY, MARTIN WIRSING.
Poernomo, Iman Hafiz, 1976.
Ser F3.3 P745.

Theory of Computation / Mathematical Logic and Formal Languages /
Mathematical Logic
REFLECTIONS ON KURT GODEL / HAO WANG.
Wang, Hao, 1921F4.1 W246.
G. Mathematics of Computing

Mathematics of Computing / Numerical Analysis / Optimization
APPROXIMATION, RANDOMIZATION, AND COMBINATORIAL OPTIMIZATION :
ALGORITHMS AND TECHNIQUES : 8TH INTERNATIONAL WORKSHOP ON
APPROXIMATION ALGORITHMS FOR COMBINATORIAL OPTIMIZATION PROBLEMS,
APPROX 2005, AND 9TH INTERNATIONAL WORKSHOP ON RANDOMIZATION AND
COMPUTATION, RANDOM 2005, BERKELEY, CA, USA, AUGUST 22-24, 2005 :
PROCEEDINGS / CHANDRA CHEKURI ... [ET AL.] (EDS.).
International Workshop on Approximation Algorithms for Combinatorial Optimization Problems
(8th : 2005 : Berkeley, CA).
SerPro G1.6 A6525 2005.
LNCS 3624.

Mathematics of Computing / Discrete Mathematics / General
COMPUTING AND COMBINATORICS : 11TH ANNUAL INTERNATIONAL CONFERENCE,
COCOON 2005, KUNMING, CHINA, AUGUST 16-29, 2005 : PROCEEDINGS / LUSHENG
WANG (EDS.).
International Computing and Combinatorics Conference (11th : 2005 : Kunming, China).
SerPro G2.0 C7385 2005.
LNCS 3595.
6
H. Information Systems

Information Systems / Database Management / General
SECURE DATA MANAGEMENT : SECOND VLDB WORKSHOP, SDM 2005, TRONDHEIM,
NORWAY, SEPTEMBER 2-3, 2005 : PROCEEDINGS / WILLEM JONKER, MILAN PETKOVIC
(EDS.).
SDM 2005 (2nd : 2005 : Trondheim, Norway).
SerPro H2.0 S4465 2005.
LNCS 3674.
DATABASE AND XML TECHNOLOGIES : THIRD INTERNATIONAL XML DATABASE
SYMPOSIUM, XSYM 2005, TRONHEIM, NORWAY, AUGUST 28-29, 2005 : PROCEEDINGS /
STEPHANE BRESSAN .. [ET AL.] (EDS.).
International XML Database Symposium (3rd : 2005 : Trondheim, Norway).
SerPro H2.0 X7 2005. LNCS 3671.

Information Systems / Database Management / Database Administration
DATA WAREHOUSING AND KNOWLEDGE DISCOVERY : 7TH INTERNATIONAL
CONFERENCE, DAWAK 2005, COPENHAGEN, DENMARK, AUGUST 22-26, 2005 :
PROCEEDINGS / A MIN TJOA, JUAN TRUJILLO (EDS.).
DaWak 2005 (2005 : Copehhagen, Denmark).
SerPro H2.7 D232 2005.
LNCS 3589.

Information Systems / Database Management / Database Applications
DATABASE AND EXPERT SYSTEMS APPLICATIONS : 16TH INTERNATIONAL
CONFERENCE, DEXA 2005, COPENHAGEN, DENMARK, AUGUST 22-26, 2005 :
PROCEEDINGS / KIM VIBORG ANDERSEN, JOHN DEBENHAM, ROLAND WAGNER
(EDS.).
International Conference on Database and Expert Systems Applications (16th : 2005 : Copenhagen,
Denmark).
SerPro H2.8 D232 2005.
LNCS 3588.
KDD-2005 : PROCEEDINGS OF THE ELEVENTH ACM SIGKDD INTERNATIONAL
CONFERENCE ON KNOWLEDGE DISCOVERY AND DATA MINING, AUGUST 21-24, 2005,
CHICAGO, ILLINOIS, USA / EDITED BY ROBERT L. GROSSMAN ... [ET AL.].
International Conference on Knowledge Discovery and Data Mining (11th : 2005 : Chicago, Ill.).
Proc H2.8 K73 2005.

Information Systems / Information Storage and Retrieval
MULTILINGUAL INFORMATION ACCESS FOR TEXT, SPEECH AND IMAGES : 5TH
WORKSHOP OF THE CROSS-LANGUAGE EVALUATION FORUM, CLEF 2004, BATH, UK,
SEPTEMBER 15-17, 2004 : REVISED SELECTED PAPERS / CAROL PETERS ... [ET AL]
(EDS.).
7
Cross-Language Evaluation Forum (5th : 2004 : Bath, UK).
SerPro H3 C951 2004. LNCS 3491.
ISMIR 2005 : 6TH INTERNATIONAL CONFERENCE ON MUSIC INFORMATION
RETRIEVAL, QUEEN MARY, UNIVERSITY OF LONDON & GOLDSMITHS COLLEGE,
UNIVERSITY OF LONDON, 11-15 SEPTEMBER, 2005 : PROCEEDINGS / [JOSHUA D. REISS
& GERAINT A. WIGGINS].
ISMIR 2005 (6th : 2005 : London).
Proc H3 M987 2005.

Information Systems / Information Systems Applications
REASONING WEB : FIRST INTERNATIONAL SUMMER SCHOOL 2005, MSIDA, MALTA,
JULY 25-29, 2005 : TUTORIAL LECTURES / NORBERT EISINGER, JAN MALUSZYNSKI
(EDS.).
International Summer School Reasoning Web (1st : 2005 : Msida, Malta).
SerPro H4 R2885 2004.
LNCS 3564.

Information Systems / Information Interfaces and Presentation / User Interfaces
USER MODELING 2005 : 10TH INTERNATIONAL CONFERENCE, UM 2005, EDINBURGH,
SCOTLAND, UK, JULY 24-29, 2005 : PROCEEDINGS / LILIANA ARDISSONO, PAUL BRNA,
ANTONIJA MITROVIC (EDS.).
International Conference on User Modeling (10th : 2005 : Edinburgh, Scotland).
SerPro H5.2 U84 2005. LNCS 3538.
I. Computing Methodologies

Computing Methodologies / Artificial Intelligence / General
EVOLVABLE MACHINES : THEORY & PRACTICE / NADIA NEDJAH, LUIZA DE MACEDO
MOURELLE (EDS.).
I2.0 E935:2.
FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY : SECOND INTERNATIONAL
CONFERENCE, FSKD 2005, CHANGSHA, CHINA, AUGUST 27-29, 2005 : PROCEEDINGS /
LIPO WANG, YAOCHU JIN (EDS.).
International Conference on Fuzzy Systems and Knowledge Discovery (2nd : 2005 : Changsha,
China).
SerPro I2.0 F9967:2 2005. pt. 1 (LNCS 3613).
FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY : SECOND INTERNATIONAL
CONFERENCE, FSKD 2005, CHANGSHA, CHINA, AUGUST 27-29, 2005 : PROCEEDINGS /
LIPO WANG, YAOCHU JIN (EDS.).
International Conference on Fuzzy Systems and Knowledge Discovery (2nd : 2005 : Changsha,
China).
8
SerPro I2.0 F9967:2 2005.

pt. 2 (LNCS 3614).
Computing Methodologies / Artificial Intelligence / Applications and Expert
Systems
ADVANCES IN SPATIAL AND TEMPORAL DATABASES : 9TH INTERNATIONAL
SYMPOSIUM, SSTD 2005, ANGRA DOS REIS, BRAZIL, AUGUST 22-24, 2005 :
PROCEEDINGS / CLAUDIA BAUZER MEDEIROS, MAX EGENHOFER, ELISA BERTINO
(EDS.).
International Symposium on Spatial and Temporal Databases (9th : 2005 : Angra dos Reis, Brazil).
SerPro I2.1 S738 2005. LNCS 3633.

Computing Methodologies / Artificial Intelligence / Automatic Programming
LOGIC PROGRAMMING AND NONMONOTONIC REASONING : 8TH INTERNATIONAL
CONFERENCE, LPNMR 2005, DIAMANTE, ITALY, SEPTEMBER 5-8, 2005 : PROCEEDINGS
/ CHITTA BARAL .. [ET AL.] (EDS.).
International Conference on Logic Programming and Nonmonotonic Reasoning (8th : 2005 :
Diamante, Italy).
SerPro I2.2 L8325 2005.
LNCS 3662.

Computing Methodologies / Artificial Intelligence / Deduction and Theorem
Proving
CASE-BASED REASONING RESEARCH AND DEVELOPMENT : 6TH INTERNATIONAL
CONFERENCE ON CASE-BASED REASONING, ICCBR 2005, CHICAGO, IL, USA, AUGUST
23-26, 2005 : PROCEEDINGS / HECTOR MUNOZ-AVILA, FRANCESCO RICCI (EDS.).
International Conference on Case-Based Reasoning (6th : 2005 : Chicago, IL.).
SerPro I2.3 C337 2005. LNCS 3620.
INDUCTIVE LOGIC PROGRAMMING : 15TH INTERNATIONAL CONFERENCE, ILP 2005,
BONN, GERMANY, AUGUST 10-13, 2005 : PROCEEDINGS / STEFAN KRAMER,
BERNHARD PFAHRINGER (EDS.).
International Conference on Inductive Logic Programming (15th : 2005 : Bonn, Germany).
SerPro I2.3 I42 2005. LNCS 3625.
THEOREM PROVING IN HIGHER ORDER LOGICS : 18TH INTERNATIONAL
CONFERENCE, TPHOLS 2005, OXFORD, UK, AUGUST 22-25, 2005 : PROCEEDINGS / JOE
HURD, TOM MELHAM (EDS.).
International Conference on Theorem Proving in Higher Order Logics (18th : 2005 : Oxford, UK).
SerPro I2.3 T396 2005. LNCS 3603.

Computing Methodologies / Artificial Intelligence / Learning
ADVANCES IN WEB-BASED LEARNING-ICWL 2005 : 4TH INTERNATIONAL
CONFERENCE, HONG KONG, CHINA, JULY 31-AUGUST 3, 2005 : PROCEEDINGS /
9
RYNSON W.H. LAU ... [ET AL.] (EDS.).
ICWL 2005 (4th : 2005 : ong Kong, China).
SerPro I2.6 W364 2005.

LNCS 3583.
Computing Methodologies / Artificial Intelligence / Distributed Artificial
Intelligence
COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS : 5TH INTERNATIONAL
WORKSHOP, CLIMA V, LISBON, PORTUGAL, SEPTEMBER 29-30, 2004 : REVISED
SELECTED AND INVITED PAPERS / JOAO, LEITE, PAOLO TORRONI (EDS.).
International Workshop on Computational Logic in Multi-Agent Systems (5th : 2004 : Lisbon,
Portugal).
SerPro I2.11 C7383 2004-2. LNCS 3487.
HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING : SECOND
INTERNATIONAL CONFERENCE ON INDUSTRIAL APPLICATIONS OF HOLONIC AND
MULTI-AGENT SYSTEMS, HOLOMAS 2005, COPENHAGEN, DENMARK, AUGUST 22-24,
2005 / VLADIMIR MARIK, ROBERT W. BERNNAN, MICHAL PECHOUCEK (EDS.).
International Conference on Industrial Applications of Holonic and Multi-Agent Systems (2nd :
2005 : Copenhagen, Denmark).
SerPro I2.11 I42 2005. LNCS 3593.
TRUSTING AGENTS FOR TRUSTING ELECTRONIC SOCIETIES : THEORY AND
APPLICATIONS IN HCI AND E-COMMERCE / RINO FALCONE ... [ET AL.] (EDS.).
Ser I2.11 T873:3. LNCS 3577.

Computing Methodologies / Computer Graphics
SMART GRAPHICS : 5TH INTERNATIONAL SYMPOSIUM, SG 2005, FRAUENWORTH
CLOISTER, GERMANY, AUGUST 22-24, 2005 : PROCEEDINGS / ANDREAS BUTZ ... [ET
AL.] (EDS.).
International Symposium on Smart Graphics (5th : 2005 : Frauenworth Cloister, Germany).
SerPro I3 S636 2005. LNCS 3638.

Computing Methodologies / Computer Graphics / Computational Geometry and
Object Modeling
MATHEMATICS OF SURFACES : 11TH IMA INTERNATIONAL CONFERENCE,
LOUGHBOROUGH, UK, SEPTEMBER 5-7, 2005 : PROCEEDINGS / RALPH MARTIN,
HELMUT BEZ, MALCOLM SABIN (EDS.).
IMA Conference on the Mathematics of Surfaces (11th : 2005 : Loughborough, UK).
SerPro I3.5 M426 2005.
LNCS 3604.

Computing Methodologies / Image Processing and Computer Vision / General
IMAGE ANALYSIS AND PROCESSING-ICIAP 2005 : 13TH INTERNATIONAL
10
CONFERENCE, CAGLIARI, ITALY, SEPTEMBER 6-8, 2005 : PROCEEDINGS / FABIO ROLI,
SERGIO VITULANO (EDS.).
International Conference on Image Analysis and Processing (13th : 2005 : Cagliari, Italy).
SerPro I4.0 I31 2005. LNCS 3617.

Computing Methodologies / Pattern Recognition
PATTERN RECOGNITION AND DATA MINING : THIRD INTERNATIONAL CONFERENCE
ON ADVANCES IN PATTERN RECOGNITION, ICAPR 2005, BATH, UK, AUGUST 22-25,
2005 : PROCEEDINGS / SAMEER SINGH ... [ET AL.] (EDS.).
International Conference on Advances in Pattern Recognition (3rd : 2005 ; Bath, UK).
SerPro I5 A2445 2005. pt.1 (LNCS 3686).
PATTERN RECOGNITION AND DATA MINING : THIRD INTERNATIONAL CONFERENCE
ON ADVANCES IN PATTERN RECOGNITION, ICAPR 2005, BATH, UK, AUGUST 22-25,
2005 : PROCEEDINGS / SAMEER SINGH ... [ET AL.] (EDS.).
International Conference on Advances in Pattern Recognition (3rd : 2005 ; Bath, UK).
SerPro I5 A2445 2005. pt.2 (LNCS 3687).
PATTERN RECOGNITION : 27TH DAGM SYMPOSIUM, VIENNA, AUSTRIA, AUGUST
31-SEPTEMBER 2, 2005 : PROCEEDINGS / WALTER G. KROPATSCH, ROBERT SABLATNIG,
ALLAN HANBURY (EDS.).
DAGM Symposium (27th : 2005 : Vienna, Austria).
SerPro I5 D126 2005.

LNCS 3663.
Computing Methodologies / Pattern Recognition / Models
ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING : 10TH
INTERNATIONAL CONFERENCE, RSFDGRC 2005, REGINA, CANADA, AUGUST
31-SEPTEMBER 3, 2005 : PROCEEDINGS / DOMINIK SLEZAK ... [ET AL.] (EDS.).
RSFDGrC 2005 (10th : 2005 : Regina, Canada).
SerPro I5.1 R856 2005. pt. 1 (LNCS 3641).
ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING : 10TH
INTERNATIONAL CONFERENCE, RSFDGRC 2005, REGINA, CANADA, AUGUST
31-SEPTEMBER 3, 2005 : PROCEEDINGS / DOMINIK SLEZAK ... [ET AL.] (EDS.).
RSFDGrC 2005 (10th : 2005 : Regina, Canada).
SerPro I5.1 R856 2005. pt.2 (LNCS 3642).

Computing Methodologies / Pattern Recognition / Applications
EIGHTH INTERNATIONAL CONFERENCE ON DOCUMENT ANALYSIS AND
RECOGNITION : AUGUST 31 -SEPTEMBER 1, 2005, SEOUL, KOREA : PROCEEDINGS.
International Conference on Document Analysis and Recognition (8th : 2005 : Seoul, Korea).
Proc I5.4 D637 2005. v.1.
11
EIGHTH INTERNATIONAL CONFERENCE ON DOCUMENT ANALYSIS AND
RECOGNITION : AUGUST 31 -SEPTEMBER 1, 2005, SEOUL, KOREA : PROCEEDINGS.
International Conference on Document Analysis and Recognition (8th : 2005 : Seoul, Korea).
Proc I5.4 D637 2005. v.2.
J. Computer Application

Computer Applications / Administrative Data Processing
BUSINESS PROCESS MANAGEMENT : 3RD INTERNATIONAL CONFERENCE, BPM 2005,
NANCY, FRANCE, SEPTEMBER 5-8, 2005, PROCEEDINGS / WIL M.P. VAN DER AALST ...
[ET AL.] (EDS.).
BPM 2005 (3rd : 2005 : Nancy, France).
SerPro J1 B9793 2005. LNCS 3649.
K. Computing Milieux

Computing Milieux / Computers and Society
ELECTRONIC GOVERNMENT : 4TH INTERNATIONAL CONFERENCE, EGOV 2005,
COPENHAGEN, DENMARK, AUGUST 22-26, 2005 : PROCEEDINGS / MARIA A. WIMMER
(EDS.).
International Conference on Electronic Government (4th : 2005 : Copenhagen, Denmark).
SerPro K4 E383 2005. LNCS 3591.

Computing Milieux / Computers and Society / Electronic Commerce
E-COMMERCE AND WEB TECHNOLOGIES : 6TH INTERNATIONAL CONFERENCE,
EC-WEB 2005, COPENHAGEN, DENMARK, AUGUST 23-26, 2005 : PROCEEDINGS / KURT
BAUKNECHT, BIRGIT PROLL, HANNES WERTHNER (EDS.).
International Conference on Electronic Commerce and Web Technologies (6th : 2005 : Copehnagen,
Denmark).
SerPro K4.4 E383:2 2005. LNCS 3590.
TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS : SECOND INTERNATIONAL
CONFERENCE, TRUSTBUS 2005, COPENHAGEN, DENMARK, AUGUST 22-26, 2005 :
PROCEEDINGS / SOKRATIS KATSIKAS, JAVIER LOPEZ, GUNTHER PERNUL (EDS.).
TrustBus 2005 (2nd : 2005 : Copehnagen, Denmark).
SerPro K4.4 T873 2005.
LNCS 3592.
12