（別紙1）タイトルリスト
Springer Journal Archive
No.
Title
1 Acta Mechanica Sinica
2 Aging Clinical and Experimental Research
3 The Analysis of Verbal Behavior
4 Animal Learning & Behavior
5 Annalen der Philosophie
6 Annals of Nuclear Medicine
7 Applied Mathematics-A Journal of Chinese Universities
8 Australasian Plant Pathology
9 The Australian Educational Researcher
10 Australian Plant Pathology Society Newsletter
11 The Behavior Analyst
12 Behavior and Social Issues
13 Behavior Research Methods & Instrumentation
14 Behavior Research Methods, Instruments & Computers
15 Bioethics News
16 Bulletin of the Psychonomic Society
17 The California School Psychologist
18 Chinese Journal of Political Science
19 Clays and Clay Minerals
20 Diabetologia
21 East Asia
22 Eating and Weight Disorders - Studies on Anorexia, Bulimia and Obesity
23 European Journal of Drug Metabolism and Pharmacokinetics
24 European Journal of Psychology of Education
25 Experimental Techniques
26 Fortschrittsberichte über Kolloide und Polymere
27 Glycosylation & Disease
28 GPS Solutions
29 International Series of Numerical Mathematics
30 The Japanese Economic Review
31 JOM
32 Journal für Mathematik-Didaktik
33 Journal of Chinese Political Science
34 Journal of Economics and Finance
35 Journal of Elementary Science Education
36 Journal of Endocrinological Investigation
37 Journal of Materials Research
38 Journal of Northeast Asian Studies
39 Journal of Plant Biochemistry and Biotechnology
40 Journal of Psychiatric Education
41 The Journal of the Society for Gynecologic Investigation: JSGI
42 Knowledge and Policy
43 Knowledge in Society
44 Knowledge, Technology & Policy
45 Kolloid-Beihefte
46 Kolloidchemische Beihefte
47 La Rivista del Nuovo Cimento
48 Machine Learning
49 Mathematics Education Research Journal
50 Memory & Cognition
51 Metascience
52 Minerals & Metallurgical Processing

（別紙1）タイトルリスト
53 Mining, Metallurgy & Exploration
54 Monash Bioethics Review
55 MRS Bulletin
56 Mycotoxin Research
57 Optical Review
58 Perception & Psychophysics
59 Prospects
60 Prospects in Education
61 The Psychological Record
62 Psychonomic Bulletin & Review
63 Psychonomic Science
64 Results in Mathematics
65 Senckenbergiana lethaea
66 Sleep & Breathing
67 Sports Medicine
68 Tertiary Education and Management
69 Umweltwissenschaften und Schadstoff-Forschung（別紙1）タイトルリスト
Springer Lecture Notes in Computer Science (Vol. 1501- Vol. 1760)
No.
Title
1 LNCS 1760/1999 Formal Models of Agents
2 LNCS 1759/2000 Large-Scale Parallel Data Mining
3 LNCS 1758/2000 Selected Areas in Cryptography
4 LNCS 1757/2000 Intelligent Agents VI. Agent Theories, Architectures, and Languages
5 LNCS 1756/2000 Learning Software Organizations
6 LNCS 1755/2000 Perspectives of System Informatics
7 LNCS 1754/1999 Generalized Quantifiers and Computation
8 LNCS 1753/2000 Practical Aspects of Declarative Languages
9 LNCS 1752/2000 Advances in Distributed Systems
10 LNCS 1751/2000 Public Key Cryptography
11 LNCS 1750/1999 MMIXware
12 LNCS 1749/1999 Internet Applications
13 LNCS 1748/1999 Mobile Data Access
14 LNCS 1747/1999 Advanced Topics in Artificial Intelligence
15 LNCS 1746/1999 Cryptography and Coding
16 LNCS 1745/1999 High Performance Computing – HiPC’99
17 LNCS 1744/1999 Grading Knowledge
18 LNCS 1743/1999 Object-Oriented Technology ECOOP’99 Workshop Reader
19 LNCS 1742/1999 Advances in Computing Science — ASIAN’99
20 LNCS 1741/1999 Algorithms and Computation
21 LNCS 1740/1999 Secure Networking — CQRE [Secure] ’ 99
22 LNCS 1739/1999 Gesture-Based Communication in Human-Computer Interaction
23 LNCS 1738/1999 Foundations of Software Technology and Theoretical Computer Science
24 LNCS 1737/1999 Integrated Spatial Databases
25 LNCS 1736/1999 Networked Group Communication
26 LNCS 1735/1999 Incremental Speech Translation
27 LNCS 1734/1999 SCI: Scalable Coherent Interface
28 LNCS 1733/1999 Approaches to Intelligence Agents
29 LNCS 1732/1999 Computing in Object-Oriented Parallel Environments
30 LNCS 1731/1999 Graph Drawing
31 LNCS 1730/1999 Logic Programming and Nonmonotonic Reasoning
32 LNCS 1729/1999 Information Security
33 LNCS 1728/1999 Conceptual Modeling — ER ’99
34 LNCS 1727/1999 Advances in Conceptual Modeling
35 LNCS 1726/1999 Information and Communication Security
36 LNCS 1725/1999 SOFSEM’99: Theory and Practice of Informatics
37 LNCS 1724/1999 Sensor Based Intelligent Robots
38 LNCS 1723/1999 «UML»’99 — The Unified Modeling Language
39 LNCS 1722/1999 Functional and Logic Programming
40 LNCS 1721/1999 Discovery Science
41 LNCS 1720/1999 Algorithmic Learning Theory
42 LNCS 1719/1999 Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
43 LNCS 1718/1999 Interactive Distributed Multimedia Systems and Telecommunication Services
44 LNCS 1717/1999 Cryptographic Hardware and Embedded Systems
45 LNCS 1716/1999 Advances in Cryptology - ASIACRYPT’99
46 LNCS 1715/1999 Machine Learning and Data Mining in Pattern Recognition
47 LNCS 1714/1999 Information Extraction
48 LNCS 1713/1999 Principles and Practice of Constraint Programming – CP’9949 LNCS 1712/1999 A Tight, Practical Integration of Relations and Functions
50 LNCS 1711/1999 New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
51 LNCS 1710/1999 Correct System Design
52 LNCS 1709/1999 FM’99 — Formal Methods

（別紙1）タイトルリスト
53 LNCS 1708/1999 FM’99 — Formal Methods
54 LNCS 1707/1999 Handheld and Ubiquitous Computing
55 LNCS 1706/1999 Partial Evaluation
56 LNCS 1705/1999 Logic for Programming and Automated Reasoning
57 LNCS 1704/1999 Principles of Data Mining and Knowledge Discovery
58 LNCS 1703/1999 Correct Hardware Design and Verification Methods
59 LNCS 1702/1999 Principles and Practice of Declarative Programming
60 LNCS 1701/1999 KI-99: Advances in Artificial Intelligence
61 LNCS 1700/1999 Active Technologies for Network and Service Management
62 LNCS 1699/1999 Intelligent Agents for Telecommunication Applications
63 LNCS 1698/1999 Computer Safety, Reliability and Security
64 LNCS 1697/1999 Recent Advances in Parallel Virtual Machine and Message Passing Interface
65 LNCS 1696/1999 Research and Advanced Technology for Digital Libraries
66 LNCS 1695/1999 Progress in Artificial Intelligence
67 LNCS 1694/1999 Static Analysis
68 LNCS 1693/1999 Distributed Computing
69 LNCS 1692/1999 Text, Speech and Dialogue70 LNCS 1691/1999 Advances in Databases and Information Systems
71 LNCS 1690/1999 Theorem Proving in Higher Order Logics
72 LNCS 1689/1999 Computer Analysis of Images and Patterns
73 LNCS 1688/1999 Modeling and Using Context
74 LNCS 1687/1999 Software Engineering — ESEC/FSE ’99
75 LNCS 1686/1999 Internet Programming Languages
76 LNCS 1685/1999 Euro-Par’99 Parallel Processing
77 LNCS 1684/1999 Fundamentals of Computation Theory
78 LNCS 1683/1999 Computer Science Logic
79 LNCS 1682/1999 Scale-Space Theories in Computer Vision
80 LNCS 1681/1999 Shape, Contour and Grouping in Computer Vision
81 LNCS 1680/1999 Theoretical and Practical Aspects of SPIN Model Checking
82 LNCS 1679/1999 Medical Image Computing and Computer-Assisted Intervention – MICCAI’99
83 LNCS 1678/1999 Spatio-Temporal Database Management
84 LNCS 1677/1999 Database and Expert Systems Applications
85 LNCS 1676/1999 DataWarehousing and Knowledge Discovery
86 LNCS 1675/1999 System Configuration Management
87 LNCS 1674/1999 Advances in Artificial Life
88 LNCS 1673/1999 Field Programmable Logic and Applications
89 LNCS 1672/1999 Mathematical Foundations of Computer Science 1999
LNCS 1671/1999 Randomization, Approximation, and Combinatorial Optimization. Algorithms
90 and Techniques
91 LNCS 1670/1999 Cooperative Buildings. Integrating Information, Organizations, and Architecture
92 LNCS 1669/1999 Automated Deduction in Geometry
93 LNCS 1668/1999 Algorithm Engineering
94 LNCS 1667/1999 Dependable Computing — EDCC-3
95 LNCS 1666/1999 Advances in Cryptology — CRYPTO’ 99
96 LNCS 1665/1999 Graph-Theoretic Concepts in Computer Science
97 LNCS 1664/1999 CONCUR’99 Concurrency Theory
98 LNCS 1663/1999 Algorithms and Data Structures
99 LNCS 1662/1999 Parallel Computing Technologies
LNCS 1661/1999 Spatial Information Theory. Cognitive and Computational Foundations of
100 Geographic Information Science
101 LNCS 1660/1999 Automata Implementation
102 LNCS 1659/1999 Job Scheduling Strategies for Parallel Processing
103 LNCS 1658/2000 Mobile Agents: Control Algorithms

（別紙1）タイトルリスト
104 LNCS 1657/1999 Types for Proofs and Programs
105 LNCS 1656/1999 Languages and Compilers for Parallel Computing
106 LNCS 1655/1999 Document Analysis Systems: Theory and Practice
107 LNCS 1654/1999 Energy Minimization Methods in Computer Vision and Pattern Recognition
108 LNCS 1653/1999 Active Networks
109 LNCS 1652/1999 Cooperative Information Agents III
110 LNCS 1651/1999 Advances in Spatial Databases
111 LNCS 1650/1999 Case-Based Reasoning Research and Development
112 LNCS 1649/1999 Next Generation Information Technologies and Systems
113 LNCS 1648/1999 Financial Cryptography
114 LNCS 1647/1999 Multi-Agent System Engineering
115 LNCS 1646/1999 Models and Tools for Managing Development Processes
116 LNCS 1645/1999 Combinatorial Pattern Matching
117 LNCS 1644/1999 Automata, Languages and Programming
118 LNCS 1643/1999 Algorithms - ESA’ 99
119 LNCS 1642/1999 Advances in Intelligent Data Analysis
120 LNCS 1641/1999 Applied Formal Methods — FM-Trends 98
121 LNCS 1640/1999 Conceptual Structures: Standards and Practices
122 LNCS 1639/1999 Application and Theory of Petri Nets 1999
123 LNCS 1638/1999 Symbolic and Quantitative Approaches to Reasoning and Uncertainty
124 LNCS 1637/1999 Integer Optimization by Local Search
125 LNCS 1636/1999 Fast Software Encryption
126 LNCS 1635/1999 Artificial Animals for Computer Animation
127 LNCS 1634/1999 Inductive Logic Programming
128 LNCS 1633/1999 Computer Aided Verification
129 LNCS 1632/1999 Automated Deduction — CADE-16
130 LNCS 1631/1999 Rewriting Techniques and Applications
131 LNCS 1630/1999 Agent-Oriented Programming
132 LNCS 1629/1999 Multimedia Applications, Services and Techniques — ECMAST’99
133 LNCS 1628/1999 ECOOP’ 99 — Object-Oriented Programming
134 LNCS 1627/1999 Computing and Combinatorics
135 LNCS 1626/1999 Advanced Information Systems Engineering
136 LNCS 1625/1999 Computational Intelligence
137 LNCS 1624/1999 Collaboration between Human and Artificial Societies
138 LNCS 1623/1999 Focusing Solutions for Data Mining
139 LNCS 1622/1999 Reliable Software Technologies — Ada-Europe’ 99
140 LNCS 1621/1999 Knowledge Acquisition, Modeling and Management
141 LNCS 1620/1999 Artificial Intelligence in Medicine
142 LNCS 1619/1999 Algorithm Engineering and Experimentation
143 LNCS 1618/1999 The Unified Modeling Language. «UML»’98: Beyond the Notation
144 LNCS 1617/1999 Automated Reasoning with Analytic Tableaux and Related Methods
145 LNCS 1616/1999 Meta-Level Architectures and Reflection
146 LNCS 1615/1999 High Performance Computing
147 LNCS 1614/1999 Visual Information and Information Systems
148 LNCS 1613/1999 Information Processing in Medical Imaging
149 LNCS 1612/2003 Developing Industrial Case-Based Reasoning Applications
150 LNCS 1611/1999 Multiple Approaches to Intelligent Systems
151 LNCS 1610/1999 Integer Programming and Combinatorial Optimization
152 LNCS 1609/1999 Foundations of Intelligent Systems
153 LNCS 1608/1999 Advanced Functional Programming
154 LNCS 1607/1999 Engineering Applications of Bio-Inspired Artificial Neural Networks
155 LNCS 1606/1999 Foundations and Tools for Neural Modeling
156 LNCS 1605/1999 Application of Petri Nets to Communication Networks
157 LNCS 1604/1999 RoboCup-98: Robot Soccer World Cup II（別紙1）タイトルリスト
158 LNCS 1603/1999 Secure Internet Programming
LNCS 1602/1999 Network-Based Parallel Computing. Communication, Architecture, and159 Applications
160 LNCS 1601/1999 Formal Methods for Real-Time and Probabilistic Systems
161 LNCS 1600/1999 Artificial Intelligence Today
162 LNCS 1599/1999 Multiagent Platforms
163 LNCS 1598/1999 Genetic Programming
LNCS 1597/1999 Intelligence in Services and Networks Paving the Way for an Open Service
164 Market
165 LNCS 1596/1999 Evolutionary Image Analysis, Signal Processing and Telecommunications
166 LNCS 1595/1999 Implementation of Functional Languages
167 LNCS 1594/1999 Coordinatio Languages and Models
168 LNCS 1593/1999 High-Performance Computing and Networking
169 LNCS 1592/1999 Advances in Cryptology — EUROCRYPT ’99
170 LNCS 1591/1999 PREMO: A Framework for Multimedia Middleware
171 LNCS 1590/1999 The World Wide Web and Databases
172 LNCS 1589/1999 Recent Trends in Algebraic Development Techniques
173 LNCS 1587/1999 Information Security and Privacy
174 LNCS 1586/1999 Parallel and Distributed Processing
175 LNCS 1585/1999 Simulated Evolution and Learning
176 LNCS 1584/1999 Computer Science Logic
177 LNCS 1583/1999 View Synthesis Using Stereo Vision
178 LNCS 1582/1999 Logical Aspects of Computational Linguistics
179 LNCS 1581/1999 Typed Lambda Calculi and Applications
180 LNCS 1580/1999 Interoperating Geographic Information Systems
181 LNCS 1579/1999 Tools and Algorithms for the Construction and Analysis of Systems
182 LNCS 1578/1999 Foundations of Software Science and Computation Structures
183 LNCS 1577/1999 Fundamental Approaches to Software Engineering
184 LNCS 1576/1999 Programming Languages and Systems
185 LNCS 1575/1999 Compiler Construction
186 LNCS 1574/1999 Methodologies for Knowledge Discovery and Data Mining
187 LNCS 1573/1999 Vector and Parallel Processing – VECPAR’98
188 LNCS 1572/1999 Computational Learning Theory
189 LNCS 1571/1999 Agent Mediated Electronic Commerce
190 LNCS 1570/1999 XPS-99: Knowledge-Based Systems. Survey and Future Directions
191 LNCS 1569/1999 Hybrid Systems: Computation and Control
192 LNCS 1568/1999 Discrete Geometry for Computer Imagery
193 LNCS 1567/1999 Hybrid Systems V
194 LNCS 1566/1999 Fuzzy Logic in Artificial Intelligence
195 LNCS 1565/1999 Conceptual Modeling
196 LNCS 1564/1999 Interactive Multimedia Documents
197 LNCS 1563/1999 STACS 99
198 LNCS 1562/1999 Computation for Metaphors, Analogy, and Agents
199 LNCS 1561/1999 Lectures on Data Security
200 LNCS 1560/1999 Public Key Cryptography
201 LNCS 1559/1999 Logic-Based Program Synthesis and Transformation
202 LNCS 1558/1999 Computers and Games
203 LNCS 1557/1999 Parallel Computation
204 LNCS 1556/1999 Selected Areas in Cryptography
205 LNCS 1555/1999 Intelligent Agents V: Agents Theories, Architectures, and Languages
206 LNCS 1554/1999 Advanced Multimedia Content Processing
207 LNCS 1553/1998 Active, Real-Time, and Temporal Database Systems
208 LNCS 1552/1999 Advances in Database Technologies
209 LNCS 1551/1998 Practical Aspects of Declarative Languages

（別紙1）タイトルリスト
210 LNCS 1550/1999 Security Protocols
211 LNCS 1549/1999 Compiling Natural Semantics
212 LNCS 1548/1999 Algebraic Methodology and Software Technology
213 LNCS 1547/1998 Graph Drawing
214 LNCS 1546/1998 Prospects for Hardware Foundations
215 LNCS 1545/1998 Learning Robots
216 LNCS 1544/1998 Multi-Agent Systems. Theories, Languages and Applications
217 LNCS 1543/1998 Object-Oriented Technology: ECOOP’98 Workshop Reader
218 LNCS 1542/1999 Computer Vision Systems
219 LNCS 1541/1998 Applied Parallel Computing Large Scale Scientific and Industrial Problems
220 LNCS 1540/1999 Database Theory — ICDT’99
221 LNCS 1539/1998 Interacting Code Motion Transformations: Their Impact and Their Complexity
222 LNCS 1538/1998 Advances in Computing Science ASIAN 98
223 LNCS 1537/1998 Modelling and Motion Capture Techniques for Virtual Environments
224 LNCS 1536/1998 Compositionality: The Significant Difference
225 LNCS 1535/1999 Co-ordination in Artificial Agent Societies
226 LNCS 1534/1998 Multi-Agent Systems and Agent-Based Simulation
227 LNCS 1533/1998 Algorithms and Computation
228 LNCS 1532/1998 Discovey Science
229 LNCS 1531/1998 PRICAI’98: Topics in Artificial Intelligence
230 LNCS 1530/1998 Foundations of Software Technology and Theoretical Computer Science
231 LNCS 1529/1998 Machine Translation and the Information Soup
232 LNCS 1528/1998 State of the Art in Applied Cryptography
233 LNCS 1527/1998 Theory Reasoning in Connection Calculi
234 LNCS 1526/1998 Requirements Targeting Software and Systems Engineering
235 LNCS 1525/1998 Information Hiding
236 LNCS 1524/1998 Neural Networks: Tricks of the Trade
237 LNCS 1523/1999 Formal Syntax and Semantics of Java
238 LNCS 1522/1998 Formal Methods in Computer-Aided Design
239 LNCS 1521/1998 SOFSEM’ 98: Theory and Practice of Informatics
240 LNCS 1520/1998 Principles and Practice of Constraint Programming — CP98
241 LNCS 1519/1998 Community Computing and Support Systems
242 LNCS 1518/1998 Randomization and Approximation Techniques in Computer Science
243 LNCS 1517/1998 Graph-Theoretic Concepts in Computer Science
244 LNCS 1516/1998 Computer Safety, Reliability and Security
245 LNCS 1515/1998 Advances in Artificial Intelligence
246 LNCS 1514/1998 Advances in Cryptology — ASIACRYPT’98
247 LNCS 1513/1998 Research and Advanced Technology for Digital Libraries
248 LNCS 1512/1998 Types for Proofs and Programs
249 LNCS 1511/1998 Languages, Compilers, and Run-Time Systems for Scalable Computers
250 LNCS 1510/1998 Principles of Data Mining and Knowledge Discovery
251 LNCS 1509/1999 Quantum Computing and Quantum Communications
252 LNCS 1508/1998 Advances in Multimedia Information Systems
253 LNCS 1507/1998 Conceptual Modeling – ER ’98
254 LNCS 1506/1998 3D Structure from Multiple Images of Large-Scale Environments
255 LNCS 1505/1998 Computing in Object-Oriented Parallel Environments
256 LNCS 1504/1998 KI-98: Advances in Artificial Intelligence
257 LNCS 1503/1998 Static Analysis
258 LNCS 1502/1998 Advanced Topics in Artificial Intelligence
259 LNCS 1501/1998 Algorithmic Learning Theory