Other titles in the Lecture Notes in Computer Science series:

1. Advances in Machine Vision
2. Astrophysics: A Primer
3. Computational Aerodynamics and Fluid Dynamics
4. Computer Vision: Craft, Engineering, and Science: Workshop Proceedings, Killarney, Ireland, September 9/10, 1991
5. Conservation of Wood Artifacts: a Handbook
6. Development of Prime Number Theory: From Euclid to Hardy and Littlewood
7. Digital Cities: Technologies, Experiences, and Future Perspectives
8. Evolvable Systems: From Biology to Hardware
9. Fst Tcs 2000: Foundations of Software Technology and Theoretical Science
10. Fundamentals of Computational Fluid Dynamics
11. Institutional Economics in France and Germany: German Ordoliberalism Versus the French Regulation School
12. Comparative Genomics: Recomb 2006 International Workshop, Recomb-CG 2006 Montreal, Canada, September 24-26, 2006 Proceedings
13. Modern Astrometry
14. Neuronal Death by Accident or by Design
15. Nonmonotonic Logic
16. Politics and institutions in an integrated Europe
17. Public Key Cryptography 2ND Edition
18. Semiconductor Quantum Dots
19. Spatial Hysteresis and Optical Patterns
20. Stability Theory of Dynamical Systems
21. Successful Management by Motivation
22. Topology
23. Xylem Structure and the Ascent of SAP
1. GI - 3. Jahrestagung
1. Principles of Magnetic Resonance
2. 1. Fachtagung Ber Automatentheorie Und Formale Sprachen
3. Fifth Conference on Optimization Techniques. Rome 1973
3. Foliations on Surfaces
4. Fifth Conference on Optimization Techniques. Rome 1973
5. International Symposium on Theoretical Programming
5. Marine Chemistry
6. Matrix Eigensystem Routines - Eispack Guide
7. GI - 3. Fachtagung Ber Programmiersprachen
7. Tropospheric Modelling and Emission Estimation
10. Computing Methods in Applied Sciences and Engineering. International Symposium, Versailles, December 17-21, 1973
10. Contemporary Combinatorics
11. Computing Methods in Applied Sciences and Engineering. International Symposium, Versailles, December 17-21,1973
12. Fachtagung Prozessrechner 1974
13. Rechnerstrukturen Und Betriebsprogrammierung
14. Automata, Languages and Programming
15. L Systems
17. Rechner-Gesttzter Unterricht
18. Scientific Computing in Electrical Engineering: Proceedings of the 3rd International Workshop, August 20-23, 2000, Warnemunde, Germany
19. Programming Symposium
20. Simple Program Schemes and Formal Languages
22. Formal Aspects of Cognitive Processes
22. Chaotic and Stochastic Behaviour in Automatic Production Lines
23. Numerical Solution of Stochastic Differential Equations
23. Programming Methodology
24. Parallel Processing
25. Category Theory Applied to Computation and Control
26. GI - 4. Jahrestagung
27. Somatic Hybridization in Crop Improvement I
27. Optimization Techniques
28. Mathematical Foundations of Computer Science 1974
29. Interval Mathematics
29. Principles of Computational Fluid Dynamics
30. Lecture Notes in Computer Science #30-3: Somatic Embryogenesis and Synthetic Seed I
31. Analysis of Drum and Disk Storage Units
32. Mathematical Foundations of Computer Science 1975
33. Automata Theory and Formal Languages
34. GI - 5. Jahrestagung
34. Laser Physics At Relativistic Intensities
35. Exercises in Computer Systems Analysis
36. Theory of Program Structures: Schemes, Semantics, Verification
38. An Optimized Translation Process and Its Application to ALGOL 68
38. Mechanisms of Organ Dysfunction in Critical Illness
39. Data Base Systems
40. High-Tech & Micropropagation, Vol. VI
42. Complementary Definitions of Programming Language Semantics
43. Komplexitt Von Entscheidungsproblemen
44. Eci Conference 1976
45. Mathematical Foundations of Computer Science 1976
46. Language Hierarchies and Interfaces
47. Methods of Algorithmic Language Implementation
48. Theoretical Computer Science
49. Interactive Systems
50. A Concurrent Pascal Compiler for Minicomputers
51. Matrix Eigensystem Routines - Eispack Guide Extension
52. Automata, Languages and Programming
53. Mathematical Foundations of Computer Science 1977
54. Design and Implementation of Programming Languages
55. Mes Premieres Constructions de Programmes
56. Fundamentals of Computation Theory: Proceedings of the 1977 International Fct-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977
57. Portability of Numerical Software
58. Computing in Systems Described by Equations
59. A Comparative Study of Very Large Data Bases
61. The Vienna Development Method: The Meta-Language
62. Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings
62. Connectivity and Superconductivity
64. Mathematical Foundations of Computer Science 1978: 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings
65. Information Systems Methodology: Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, October 10-12, 1978
66. Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languaues
67. Theoretical Computer Science
68. First-Order Dynamic Logic
69. Laser Strophometry High Resolution Techn
69. Program Construction: International Summer School
70. Geometry IV: Nonregular Riemannian Geometry
70. Semantics of Concurrent Computation
71. Automata, Languages, and Programming
71. Introductory Mems: Fabrication and Applications
72. Symbolic and Algebraic Computation
73. Graph-Grammars and Their Application to Computer Science and Biology: International Workshop, Bad Honnef, October 30 - November 3, 1978
74. Mathematical Foundations of Computer Science 1979
75. Mathematical Studies of Information Processing
76. Drag Reduction Technologies: Proceedings of the Ceas/Dragnet European Drag Reduction Conference, 19-21 June 2000, Potsdam, Germany
76. Codes for Boundary-Value Problems in Ordinary Differential Equations
76. Multimedia Interface Design in Education
77. Architecture of Distributed Computer Systems
78. Edinburgh Lcf
79. Language Design and Programming Methodology
80. Pictorial Information Systems
81. Data Base Techniques for Pictorial Application
82. A Relational Theory of Computing
82. Optical Properties of Nanostructured Random Media
83. International Symposium on Programming: Proceedings of the Fourth "Colloque International Sur La Programmation" Paris, 22-24 April 1980
84. Net Theory and Applications
85. Automata, Languages and Programming
86. Abstract Software Specifications
87. 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980
88. Mathematical Foundations of Computer Science 1980
89. Computer Aided Design Modelling, Systems Engineering, CAD-Systems: Crest Advanced Course, Darmstadt, 8. - 19. September 1980
90. Using Sophisticated Models in Resolution Theorem Proving
91. Grammar and L Forms
92. A Calculus of Communication Systems
93. Context-Free Grammars: Covers, Normal Forms, and Parsing
94. Semantics-Directed Compiler Generation
95. Coroutines: A Programming Methodology, a Language Design and an Implementation
96. Computer Programs for Spelling Correction
97. Mathematical Structures of Epidemic Systems
97. Reliability Evaluation of Some Fault-Tolerant Computer Architectures
98. Towards a Formal Description of ADA
99. Algebraic Semantics
100. Graphtheoretic Concepts in Computer Science
101. Boolean Calculus of Differences
102. On the Integration of Algebraic Functions
103. Directions in Human Factors for Interact
104. Theoretical Computer Science
106. The Programming Language ADA
107. Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings
108. Graph Theory and Algorithms: 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 198
109. Digital Image Processing Systems
109. Advanced Educational Technology in Technology Education
110. The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs
111. Conpar 81
112. Caap '81: Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings
113. Stochastic Automata: Stability, Nondeterminism and Prediction
114. Clu: Reference Manual
115. Automata, Languages and Programming
116. The Concurrency Control Problem for Database Systems
117. Fundamentals of Computation Theory
118. Mathematical Foundations of Computer Science 1981
118. Program Design Calculi
119. Anaphora in Natural Language Understanding
120. Automatic Differentiation
121. Y12m Solution of Large and Sparse Systems of Linear Algebraic Equations
122. IV Hotine-Marussi Symposium on Mathematical Geodesy: Trento, Italy, September 14-17, 1998
122. Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek Ssr September 16-22, 1979
123. Trends in Information Processing Systems
124. Compiler Specification and Verification
125. Logic of Programs
127. Alternating Sequential-Parallel Processing
128. An Analytical Description of Chill, the Ccitt High Level Language
129. Verifying Concurrent Processes Using Temporal Logic
130. Axiomatising the Logic of Computer Programming
131. Logics of Programs
132. Data Base Design Techniques I
133. Collaborative Dialogue Technologies in Distance Learning
133. Data Base Design Techniques II
134. Program Specification
135. Introduction To the PL CV2 Programming Logic
136. Group-Theoretic Algorithms and Graph Isomorphism
137. International Symposium on Programming
139. An Attribute Grammar for the Semantic Analysis of ADA
141. Gag: A Practical Compiler Generator
142. Die Thematischen Berichterstatter Und Arbeitsgruppen Der Un-Menschenrechtskommission
142. Problems and Methodologies in Mathematical Software Production
143. Operating Systems Engineering
144. Computer Algebra: Eurocam '82, European Computer Algebra Conference, Marseilles, France, April 5-7, 1982
145. Theoretical Computer Science
146. Research and Development in Information Retrieval
147. Rims Symposium on Software Science and Engineering
148. Logics of Programs and Their Applications
149. Cryptography
151. Conlan Report
152. Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings
156. The Design of Dynamic Data Structures
157. Direct Methods for Sparse Matrices
158. Foundations of Computation Theory
159. Caap '83: Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings
160. Carbohydrate Expression in the Intestinal Mucosa
160. The Iota Programming System: A Modular Programming Environment
161. Diana. an Intermediate Language for ADA
162. Computer Algebra
163. VLSI Engineering
164. Logics of Programs
165. Large Sparse Numerical Optimization
166. Stacs 84
167. International Symposium on Programming
169. Feedback Shift Registers
171. Logic and Machines: Decision Problems and Complexity
172. Automata, Languages, and Programming
173. Semantics of Data Types
174. Eurosam 84: International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
174. Superconductor/Semiconductor Junctions
175. P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms
176. Mathematical Foundations of Computer Science 1984
177. Programming Languages and Their Definition
178. Readings on Cognitive Ergonomics, Mind and Computers
179. How to Multiply Matrices Faster
180. ADA Software Tools Interfaces: Workshop, Bath, July 13-15, 1983. Proceedings
181. Foundations of Software Technology and Theoretical Computer Science
182. Stacs 85
183. The Munich Project Cip
184. Local Area Networks: An Advanced Course: Glasgow, July 11-22, 1983. Proceedings
185. Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Ta
186. Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), B
187. Time Series Package (Tspack)
188. Advances in Petri Nets 1984
189. Paragon
190. Distributed Systems
191. A Survey of Verification Techniques for Parallel Programs
191. Electronic & Vibronic Spectra of Transition Metal Complexes II, Volume 191
192. Automata on Infinite Words: Ecole de Printemps D'Informatique Theorique, Le Mont Dore, May 14-18, 1984
193. Logics of Programs
194. Automata, Languages and Programming
195. A Hierarchical Associative Processing System
196. Advances in Cryptology
197. Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, Pa, July 9-11, 1984
198. Portal Language Description
199. Fundamentals of Computation Theory
200. Trace Theory and VLSI Design
201. Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985
202. Rewriting Techniques and Applications
203. Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
204. Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 2: Research Contributions
205. A Study in String Processing Languages
206. Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings
207. The Analysis of Concurrent Systems
208. Computation Theory: Fifth Symposium, Zaborow, Poland, December 3-8, 1984 Proceedings
209. Advances in Cryptology
210. Stacs 86
211. Complexity and Structure
212. Interval Mathematics 1985
213. ESOP 86: European Symposium on Programming, Saarbr]cken, Federal Republic of Germany, March 17-19, 1986. Proceedings
214. Caap'86: 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings
215. Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, Gdr, April
216. Lucas: Associative Array Processor: Design, Programming and Application Studies
217. Programs as Data Objects
218. Advances in Cryptology
219. Advances in Cryptology - Eurocrypt '85
220. RIMS Symposia on Software Science and Engineering II
221. Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
222. Advances in Petri Nets 1985
223. Structure in Complexity Theory
224. Current Trends in Concurrency: Overviews and Tutorials
225. Third International Conference on Logic Programming
226. Automata, Languages and Programming
227. VLSI Algorithms and Architectures: Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings
228. Applied Algebra, Algorithmics and Error-Correcting Codes
229. Algebraic Algorithms and Error-Correcting Codes
230. 8th International Conference on Automated Deduction
231. Newcat: Parsing Natural Language Using Left-Associative Grammar
232. Fundamentals of Artificial Intelligence
233. Mathematical Foundations of Computer Science 1986
234. Concepts in User Interfaces: A Reference Model for Command and Response Languages
235. Accurate Scientific Computations: Symposium, Bad Neuenahr, FRG, March 12-14, 1985 Proceedings
236. Tex for Scientific Documentation
237. Conpar 86: Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17 - 19, 1986. Proceedings
238. Negation and Control in PROLOG
239. Mathematical Foundation of Programming Semantics
240. Category Theory and Computer Programming
240. Evualation of Cross-Language Information Retrieval Systems: Second Workshop of the Cross-Language Evaluation Forum, Clef 2001, Darmstadt, Germany, Sep
241. Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings
242. Combinators and Functional Programming Languages
243. Icdt'86: International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings
244. Advanced Programming Environments
245. Lectures on the Complexity of Bilinear Problems
247. Stacs 87
248. Networking in Open Systems
249. Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
250. Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
251. Unobstructed Shortest Paths in Polyhedral Environments
252. VDM '87. VDM - A Formal Method at Work
253. The Mechanisms of Neuronal Damage in Virus Infections of the Nervous System
253. Wopplot 86 Parallel Processing: Logic, Organization, and Technology: Proceedings of a Workshop Neubiberg, Federal Republic of Germany, July 2-4, 1986
255. Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
256. Rewriting Techniques and Applications
257. Database Machine Performance: Modeling Methodologies and Evaluation Strategies
258. Parle Parallel Architectures and Languages Europe
259. Parle Parallel Architectures and Languages Europe
260. Anna a Language for Annotating ADA Programs: Reference Manual
261. Translating Relational Queries Into Iterative Programs
262. A Review of ADA Tasking
263. Advances in Cryptology - Crypto '86
264. Logic Programming '86
265. Analogical and Inductive Inference: International Workshop Aii'86 Wendisch-Rietz, Gdr, October 6-10, 1986, Proceedings
266. Advances in Petri Nets 1987
267. Automata, Languages and Programming
269. Parallel Algorithms and Architectures
270. Computation Theory and Logic
271. From Logic Design to Logic Programming
272. Future Parallel Computers
273. A Connotational Theory of Program Structure
274. Functional Programming Languages and Computer Architecture
275. System Development and ADA: Crai Workshop on Software Factories and ADA, Capri, Italy, May 26-30, 1986, Proceedings
276. Ecoop '87. European Conference on Object-Oriented Programming
277. Hankel Norm Approximation for Infinite-Dimensional Systems
277. Systems of Reductions
278. H [Infinity] Control and Filtering of Two-Dimensional Systems
278. Fundamentals of Computation Theory: International Conference Fct '87 Kazan, USSR, June 22-26, 1987. Proceedings
279. Graph Reduction: Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986
280. Mathematical Models for the Semantics of Parallelism
281. Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, O
282. Visualization in Programming
283. Category Theory and Computer Science
284. Embedded Systems: New Approaches to Their Formal Description and Design. an Advanced Course, Zurich, Switzerland, March 5-7, 1986
285. Semantics of Digital Circuits
286. Uncertainty in Knowledge-Based Systems
287. Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Proceedings
288. Metasoft Primer
289. Esec '87
290. Co-Op
291. Graph-Grammars and Their Application to Computer Science
292. Sheaves on Manifolds
292. The Munich Project Cip: Volume II: The Programme Transformation System Cip-S
293. Continuous Martingales and Brownian Motion
294. Stacs 88
295. Parallel Computing in Science & Engineering
296. Trends in Computer Algebra
298. Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987. Proceedings
299. Caap '88
300. ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
301. Pattern Recognition: 4th International Conference Cambridge, UK, March 28-30, 1988; Proceedings
302. Attribute Grammar Inversion and Source-To-Source Translation
303. Advances in Database Technology - Edbt '88
304. Advances in Cryptology - Eurocrypt '87
305. Mfdbs 87: 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, Gdr, January 19-23, 1987. Proceedings
306. Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings
307. Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra: 4th International Conference, Aaecc-4, Karlsruhe, Frg, September 23-26
308. Conditional Term Rewriting Systems
309. Experiences with Distributed Systems
310. Calculus of Variations, Vol. 1
310. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings
311. Coding Theory and Applications
312. Distributed Algorithms
313. Uncertainty and Intelligent Systems: 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge Based Systems I
314. Graph-Theoretic Concepts in Computer Science: International Workshop Wg '87, Kloster Banz/Staffelstein, Frg, June 29 - July 1, 1987. Proceedings
315. Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
316. Automata Networks: Litp Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings
317. Automata Languages & Programming
318. Swat '88: 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings
320. Natural Language at the Computer
321. Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship
322. Ecoop '88 European Conference on Object-Oriented Programming
323. Attribute Grammars: Definitions, Systems and Bibliography
324. Mathematical Foundations of Computer Science 1988: 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings
326. Icdt '88: 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings
328. VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
329. CSL '87
331. Formal Techniques in Real-Time and Fault-Tolerant Systems
332. Recent Trends in Data Type Specification
333. Computational Geometry and Its Applications
334. Advances in Object-Oriented Database Systems: 2nd International Workshop on Object-Oriented Database Systems, Bad M??nster Am Stein-Ebernburg, Frg, Se
335. Concurrency 88
337. Efficient Structures for Geometric Data Management
338. Foundations of Software Technology and Theoretical Computer Science
339. Statistical and Scientific Database Management
340. Advances in Petri Nets 1988
341. Software Reliability Modelling and Identification
342. Proceedings / Parcella 1988
343. Algebraic and Logic Programming
344. Graph-Theoretic Concepts in Computer Science
346. Non-Monotonic Reasoning
347. Knowledge Representation and Organization in Machine Learning
348. Programming Languages Implementation and Logic Programming
349. Stacs 89
350. Global Optimization
351. Tapsoft '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
352. Tapsoft '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
353. Foundations of Equational Logic Programming
354. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
355. Rewriting Techniques and Applications
356. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
357. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
358. Symbolic & Algebraic Computation
359. High Performance Transaction Systems
361. Nested Relations and Complex Objects in Databases
362. Synthesizing Synchronous Systems by Static Scheduling in Space-Time
363. Logic at Botik '89
364. Mfdbs 89
365. Parle '89 - Parallel Architectures and Languages Europe: Volume I: Parallel Architectures, Eindhoven, the Netherlands, June 12-16, 1989; Proceedings
366. Parle '89 - Parallel Architectures and Languages Europe
367. Foundations of Data Organization and Algorithms
368. Database Machines
369. Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets
370. Modified Branching Programs and Their Computational Power
371. Compiler Compilers and High Speed Compilation
372. Automata, Languages and Programming
373. Algorithms for Parallel Polygon Rendering
375. Mathematics of Program Construction: 375th Anniversary of the Groningen University. International Conference, Groningen, the Netherlands, June 26-30,
376. Software Engineering Education
377. Electronic Dictionaries and Automata in Computational Linguistics
378. Eurocal '87: European Conference on Computer Algebra, Leipzig, Gdr, June 2-5, 1987. Proceedings
379. Mathematical Foundations of Computer Science 1989
380. Fundamentals of Computation Theory
381. Machines Languages & Complexity
382. Algorithms and Data Structures: Workshop Wads '89, Ottawa, Canada, August 17-19, 1989. Proceedings
384. Parallel Computing 1988
385. CSL'88
386. Formal Properties of Finite Automata and Applications
387. Esec '89
388. Coding Theory and Applications
389. Category Theory and Computer Science
391. Geometry and Robotics: Workshop, Toulouse, France, May 26-28, 1988. Proceedings
392. Distributed Algorithms
393. Categorical Methods in Computer Science
394. Algebraic Methods: Theory, Tools and Applications
395. Computational Aspects of an Order-Sorted Logic with Term Declarations
396. Local Area Network Security
398. Temporal Logic in Specification
399. Recent Issues in Pattern Analysis and Recognition
400. Concrete and Abstract Voronoi Diagrams
401. Optimal Algorithms
402. Interactive Relational Database Design
404. Concepts, Design, and Performance Analysis of a Parallel PROLOG Machine
404. Theorie Du Potentiel Et Analyse Harmonique
405. Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings
407. Automatic Verification Methods for Finite State Systems
409. Design and Implementation of Large Spatial Databases
410. Computer Aided Systems Theory - Eurocast '89: A Selection of Papers from the International Workshop Eurocast '89, Las Palmas, Spain, February 26 - Mar
411. Graph-Theoretic Concepts in Computer Science: 15th International Workshop Wg '89, Castle Rolduc, the Netherlands, June 14-16, 1989, Proceedings
412. Neural Networks
413. Group Theoretical Methods in Image Processing
414. Loglan '88 - Report on the Programming Language
415. Stacs 90
416. Advances in Database Technology - Edbt '90
417. Colog-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
420. Statistical and Scientific Database Management: Fifth International Conference, V Ssdbm, Charlotte, N.C., USA, April 3-5, 1990, Proceedings
421. A Formal Model of Visualization in Computer Graphics Systems
422. Reasoning and Revision in Hybrid Representation Systems
424. Advances in Petri Nets 1989
427. Computer Vision - Eccv 90: First European Conference on Computer Vision. Antibes, France, April 23-27, 1990. Proceedings
428. VDM '90. VDM and Z - Formal Methods in Software Development
429. Design and Implementation of Symbolic Computation Systems
430. Stepwise Refinement of Distributed Systems
431. Caap '90
432. Advances in Solar Physics: Proceedings of the Seventh European Meeting on Solar Physics Held in Catania, Italy, 11 - 15 May 1993
432. ESOP '90
434. Advances in Cryptology - Eurocrypt '89
436. Advanced Information Systems Engineering
437. Current Trends in Sneps - Semantic Network Processing System
438. Computer Assisted Learning
439. Visualization in Human-Computer Interaction
440. CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings
441. Parallel LISP: Languages and Systems
443. Automata, Languages and Programming: 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings
447. Swat '90: 2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings
448. Fault-Tolerant Distributed Computing
450. Algorithms: International Symposium Sigal '90, Tokyo, Japan, August 16-18, 1990. Proceedings
452. Mathematical Foundations of Computer Science 1990
453. Advances in Cryptology - Auscrypt '90
454. Combinatorics on Traces
455. A Collection of Test Problems for Constrained Global Optimization Algorithms
456. Programming Language Implementation and Logic Programming
461. Attribute Grammars and Their Applications
463. Algebraic and Logic Programming
464. Aspects and Prospects of Theoretical Computer Science
466. Database Systems of the 90s
467. Software Engineering Environments
468. Advances in Computing and Information - ICCI '90
470. Icdt '90
471. Efficient Query Processing in Geographic Information Systems
472. Foundations of Software Technology and Theoretical Computer Science: Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
473. Advances in Cryptology - Eurocrypt '90
474. Information Systems and Artificial Intelligence: Integration Aspects
476. Natural Language Processing
477. Compiler Compilers
479. Meta-Level Control for Deductive Database Systems
480. Stacs 91
483. Advances in Petri Nets 1990
484. Graph-Theoretic Concepts in Computer Science
486. Distributed Algorithms
488. Rewriting Techniques and Applications
489. Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28 - June 1, 1990
492. Computer-Aided Cooperative Product Development
493. Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
494. Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
495. Mfdbs 91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991
496. Parallel Problem Solving from Nature
496. Unemployment in Open Economies: A Search Theoretic Analysis
497. Advances in Computing and Information - ICCI '91
499. ADA: The Choice for '92: ADA-Europe International Conference Athens, Greece, May 13-17, 1991
501. Algebraic System Specification and Development
501. Quantitative Models for Reverse Logistics
502. Baltic Computer Science
503. Economics with Heterogeneous Interacting Agents
503. Parallel Database Systems
504. Next Generation Information System Technology
505. Lecture Notes in Computer Science #505-: Parle '91. Parallel Architectures and Languages Europe
505. PARLE '91, Parallel Architectures and Languages Europe
508. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
510. Automata, Languages and Programming
511. Information Processing in Medical Imaging: 12th International Conference, Ipmi '91, Wye, UK, July 7-12, 1991. Proceedings
512. Ecoop '91 European Conference on Object-Oriented Programming
513. An Approach to Knowledge Base Management
514. Eurocode '90
516. Conditional and Typed Rewriting Systems
519. Algorithms and Data Structures
520. Mathematical Foundations of Computer Sci
521. Uncertainty in Knowledge Bases: 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Ipmu'
522. European Workshop on Planning: Ewsp'91, Sankt Augustin, Frg, March 18-19, 1991. Proceedings
523. Functional Programming Languages and Computer Architecture
524. Advances in Petri Nets 1991
525. Advances in Spatial Databases
526. Theoretical Aspects of Computer Software
527. Concur '91
527. Statistical Mechanics of Biocomplexity: Proceedings of the XV Sitges Conference, Held at Sitges, Barcelona, Spain, 8-12 June 1998
528. Programming Language Implementation and Logic Programming
529. Fundamentals of Computation Theory
530. Category Theory and Computer Science
531. Computer-Aided Verification
532. Graph Grammars and Their Application to Computer Science
533. Computer Science Logic
534. Recent Trends in Data Type Specification
535. Fundamentals of Artificial Intelligence Research
536. Software Engineering Education
537. Advances in Cryptology - Crypto '90
538. A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems
539. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
540. Artificial Neural Networks
541. Epia'91
544. Methods of Programming
546. Text Understanding in Lilog
548. Symbolic and Quantitative Approaches to Uncertainty
550. Esec '91
551. Lecture Notes in Computer Science #551-: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
551. Lecture Notes in Computer Science #551-: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
553. Computational Geometry - Methods, Algorithms and Applications
555. New Results and New Trends in Computer Science: Graz, Austria, June 20-21, 1991 Proceedings
556. Conclog: A Methodological Approach to Concurrent Logic Programming
557. ISA '91 Algorithms: 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991. Proceedings
558. Specification and Compositional Verification of Real-Time Systems
559. Fundamental Algorithms for Permutation Groups
560. Foundations of Software Technology and Theoretical Computer Science
561. The Stability Theory of Stream Ciphers
563. Operating Systems of the 90s and Beyond
564. The Use of Projective Geometry in Computer Graphics
565. Parallelism, Learning, Evolution: Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989. Workshop on Parallel Processi
566. Deductive and Object-Oriented Databases
571. Formal techniques in real-time and fault-tolerant systems :second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings
572. Word Equations and Related Topics
573. Algebraic Coding
574. Research Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17-19, 1991 Proceedings
575. Computer Aided Verification
578. Physics of Neutron Star Interiors
579. Interacting Electrons in Nanostructures
580. Advances in Database Technology - Edbt '92
581. Caap '92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings
582. ESOP '92
583. Latin '92
584. Computer Algebra and Parallelism
585. Computer Aided Systems Theory - Eurocast '91
586. Parallel Execution of Parlog
589. Languages and Compilers for Parallel Computing
591. Parallel Computation
592. Logic Programming
593. Advanced Information Systems Engineering
594. Data Structures and Efficient Algorithms
595. The Nested Universal Relation Database Model
597. A Perspective of Constraint-Based Reasoning
598. Mathematical Foundations of Programming Semantics
600. Real-Time: Theory in Practice
601. Theory of Computing and Systems
602. Computer Assisted Learning
603. ADA: Moving Towards 2000
606. Axioms and Hulls
608. Intelligent Tutoring Systems
609. Advances in Petri Nets 1992
610. Coordinating Plans of Autonomous Agents
611. The Next Generation of Information Systems: From Data to Knowledge
613. Constructivity in Computer Science
614. Network and Operating System Support for Digital Audio and Video: Second International Workshop, Heidelberg, Germany, November 18-19, 1991. Proceeding
615. Ecoop '92. European Conference on Object-Oriented Programming
616. Application and Theory of Petri Nets 1992
618. Advanced Database Systems
619. Nonclassical Logics and Information Processing
620. Logical Foundations of Computer Science - Tver '92
623. Automata, Languages and Programming
626. Computer Science Logic
627. Lexical Semantics and Knowledge Representation
628. Relational Matching
629. Mathematical Foundations of Computer Science 1992
630. Concur 92 Third International Conference
631. Programming Language Implementation and Logic Programming
632. Algebraic and Logic Programming
635. Software Process Technology
636. Journees de Statistique Des Processus Stochastiques
637. Memory Management
639. Theories and Methods of Spatio-Temporal Reasoning in Geographic Space: International Conference GIS - From Space to Territory: Theories and Methods of
640. Software Engineering Education
641. Compiler Construction 4TH International
643. Hyperedge Replacement: Grammars and Languages
644. Combinatorial Pattern Matching
646. Database Theory - Icdt '92
650. Algorithms and Computation
651. Specifying Message Passing and Time-Critical Systems with Temporal Logic
652. Foundations of Software Technology and Theoretical Computer Science
653. Future Tendencies in Computer Science, Control and Applied Mathematics
655. Recent Trends in Data Type Specification
657. Graph-Theoretic Concepts in Computer Science
661. Machine Learning: From Theory to Applications
663. Computer Aided Verification
665. Stacs 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, W??rzburg, Germany, February 25-27, 1993. Proceeding
666. Semantics :foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
669. Mathematics of Program Construction
670. Industrial Strength Formal Methods
672. The Mosix Distributed Operating System
673. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
674. Advances in Petri Nets 1993
675. Live Data Structures in Logic Programs
676. Recognizing Planar Objects Using Invariant Image Features
677. Word Equations & Related Topics
678. Parallel Architectures and Their Efficient Use
679. Resolution Methods for the Decision Problem
680. Program Development By Specification &
681. The Logic of Information Structures
682. Ipmu'92 - Advanced Methods in Artificial Intelligence
683. Correct Hardware Design and Verification Methods
684. Combinatorial Pattern Matching
685. Advanced Information Systems Engineering
687. Information Processing in Medical Imaging: 13th International Conference, Ipmi'93, Flagstaff, Arizona, USA, June 14-18, 1993. Proceedings
688. ADA-Europe '93
690. Rewriting Techniques and Applications
691. Application & Theory of Petri Nets 1993
692. Advances in Spatial Databases
693. Functional Programming, Concurrency, Simulation and Automated Reasoning
694. Parle '93 Parallel Architectures and Languages Europe: 5th International Parle Conference, Munich, Germany, June 14-17, 1993. Proceedings
695. Fuzzy Logic in Artificial Intelligence
696. Advances in Databases
700. Automata, Languages and Programming
701. LOGITDATA+: Deductive Databases with Complex Objects
702. Computer Science Logic
704. The Design of an Extendible Graph Editor
706. Experimental Software Engineering Issues - Critical Assessment & Future Directions: Proceedings of an International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992
707. ECOOP '93 - Object-Oriented Programming: Proceedings of the 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993
709. Algorithms & Data Structures: Proceedings of the Third Workshop on Algorithms & Data Structures, Montreal, Canada, August 11-13, 1993
710. Fundamentals of Computation Theory
711. Mathematical Foundations of Computer Science 1993
712. Network and Operating System Support for Digital Audio and Video
713. Computational Logic and Proof Theory
714. Programming Language Implementation and Logic Programming
715. Concur'93
717. Software Engineering - Esec '93
718. Advances in Cryptology - Auscrypt '92
720. Database and Expert Systems Applications: 4th International Conference, Dexa'93, Prague, Czech Republic, September 6-8, 1993. Proceedings
721. Design and Implementation of Symbolic Computation Systems
722. Design and Implementation of Symbolic Computation Systems
723. Knowledge Acquisition for Knowledge-Based Systems
724. Static Analysis
725. Distributed Algorithms
726. Algorithms - ESA '93
727. Progress in Artificial Intelligence
729. Performance Evaluation of Computer and Communication Systems
731. DCE - The OSF Distributed Computing Environment: Client - Server Model & Beyond: International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993, Proceedings
732. Assessing Childhood Psychopathology and Developmental Disabilities
734. Parallel Computation
735. Formal Methods in Programming and Their Applications
737. Artificial Intelligence and Symbolic Mathematical Computing
738. The Generic Development Language Deva
739. Advances in Cryptology - Asiacrypt '91
741. Computer Security and Industrial Cryptography
742. Object Technologies for Advanced Software
747. Symbolic and Quantitative Approaches to Reasoning and Uncertainty
748. Parallel Symbolic Computing: Languages, Systems, and Applications
749. Automated and Algorithmic Debugging
750. Software Engineering Education: 7th SEI Csee Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings
751. Spatio-Temporal Image Processing
752. Information and Knowledge Management
756. Design of Hashing Algorithms
757. Languages and Compilers for Parallel Computing
758. Towards Dynamic Randomized Algorithms in Computational Geometry
759. Advanced Database Systems
760. Deductive and Object-Oriented Databases
761. Foundations of Software Technology and Theoretical Computer Science
762. Algorithms and Computation
763. Computer aided systems theory--EUROCAST '93 :a selection of papers from the third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings
764. Vivid Logic
767. An Extended Entity-Relationship Model
768. Scientific Ballooning: Technology and Applications of Exploration Balloons Floating in the Stratosphere and the Atmospheres of Other Planets
769. The Newton-Cauchy Framework
770. Representing Plans Under Uncertainty
772. Software Process Technology
774. Hardware and Software Architectures for Fault Tolerance
776. Graph Transformations in Computer Science
777. Management and Processing of Complex Data Structures
779. Advances in Database Technology - Edbt '94: 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1
779. Handbook of Biomedical Imaging
781. Algebraic Coding: First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings
783. Mobile Communications - Advanced Systems and Components
785. Recent Trends in Data Type Specification
786. Compiler Construction
787. Trees in Algebra and Programming - Caap '94
788. Programming Languages and Systems - ESOP '94
790. Graph-Theoretic Concepts in Computer Science
792. Logic, Language, & Computation: Festschrift in Honor of Satoru Takasu
793. Information Theory and Applications
794. Computer Performance Evaluation
796. High-Performance Computing and Networking
797. High-Performance Computing and Networking
799. Multiagent Systems
800. Lecture Notes in Computer Science #800-: Computer Vision - Eccv '94
800. Lecture Notes in Computer Science #800-: Computer Vision - Eccv '94: Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings, Volume 1
802. Mathematical Foundations of Programming Semanti
803. A Decade of Concurrency
805. Parallel and Distributed Computing
806. Types for Proofs and Programs
807. Combinatorial Pattern Matching
809. Fast Software Encryption
811. Advanced Information Systems Engineering
812. Results and Trends in Theoretical Computer Science
813. Logical Foundations of Computer Science
815. Application and Theory of Petri Nets 1994
816. Higher-Order Algebra, Logic, and Term Rewriting
817. Parle '94 Parallel Architectures and Languages Europe: 6th International Parle Conference, Athens, Greece, July 4 - 8, 1994. Proceedings
818. Computer Aided Verification
819. Applications of Databases
820. Automata, Languages, and Programming
821. Ecoop '94 - Object-Oriented Programming
824. Algorithm Theory - Swat '94
825. Applications of Invariance in Computer Vision
826. Directions in Databases
828. Isabelle
829. Error Control, Cryptology, and Speech Compression
832. Computer Science Logic
833. Fuzzy Logic and Fuzzy Control
834. Algorithms and Computation
836. Concur '94: Concurrency Theory
837. Topics in Case-Based Reasoning
841. Mathematical Foundations of Computer Science 1994
842. Treewidth
845. Constraints in Computational Logics
847. Fuzzy Logic in Artificial Intelligence: Proceedings of the IJCAI '93 Workshop, Chambery, France, August 28, 1993
849. Field-Programmable Logic: Architecture, Synthesis & Applications: Fourth International Workshop on Field-Programmable Logic & Applications, FPL '94, Prague, Czech Republic, September 7-9
850. Algebraic & Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14 16, 1994. Proceedings
851. International Conference on Intelligence in Broadband Services & Networks: Towards a Pan-European Telecommunication Service infrastructure, 851
852. Dependable Computing - Edcc-1
855. Algorithms - ESA '94: Second Annual European Symposium, Utrecht, the Netherlands, September 26- 28, 1994. Proceedings
856. Database & Expert Systems Applications: Proceedings of the Fifth International Conference, DEXA '94, Athens, Greece September 7-9, 1994
858. Object-Oriented Methodologies & Systems: Proceedings of the International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994
859. Higher order logic theorem proving and its applications :7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
860. Computers for Handicapped Persons: 4th International Conference, Icchp '94, Vienna, Austria, September 14-16, 1994. Proceedings
863. Formal Techniques in Real-Time and Fault-Tolerant Systems
864. Static Analysis: Proceedings of the First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994
866. Parallel Problem Solving from Nature - Evolutionary Computation: Proceedings of the International Conference on Evolutionary Computation, Held jointly with the Third Conference on Parallel Problem Sol
867. A Future for Knowledge Acquisition
868. Multimedia :advanced teleservices and high-speed communication architectures : second international workshop, IWACA '94, Heidelberg, Germany, September 26-28, 1994 : proceedings
869. Methodologies for Intelligent Systems
871. Database Issues for Data Visualization: Proceedings of the IEEE Visualization '93 Workshop, San Jose, California, USA, October 26, 1993
872. Algorithmic Learning Theory: Proceedings of the 4th International Workshop on Analogical & Inductive Inference, AII'94, & 5th International Workshop on Algorithmic Learning Theory, ALT'94, Reinhardsbr
873. FME '94: Industrial Benefit of Formal Methods: Proceedings of the Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994
874. Principles & Practice of Constraint Programming
875. Computer Security: ESORICS 94
878. Parallel, Distributed and Multiagent Production Systems
879. Parallel Scientific Computing
880. Foundations of Software Technology and Theoretical Computer Science
882. Multimedia transport and teleservices :International COST 237 Workshop, Vienna, Austria, November 13-15, 1994 : proceedings
884. Geographic Information Systems
887. Ada in Europe: Proceedings of the First International Eurospace-Ada Symposium, Copenhagen, Denmark, September 26-30, 1994
888. Analysis of Dynamical and Cognitive Systems: Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings
889. Towards a Cscw Framework for Scientific Cooperation in Europe
891. Formal Development of Reactive Systems
892. Languages & Compilers for Parallel Computing: Proceedings of the 7th International Workshop Held at Ithaca, New York, U. S. A., August 1994
893. Database Theory - Icdt '95
894. Graphic Drawing
897. Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings
898. Machine Translation and the Lexicon
899. Evolution & Biocomputation
901. Theorem Provers in Circuit Design
902. Typed Lambda Calculi & Applications Second Inter
903. Graph-Theoretic Concepts in Computer Science
907. Theory & Practice of Parallel Programming: International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings
908. Extensions of the Unity Methodology
909. Term Rewriting: Advanced Course Held at the French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993
910. Constraint Programming: Basics and Trends
911. Latin '95: Theoretical Informatics: Second Latin American Symposium, Valparaiso, Chile, April 17-21, 1995. Proceedings
912. Machine Learning: ECML - 95: Proceeding of the 8th European Conference on Machine Learning, Held at Heraclion, Greece, April 25-27, 1995
913. Software Process Technology
916. Digital Libraries - Current Issues
920. Integer Programming & Combinatorial Optimization: 4th International Conference, IPCO '95, Copenhagen, Denmark, May 29-31, 1995, Proceedings
922. Efficient Graph Rewriting and Its Implementation
924. Object-Based Models & Languages for Concurrent Systems: ECOOP '94 Workshop on Models & Languages for Coordination of Parallelism & Distribution, Bologna, Italy, July 5, 1994: Selected Papers
925. Advanced Functional Programming
928. Logic Programming & Non-Monotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 24-26, 1995: Proceedings
931. Artificial Neural Networks: An Introduction to ANN Theory & Practice
932. Advanced Information Systems Engineering: 7th International Conference, CAiSE '95, Jyvaskyla, Finland, June 12-16, 1995. Proceedings
934. Artificial Intelligence in Medicine
935. Application and Theory of Petri Nets 1995
936. Algebraic methodology and software technology :4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings
937. Combinatorial Pattern Matching: 6th Annual Symposium, CPM 95, Espoo, Finland, July 5-7, 1995: Proceedings
939. Computer Aided Verification
940. Directions in Databases: 13th British National Conference on Databases, BNCOD 13 Manchester, United Kingdom, July 1995 Proceedings
941. Tractable reasoning in artificial intelligence
943. Metaclasses and their application :data model tailoring and database integration
944. Automata, Languages and Programming
945. Advances in Intelligent Computing - Ipmu '94
946. Symbolic and Quantitative Approaches to Reasoning and Uncertainty
946. Symbolic and Quantitative Approaches to Reasoning and Uncertainty
951. Advances in spatial databases :4th international symposium, SSD '95, Portland, ME, USA, August 6-9, 1995 : proceedings
953. Category Theory and Computer Science
960. Logic and computational complexity :international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
961. Algorithmic learning for knowledge-based systems :GOSLER final report
964. Parallel computing technologies :third international conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings
966. Euro-Par '95: Parallel Processing
968. Conditional and typed rewriting systems :4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings
971. Higher order logic theorem proving and its applications :8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings
972. Distributed Algorithms
973. Information Management in Computer Integrated Manufacturing
974. Image Analysis and Processing
975. Field-Programmable Logic & Applications: 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29-September 1, 1995, Proceedings, Vol. XII
976. Principles and Practice of Constraint Programming - Cp '95
977. Quantitative evaluation of computing and communication systems :8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Co
978. Database & Expert Systems Applications: 6th International Conference, DEXA '95, London, United Kingdom, September 4-8, 1995, Proceedings, Vol. XV
980. Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, Lyon, France, September 4-6, 1995, Proceedings, Vol. X
983. Static Analysis
984. Advances in Case-Based Reasoning: Second European Workshop, EWCBR-94, Chantilly, France, November 1994: Selected Papers
986. Memory Management
987. Correct Hardware Design and Verification Methods
988. Spatial Information Theory: A Theoretical Basis for GIS: International Conference, COSIT '95, Semmering, Austria, September 21-23, 1995, Proceedings
994. Object representation in computer vision :International NSF-ARPA Workshop, New York City, NY, USA, December 5-7, 1994 : proceedings
995. Complexity of Simple Computer Architectures
996. Types for Proofs and Programs
999. Hybrid systems II
1000. Computer Science Today: Recent Trends and Developments
1002. Disconnected Operation in a Distributed File System
1003. Automated Modelling of Physical Systems
1005. Software Configuration Management: ICSE SCM-4 & SCM-5 Workshops, Selected Papers
1007. Integrity Primitives for Secure Information Systems: Final RIPE Report of RACE Integrity Primitives Evaluation
1008. Fast software encryption :second international workshop, Leuven, Belgium, December 14-16, 1994 : proceedings
1009. KORSO :methods, languages, and tools for the construction of correct software : final report
1010. Case-Based Reasoning: Proceedings; Research & Development: First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995
1012. SOFSEM `95 Theory & Practice of Informatics: Proceedings of the 22nd Seminar on Current Trends in Theory & Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995
1014. Spatial Representation & Motion Planning
1015. Human-Computer Interaction: 5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995: Selected Papers
1017. Graph-Theoretic Concepts in Computer Science: Twenty-First International Workshop, WG'95, Aachen, Germany, June 20-22, 1995. Proceedings
1018. Network and Operating Systems Support for Digital Audio and Video
1019. Tools & Algorithms for the Construction & Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Selected Papers
1020. Progress in Case-Based Reasoning: First United Kingdom Workshop, Salford, UK, January 1995, Proceedings
1022. Functional Programming Languages in Education: Proceedings, First International Symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995
1023. Algorithms, concurrency, and knowledge :1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings
1024. Image analysis applications and computer graphics :Third International Computer Science Conference, ICSC '95, Hong Kong, December 11-13, 1995 : proceedings
1025. Cryptography and Coding
1026. Foundations of Software Technology & Theoretical Computer Science: Proceedings of 15th Conference, Bangalore, India, December 18-20, 1995
1027. Graph Drawing: Proceedings, Symposium on Graph Drawing, GD '95, Passau, Germany, September 20-22, 1995
1029. Cryptography: Policy and Algorithms
1032. Partial-Order Methods for the Verification of Concurrent Systems
1033. Languages & Compilers for Parallel Computing: Proceedings of 8th International Workshop, LCPC 95, Columbus, Ohio, August 1995
1034. Constraint Databases & Applications: Esprit WG Contessa Workshop, Friedrichshafen, Germany, September 8-9, 1995: Proceedings
1036. Trends in Natural Language Generation - An Artificial Intelligence Perspective
1041. Applied parallel computing :computations in physics, chemistry, and engineering science : second international workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995 : proceedings
1042. Adaption & Learning in Multi-Agent Systems: IJCAI'95 Workshop, Montreal, Canada, August 21, 1995, Proceedings
1046. STACS, `96: 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996: Proceedings
1047. Time Structures: Formal Description & Algorithmic Representation
1048. Logic Program Synthesis & Transformation: 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995: Proceedings
1050. Extensions of Logic Programming
1051. FME '96, Industrial Benefit & Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, U. K., March 18-22, 1996: Proceedings
1053. Term Indexing
1056. Communication & Cooperation in Agent Systems: A Pragmatic Theory
1057. Advances in database technology--EDBT '96 :5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996 : proceedings
1058. Programming Languages & Systems, ESOP '96: Proceedings of the 6th European Symposium on Programming, Link Oping, Sweden, April 22-24, 1996
1059. Trees in Algebra & Programming - CAAP '96: 21st International Colloquium, Linkoping, Sweden, April 22-24, 1996, Proceedings
1062. Towards Evolvable Hardware
1063. Artificial evolution :European conference, AE '95, Brest, France, September 4-6, 1995 : selected papers
1064. Computer Vision, ECCV '96: Fourth European Conference on Computer Vision, Cambridge, UK, April 14-18, 1996 Proceedings, Vol. 1
1064. Computer Vision - Eccv '96
1066. Hybrid systems III :verification and control
1068. Parallel symbolic languages and systems :International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings
1069. Applications of Multi-Agent Systems
1073. Graph Grammars and Their Application to Computer Science
1077. Multimedia, Hypermedia, & Virtual Reality: Models, Systems, & Applications, Vol. 107
1078. Studies of Software Design: ICSE '93 Workshop, Baltimore Maryland, U. S. A., May 17-18, 1993, Selected Papers, Vol. 107
1079. Foundations of Intelligent Systems
1083. Evaluating Natural Language Processing Systems: An Analysis & Review, Vol. 108
1085. Practical Reasoning: International Conference on Formal & Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 1996, Proceedings, Vol. 108
1086. Intelligent Tutoring Systems: Third International Conference, Its '96 Montreal Canada, June 12-14 1996, Proceedings, Vol. 108
1089. Bounded Incremental Computation
1090. Computing and Combinatorics
1092. Computer science logic :9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
1094. Advances in Databases: 14th British National Conference on Databases, Edinburgh, Scotland United Kingdom, July 1996 - Proceedings, Vol. 1094
1101. Algebraic Methodology and Software Technology
1102. Computer aided verification :8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
1106. Over-Constrained Systems
1107. Object-Based Parallel & Distributed Computation: France-Japan Workshop, OBPDC '95, Tokyo
1110. Partial Evaluation
1116. Management of Telecommunication Systems and Services
1119. Concur '96: Concurrency Theory
1136. Algorithms - ESA '96 :Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996 : proceedings
1140. Programming languages :implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings
1144. Object Representation in Computer Vision: ECCV '96 International Workshop, Cambridge, U. K., April 13-15, 1996 - Proceedings
1146. Computer Security - Esorics 96
1148. Applied Computational Geometry. Towards Geometric Engineering
1150. Dependable computing--EDCC-2 :second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings
1151. Distributed Algorithms: 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 - Proceedings
1159. Advances in Artificial Intelligence: 13th Brazilian Symposium on Artificial Intelligence, Sbia '96, Curitiba, Brazil,
1161. Trends in Distributed Systems: Corba & Beyond - International Workshop Treds '96, Aachen, Germany, October 1-2, 1996 : Proceedings
1163. Advances in Cryptology - Asiacrypt '96
1171. Automatic ambiguity resolution in natural language processing :an empirical approach
1173. Efficient Visual Recognition Using the Hausdorff Distance
1174. Information Hiding
1175. Sofsem `96: Theory & Practice of Informatics: 23rd Seminar on Current Trends in Theory & Practice of Informatics, Milovy, Czech Republic, November 1996: Proceedings
1177. The Design of Intelligent Agents
1180. Foundations of Software Technology and Theoretical Computer Science
1182. Optimization of SQL Queries for Parallel Machines
1183. Database Issues for Data Visualization Vol. XIV: Proceedings of the IEEE Visualization '95 Workshop, Atlanta, Georgia, October 28, 1995, Vol. 1183
1185. Multimedia, Telecommunications, and Applications
1186. Database Theory - ICDT '97 Vol. XIII: Proceedings, 6th International Conference, Delphi, Greece, January 8-10, 1997, Vol. 1186
1190. Graph Drawing: Symposium on Graph Drawing, GD '96, Berkeley, California, U. S. A., September 18-20, 1996: Proceedings, Vol. 119
1192. Analysis & Verification of Multiple-Agent Languages: Selected Papers: 5th Lomaps Workshop, Stockholm, Sweden, June 1996, Vol. 119
1193. Intelligent agents III :agent theories, architectures, and languages : ECAI'96 Workshop ATAL , Budapest, Hungary, August 12-13, 1996 : proceedings
1197. Graph Theoretic Concepts in Computer Sci
1201. Hybrid and real-time systems :international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings
1202. Cooperative Information Agents
1204. Modular Programming Languages
1216. Non-Monotonic Extensions of Logic Programming
1223. Energy Minimization Methods in Computer Vision & Pattern Recognition: International Workshop EMMCVPRAE97, Venice, Italy, May 21-23, 1997, Proceedings, Vol. 122
1224. Machine Learning: Ecml'97
1235. Software Configuration Management: ICSE'97 SCM-7 Workshop, Boston, MA, U. S. A., May 18-19, 1997, Proceedings
1237. Multi-Agent Rationality
1239. Languages & Compilers for Parallel Computing: 9th International Workshop, LCPC '96, San Jose, California, U. S. A., August 8-10, 1996, Proceedings
1243. CONCUR'97 - Concurrency Theory: Proceedings 8th International Conference, Warsaw, Poland, July 1-4, 1997
1249. Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings
1254. Computer Aided Verification
1259. Evolvable Systems: From Biology to Hardware
1261. Structures in Logic & Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht, Vol. 126
1262. Advances in Spatial Databases: 5th International Symposium, SSD '97, Berlin, Germany, July 15-18, 1997 : Proceedings, Vol. 126
1264. Combinatorial Pattern Matching
1269. Randomization and Approximation Techniques in Computer Science
1271. Advances in Databases
1282. Coordination Languages & Models: Proceedings, Second International Conference, Coordination '97, Berlin, Germany, September 1-3, 1997, Vol. 128
1289. Computational Logic and Proof Theory
1294. Advances in Cryptology - CRYPTO'97: Proceedings, 17th Annual International Cryptology Conference, Santa Barbara, California, August 17-21, 1997
1298. Algebraic & Logic Programming: Proceedings of the 6th International Joint Conference, ALP '97-HOA '97, Southampton, U. K. September 3-5, 1997, Vol. 129
1299. Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology
1305. Evolutionary Computing
1313. Fme '97 Industrial Applications and Strengthened Foundations of Formal Methods
1324. Algorithm Engineering and Experimentation
1324. Research & Advanced Technology for Digital Libraries: First European Conference, ECDL '97, Pisa, Italy, September 1-3, 1997 : Proceedings, Vol. 132
1324. Shape, Contour, and Grouping in Computer Vision
1329. Spatial Information Theory a Theoretical Basis for GIS
1335. Graph-Theoretic Concepts in Computer Science
1339. Advances in Document Image Analysis: Proceedings, 1st Brazilian Symposium, BSDIA '97, Curitiba, Brazil, November 2-5, 1997
1345. Advances in Computing Science - ASIAN'97: Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings, Vol. 134
1346. Foundations of Software Technology & Theoretical Computer Science: Proceedings of the 17th Conference, Kharagpur, India, December 18-20, 1997
1349. Algebraic Methodology & Software Technology: Proceedings of the 6th International Conference, AMAST 97, Sydney, Australia, December 13-17, 1997, Vol. 134
1350. Algorithms & Computation: 8th International Symposium, ISAAC'97, Singapore, December 17-19, 1997, Proceedings
1354. Mathematics of Program Construction
1356. From Multimedia Services to Network Services
1359. Learning and Reasoning with Complex Representations
1365. Intelligent Agents IV: Agent Theories, Architectures, and Languages
1374. Multimodal Human-Computer Communication
1376. Recent Trends in Algebraic Development Techniques: 12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
1382. Fundamental Approaches to Software Engineering: 1st International Conference, FASE '98, Held As Part of the Joint European Conferences on Theory & Practice of Software, ETAPS '98, Lisbon, Portugal, Ma
1383. Compiler Construction
1384. Tools & Algorithms for the Construction & Analysis of Systems: 4th International Conference, TACAS'98. Held As Part of the Joint European Conference on Theory & Practice of Software, ETAPS'98, Lisbon,
1385. Services & Visualization: Towards User-Friendly Design: ACoS'98 Visual'98, AIN'97 Selected Papers
1386. Hybrid Systems: Computation & Control: 1st International Workshop, Berkeley, California, U. S. A., April 13-15, 1998, Proceedings
1387. Adaptive processing of sequences and data structures : International Summer School on Neural Networks "E.R. Caianiello" Vietri sul Mare, Salerno, Italy, September 6-13 1997, tutorial lectures
1389. Graphics Recognition: Algorithms & Systems: 2nd International Workshop, GREC'97, Nancy, France, August 22-23, 1997, Selected Papers
1393. B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedin
1398. Machine Learning - ECML-98: Proceedings 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998
1410. Audio System for Technical Readings
1411. Reliable Software Technologies - Ada Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppwala, Sweden, June 8-12, 1998, Proceedings, Vol. 141
1414. Computer Science Logic: 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997. Selected Papers, Vol. 141
1418. Advances in Artificial Intelligence
1421. Automated Deduction CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings, Vol. 142
1422. Mathematics of Program Construction
1430. Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services
1435. Cooperative Information Agents II: Learning, Mobility & Electronic Commerce for Information Discovery in the Internet - Second International Workshop, CIA '98, Paris, France, July 4-7, 1998. Proceedin
1442. Online Algorithms
1444. Approximation Algorithms for Combinatorial Optimization
1448. Combinatorial Pattern Matching
1453. Conceptual Structures: Theory, Tools & Application: Proceedings of the 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-14, 1998
1455. Applications of Uncertainty Formalisms
1457. Solving Irregularly Structured Problems in Parallel
1462. Advances in Cryptology - CRYPTO `98: 18th Annual International Cryptology Conference, Santa Barbara, California, U. S. A., August 23-27, 1998, Proceedings
1465. Financial Cryptography: Second International Conference, FC '98, Anguilla, British West Indies, February 23-25, 1998: Proceedings
1471. Logic Programming and Knowledge Representation
1480. Artificial Intelligence: Proceedings of the 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998
1483. Interactive Distributed Multimedia Systems and Telecommunication Services
1485. Computer Security - ESORICS 98: Proceedings of the 5th European Symposium on Research in Computer Security, Louvain-la-Nuevee, Belgium, September 16-18, 1998, Vol. 148
1490. PLILP/ALP'98: Proceedings of the 10th International Symposium, PLILP '98: Held Jointly with the 6th International Conference, ALP '98, Pisa, Italy, September, 1998
1497. Recent Advances in Parallel Virtual Machine and Message Passing Interface
1500. Software Process: Principles, Methodology, and Technology
1509. Quantum Computing and Quantum Communications: First NASA International Conference, Qcqc '98, Palm Springs, California, USA, February 17-20, 1998: Sele
1512. Types for Proofs and Programs
1515. Advances in Artificial Intelligence
1519. Community Computing and Support Systems: Social Interaction in Networked Communities
1522. Formal Methods in Computer Aided Design: Proceedings of the 2nd International Conference, FMCAD '98, Palo Alto, CA, U. S. A., November 4-6, 1998
1523. Formal Syntax and Semantics of Java
1525. Mathematical Research Today & Tomorrow: Viewpoints of 7 Fields Medalists - Lectures Given at the Institut d'Estudis Catalans, Barcelona, Spain, June, 1991
1527. Theory Reasoning in Connection Calculi
1528. State of the Art in Applied Cryptography: Course on Computer Security & Industrial Cryptography, Leuven, Belgium, June 3-6, 1997, Revised Lectures, Vol. 152
1531. Design of Survivable Networks
1534. Multi-Agent Systems and Agent-Based Simulation: First International Workshop, Mabs '98, Paris, France, July 1998: Proceedings
1535. Co-Ordination in Artificial Agent Societies: Social Structures & Its Implications for Autonomous Problem-Solving Agents
1536. Compositionality: The Significant Difference
1537. Modelling and Motion Capture Techniques for Virtual Environments
1538. Advances in Computing Science - Asian'98
1539. Interacting code motion transformations :their impact and their complexity
1541. Applied Parallel Computing: Large Scale Scientific & Industrial Problems, Vol. 154
1542. Computer Vision Systems: First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999, Proceedings
1544. Multi-Agent Systems: Theories, Languages, and Applications: 4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, Qld.,
1545. Learning Robots
1547. Graph Drawing
1549. Compiling Natural Semantics
1551. Practical Aspects of Declarative Languages
1552. Advances in Database Technologies: Er 98 Workshops on Data Warehousing and Data Mining, Mobile Data Access, and Collaborative Work Support and Spatio-
1553. Active, Real-Time, and Temporal Database Systems
1554. Advanced Multimedia Content Processing: First International Conference, AMCP'98, Osaka, Japan, November 9-11, 1998, Proceedings
1555. Intelligent Agents V. Agents Theories, Architec- Tures, and Languages
1556. Selected Areas in Cryptography: 5th Annual International Workshop, SAC '98, Kingston, Ontario, Canada, August 17-18, 1998, Proceedings
1557. Parallel Computation: 4th International Acpc Conference Including Special Tracks on Parallel Numbers (Parsum'99) and Parallel Computing in I
1559. Logic-Based Program Synthesis & Transformation: 8th International Workshop, LOPSTR '98, Manchester, U. K. June 15-19, 1998, Selected Papers
1560. Public Key Cryptography
1561. Lectures on Data Security
1563. Stacs 99: 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 1999: Proceedings
1564. Interactive Multimedia Documents: Modeling, Authoring, and Implementation Experiences
1565. Conceptual Modeling: Current Issues & Future Directions
1566. Fuzzy Logic in Artificial Intelligence: Ijcai'97 Workshop, Nagoya, Japan, August 1997, Selected Papers
1568. Discrete Geometry for Computer Imagery: 8th International Conference, Dgci '99, Marne-La-Vallee, France, March 1999: Proceedings
1569. Hybrid Systems: Computation and Control: Second International Workshop, Hscc '99, Ber En Dal, the Netherlands, March 1999: Proceedings
1569. Weighted Approximation with Varying Weight
1571. Agent Mediated Electronic Commerce: First International Workshop on Agent Mediated Electronic Trading, Amet-98, Minneapolis, MN, USA, May 10th, 1998,
1573. Vector and Parallel Process--Vecpar '98: Third International Conference, Porto, Portugal, June 1998: Selected Papers and Invited Talks
1575. Compiler Construction: 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory & Practice of Software, ETAPS'99, Amsterdam, the Netherlands, March 22-28, 1999, Pr
1577. Fundamental Approaches to Software Engineering: Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory & Practice of Software, ETAPS'99, Amsterdam, The Neth
1578. Foundations of Software Science & Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory & Practice of Software, ETAPS'99, Amster
1579. Tools & Algorithms for the Construction of Analysis of Systems Vol. 1579: Proceedings of the 5th International Conference, TACAS-99, Held as Part of the Joint European Conferences on Theory & Practice
1580. Interoperating Geographic Information Systems: Second International Workshop, Interop'99, Zurich, Switzerland, March 10-12, 1999: Proceeings
1582. Logical Aspects of Computational Linguistics
1583. View Synthesis Using Stereo Vision
1584. Computer Science Logic: 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, No. 1584
1587. Information Security and Privacy: 4th Australasian Conference, Acisp '99, Wollongong, Nsw, Australia, April 7-9, 1999: Proceedings
1588. Real and Etale Cohomology
1589. Transition to Chaos in Classical and Quantum Mechanics
1589. Recent Trends in Algebraic Development Techniques: 13th International Workshop, Wadt '98, Lisbon, Portugal, April 2-4, 1998: Selected Papers
1590. World Wide Web & Databases: EDBT Workshop WebDB'98, Valencia, Spain, March 27-28, 1998, Selected Papers
1591. Premo: A Framework for Multimedia Middleware: Specification, Rationale, and Java Binding
1595. Implementation of Functional Languages: 10th International Workshop, IFL'98, London, UK, September 9-11, 1999, Selected Papers
1596. Evolutionary Image Analysis, Signal Processing & Telecommunications: First European Workshop, EvolASP '99 & EuroEctTel '99 Goteborg, Sweden, May 28-29, 1999, Proceedings, No. 1596
1596. Nearly Projective Boolean Algebras
1597. Intelligence in Services & Networks: Paving the Way for an Open Service Market, No. 1597
1598. Genetic Programming: 2nd European Workshop, EuroGP'99, Goteborg, Sweden, May 26-27, 1999, Proceedings
1602. Network-Based Parallel Computing: Communication, Architecture, and Applications: Third International Workshop, Canpc'99, Orlando, Florida, USA, Januar
1603. Secure Internet Programming
1605. Application of Petri Nets to Communication Networks
1605. Superconvergence in Galerkin Finite Element Methods, Vol. XI
1608. Advanced Functional Programming: Third International School, Afp '98, Braga, Portugal, September 12-19, 1998: Revised Lectures
1609. Dynamical Systems: Lectures Given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held in Montecatini Terme, Italy, June 13-22, 1994
1609. Foundations of Intelligent Systems
1610. Introduction to Analysis on Wiener Space, Vol. X
1613. Information Processing in Medical Imaging: 16th International Conference, Ipmi'99, Visegrad, Hungary, June 28 - July 2, 1999, Proceedings
1614. Regularity Problem for Quasilinear Elliptic & Parabolic Systems, Vol. XXI
1615. Cycles & Hypersurface Singularities
1615. High Performance Computing: Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings, No. 1615
1616. Classifying Spaces & Classifying Topoi, Vol. VII
1616. Meta-Level Architectures and Reflection
1617. Artificial Intelligence in Medicine
1617. Automated Reasoning with Analytic Tableaux and Related Methods
1617. Sums and Gaussian vectors
1618. The Unified Modeling Language: UML '98: Beyond the Notation: First International Workshop, Mulhouse, France, June 3-4, 1998: Proceedings
1621. Knowledge Acquisition, Modeling and Management
1622. Reliable Software Technologies - Ada-Europe '99: 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings
1623. Focusing Solutions for Data Mining: Analytical Studies and Experimental Results in Real-World Domains
1625. Computational Intelligence. Theory and Applications
1626. Advanced Information Systems Engineering: 11th International Conference, CAISE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings
1628. Ecoop'99: Object Oriented Programming: 13th European Conference, Lisbon, Portugal, June 1999: Proceedings
1629. Multimedia Applications, Services and Techniques - Ecmast'99
1630. Agent-Oriented Programming
1634. Inductive Logic Programming
1636. Fast Software Encryption: 6th International Workshop, Fse'99, Rome, Italy, March 1999: Proceedings
1637. Integer Optimization by Local Search: A Domain-Independent Approach
1638. Integrable Systems in the Realm of Algebraic Geometry
1640. Conceptual Structures: Standards and Practices: 7th International Conference on Conceptual Structures, Iccs'99, Blacksburg, Va, USA, July 12-
1641. Applied Formal Methods - FM-Trends 98
1641. Twin Buildings & Applications to S-Arithmetic Groups
1644. Automata, Languages and Programming
1644. Moduli of Abelian Varieties, Vol. VI
1645. Combinatorial Pattern Matching
1646. Models and Tools for Managing Development Processes
1646. Transcendental Methods in Algebraic Geometry: Lectures Given at the 3rd Session of the Centro Internazionale Matematico Estivo (C. I. M. E.) Held in Cetraro, Italy, July 4-12, 1994, Vol. 164
1647. Multi-Agent Systems Engineering: 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Maamaw'99: Valencia, Spain, June/July, 1
1649. Next Generation Information Technologies and Systems
1650. Case-Based Reasoning Research and Development
1651. Advances in Spatial Databases: 6th International Symposium, Ssd'99: Hong Kong, China, July 20-23, 1999: Proceedings
1652. Cooperative Information Agents III
1653. Branched Standard Spines of 3-Manifolds, Vol. 165
1653. Active Networks
1654. Energy Minimization Methods in Computer Vision and Pattern Recognition: Second International Workshop, Emmcvpr '99, York, UK, July 1999: Proceedings
1655. Document Analysis Systems: Theory and Practice: Third Iapr Workshop, Das'98, Nagano, Japan, November 1998: Selected Papers
1656. Languages and Compilers for Parallel Computing
1657. Types for Proofs and Programs
1659. Job Scheduling Strategies for Parallel Processing
1660. Automata Implementation
1660. Viscosity Solutions and Applications
1661. Symplectic Manifolds with No Kahler Structure, Vol. 166
1662. Parallel Computing Technologies: 5th International Conference, Pact-99, St. Petersburg, Russia, September 6-10, 1999: Proceedings
1663. Algorithms and Data Structures: 6th International Workshop, Wads'99, Vancouver, Canada, August 11-14, 1999, Proceedings
1663. Perturbation Theory for the Schrodinger Operator with a Periodic Potential, Vol. 166
1664. Concur'99 Concurrency Theory
1664. Ideal Spaces
1665. Graph-Theoretic Concepts in Computer Science
1666. Advances in Cryptology - Crypto '99: 19th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 1999 Proceedings
1667. Dependable Computing, Edcc-3: Third European Dependable Computing Conference, Prague, Czech Republic, September 1999: Proceedings
1668. Algorithm Engineering: 3rd International Workshop, Wae'99 London, UK, July 19-21, 1999 Proceedings
1669. Automated Deduction in Geometry: Second International Workshop, Adg '98, Beijing, China, August 1998: Proceedings
1670. Cooperative Buildings: Integrating Information, Organizations and Architecture: Second International Workshop, Cobuild '99, Pittsburgh, USA,
1671. Randomization, Approximation, and Combinatorial Optimization: Algorithms and Techniques: Third International Workshop on Randomization and Approximati
1672. Projective Modules and Complete Intersections
1672. Mathematical Foundations of Computer Science 1999: 24th International Symposium, Mfcs'99 Szklarska Poreba, Poland, September 6-10, 1999: Proceedings
1673. Field-Programmable Logic and Applications: 9th International Workshop, Fpl '99, Glasgow, UK, August 1999: Proceedings
1674. Advances in Artificial Life: 5th
1674. Linear Pro-P-Groups of Finite Width
1675. System Configuration Management
1676. Data Warehousing and Knowledge Discovery
1678. Spatio-Temporal Database Management
1680. Practical Aspects of Spin Model-Checking: 6th International Workshop, Spin'99, Held as FM'99 User Group Meeting, Toulouse, France, September 21 and 24
1682. Scale-Space Theories in Computer Vision
1683. Computer Science Logic
1686. Internet Programming Languages: Iccl'98 Workshop, Held in Chicago, Il, USA, May 13, 1998: Proceedings
1687. Software Engineering - Esec/Fse '99
1689. Computer Analysis of Images and Patterns: 8th International Conference, Caip'99, Ljubliana, Slovenia, September 1-3, 1999: Proceedings
1691. Advances in Databases and Information Systems
1692. Text, Speech, and Dialogue: Second International Workshop Tsd'99, Plzen, Czech Republic, September 13-17, 1999: Proceedings
1695. Progress in Artificial Intelligence
1698. Computer Safety, Reliability, and Security: 18th International Conference, Safecomp '99, Toulouse, France, September 27-29, 1999: Proceedings
1699. Intelligent Agents for Telecommunication Applications: Third International Workshop, Iata'99, Stockholm, Sweden, August 1999: Proceedings
1700. Active Technologies for Network and Service Management: 10th Ifip/IEEE International Workshop on Distributed Systems, Operations and Management, Dsom'
1701. KI-99: Advances in Artificial Intelligence
1702. Principles and Practice of Declarative Programming: International Conference Ppdp'99, Paris, France, September/October 1999: Proceedings
1703. Correct Hardware Design and Verification Methods
1704. Principles of Data Mining and Knowledge Discovery: Third European Conference, Pkdd '99, Prague, Czech Republic, September 1999: Proceedings
1705. Logic Programming and Automated Reasoning: 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999: Proceedings
1707. Handheld and Ubiquitous Computing: First International Symposium, Huc '99, Karlsruhe, Germany, September 1999: Proceedings
1710. Correct System Design: Recent Insights and Advances
1711. New Directions in Rough Sets, Data Mining, and Granular-Soft Computing: 7th International Workshop, Rsfdgrc'99, Yamaguchi, Japan, November 1999: Proce
1713. Principles and Practice of Constraint Programming-Cp'99: 5th International Conference, Cp99, Alexandria, Va, USA, October 11-14, 1999: Proceedings
1714. Information Extraction
1715. Machine Learning and Data Mining in Pattern Recognition
1717. Cryptographic Hardware and Embedded Systems: First International Workshop, Ches '99, Worchester, Ma, USA, August 1999: Proceedings
1718. Interactive Distributed Multimedia Systems and Telecommunication Services: 6th International Workshop, Idms '99, Toulouse, France, October 12-15, 1999
1721. Discovery Science
1724. Semiclassical Analysis for Diffusions and Stochastic
1724. Sensor Based Intelligent Robots: International Workshop, Dagstuhl Castle, Germany, September 28-October 2, 1998: Selected Papers
1727. Advances in Conceptual Modeling: Er'99 Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World
1732. Computing in Object-Oriented Parallel Environments: Third International Symposium, Iscope 99, San Francisco, CA, USA, December 1999: Proceedings
1733. Approaches to Intelligent Agents
1734. Sci-Scalable Coherent Interface: Architecture and Software for HGH-Performance Compute Clusters
1735. Incremental Speech Translation
1739. Gesture-Based Communication in Human Computer Interaction: International Gesture Workshop, GW '99, GIF-Sur-Yvette, France, March 17-19, 1999: Proceedi
1740. Secure Networking -- Cqre (Secure) '99: International Exhibition and Congress Cqre'99, Dusseldorf, Germany, November 30-December 2, 1999: Proceedings
1741. Algorithms and Computation: 10th International Symposium, Isaac'99, Chennai, India, December 16-18, 1999; Proceedings
1742. Advances in Computing Science--Asian '99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999: Proceedings
1743. Object-Oriented Technology: Ecoop'99 Workshop Reader: Ecoop'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999: Proceedings
1744. Grading Knowledge: Extracting Degree Information from Texts
1745. High Performance Computing--HIPC'99: 6th International Conference, Calcutta, India, December 1999: Proceedings
1746. Cryptography and Coding: 7th Ima Conference, Cirencester, UK, December 20-22, 1999: Proceedings
1747. Advanced Topics in Artificial Intelligence: 12th Australian Joint Conference on Artificial Intelligence, AI'99, Sydney, Australia, December 6-10, 1999
1748. Mobile Data Access: First International Conference, Mda '99, Hong Kong, China, December 1999: Proceedings
1749. Internet Applications: 5th International Computer Science Conference, Icsc '99, Hong Kong, China, December 1999: Proceedings
1752. Introduction to Algebraic Independence Theory
1756. Learning Software Organizations: Methodology and Applications: 11th International Conference on Software Engineering and Knowledge Engineering, Seke'9
1757. Intelligent Agents VI: Agent Theories, Architectures, and Languages: 6th International Workshop (Atal'99), Orlando, Florida, USA,
1758. Selected Areas in Cryptography
1760. Formal Models of Agents
1762. Foundations of Information and Knowledge Systems
1763. Discrete and Computational Geometry: Second Japanese Conference, Jcdcg'98, Tokyo, Japan, December 9-12, 1998, Revised Papers
1764. Graph Grammars and Their Application to Computer Science: 6th International Workshop, Paderborn, Germany, November 16-20, 1998: Selected Papers
1766. Limit Theorems for Markov Chains and Stochastic Properties of Dynamical Systems by Quasi-Compactness
1767. Holomorphic Q Classes
1768. Information Hiding
1769. Performance Evaluation: Origins and Directions
1773. Transactions and Database Dynamics
1774. Telecommunications and It Convergence: Towards Service Evolution: 7th International Conference on Intelligence in Services and Networks: Is&n 2000, At
1778. Hybrid Neural Systems
1779. Applications of Graph Transformations with Industrial Relevance: International Workshop, Agtive'99, Kerkrade, the Netherlands, September 1-3, 1999: Pr
1780. Software Process Technology: 7th European Workshop, Ewspt 2000, Kaprun, Austria, February 21-25, 2000: Proceedings
1782. Programming Languages and Systems: 9th European Symposium on Programming, Esop 2000, Held as Part of the Joint European Conference on Theory and Pract
1783. Fundamental Approaches to Software Engineering
1785. Tools and Algorithms for the Construction and Analysis of Systems
1786. Computer Performance Evaluation. Modelling Techniques and Tools
1787. Information Security and Cryptology - Icisc'99: Second International Conference Seoul, Korea, December 9-10, 1999 Proceedings
1788. Agent Mediated Electronic Commerce II: Towards Next-Generation Agent-Based Electronic Commerce Systems
1789. Advanced Information Systems Engineering: 12th International Conference, Caise 2000, Stockholm, Sweden, June 5-9, 2000: Proceedings
1790. Hybrid Systems: Computation and Control
1793. Micai 2000: Advances in Artificial Intelligence
1795. Middleware 2000
1796. Security Protocols: 7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings
1798. Computer Aided Systems Theory - Eurocast'99: A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austr
1799. Generative and Component-Based Software Engineering: First International Symposium, Gcse '99, Erfurt, Germany, September 28-30, 1999: Revised Papers
1802. Genetic Programming
1803. Real-World Applications of Evolutionary Computing: Evoworkshops 2000: Evoiasp, Evoscondi, Evotel, Evostim, Evorob, and Evoflight, Edinburgh, Scotland,
1804. Intelligent Systems and Soft Computing
1805. Knowledge Discovery and Data Mining. Current Issues and New Applications
1806. Business Process Management
1807. Advances in Cryptology - Eurocrypt 2000
1808. Compiler Optimizations for Scalable Parallel Systems
1809. Recent Advances in AI Planning
1812. Advances in Robot Learning
1813. Learning Classifier Systems
1817. Logic-Based Program Synthesis and Transformation
1820. Smart Card. Research and Applications
1822. Advances in Artificial Intelligence: Proceedings of the 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI
1824. Static Analysis
1825. Application and Theory of Petri Nets 2000
1828. Sequence Learning: Paradigms, Algorithms, and Applications
1832. Advances in Databases: 17th British National Conference on Databases, Bncod 17, Exeter, UK, July 3-5, 2000: Proceedings
1833. Rewriting Techniques and Applications
1836. Web Usage Analysis and User Profiling
1838. Algorithmic Number Theory
1839. Intelligent Tutoring Systems: 5th International Conference, Its 2000, Montreal, Canada, June 19-23, 2000: Proceedings
1840. Product Focused Software Process Improvement
1841. Information Security and Privacy
1844. Software Reuse: Advances in Software Reusability: 6th International Conference, Icsr-6, Vienna, Austria, June 27-29, 2000: Proceedings
1845. Reliable Software Technologies ADA-Europe 2000
1846. Web-Age Information Management: First International Conference, Waim 2000, Shanghai, China, June 2000: Proceedings
1847. Automated Reasoning with Analytic Tableaux and Related Methods
1848. Combinatorial Pattern Matching
1851. Algorithm Theory Swat 2000: 7th Scandinavian Workshop on Algorithm Theory
1856. Robocup-99: Robot Soccer World Cup III
1857. Multiple Classifier Systems: First International Workshop, MCS 2000, Cagliari, Italy, June 21-23, 2000: Proceedings
1858. Computing and Combinatorics
1859. Index Structures for Data Warehouses
1860. Cooperative Information Agents IV: The Future of Information Agents in Cyberspace: 4th International Workshop, CIA 2000, Boston, Ma, USA, July 7-9, 20
1862. Computer Science Logic: 14th International Workshop, CSL 2000, 9th Annual Conference of the Eacsl, Fischbachau, Germany, August 2000: Proceedi
1865. New Trends Constraints: Joint Ercim Compulog-Net Workshop, Paphos, Cyprus, Greece, October 1999: Selected Proceedings
1866. Inductive Logic Programming: 10th International Conference, Ilp 2000, London, UK, July 2000: Proceedings
1868. Implementation of Functional Languages
1869. Theorem Proving in Higher Order Logics
1874. Data Warehousing and Knowledge Discovery
1875. Electronic Commerce and Web Technologies: First International Conference, EC-Web 2000, London, UK, September 2000 Proceedings
1878. Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users, York, UK, August 28-
1879. Algorithms - ESA 2000: 8th Annual European Symposium, Saarbrucken, Germany, September 5-8, 2000: Proceedings
1880. Advances in Cryptology - Crypto 2000
1881. Design and Applications of Intelligent Agents: Third Pacific Rim International Workshop on Multi-Agents, Prima 2000: Melbourne, Australia, August 28-2
1882. Agent Systems, Mobile Agents, and Applications
1883. Vision Algorithms: Theory and Practice
1887. Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems: International Workshop on Infrastructure for Scalable Multi-Agent Sy
1889. Theory and Application of Diagrams: First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 2000: Proceedings
1890. Trends in Distributed Systems: Towards a Universal Service Market
1891. Grammatical Inference: Algorithms and Applications: 5th International Colloquium, Icgi 2000, Lisbon, Portugal, September 11-13, 2000: Proceed
1892. Adaptive Hypermedia and Adaptive Web-Based Systems: International Conference, Ah 2000, Trento, Italy, August 28-30, 2000: Proceedings
1895. Computer Security - Esorics 2000
1898. Advances in Case-Based Reasoning: 5th European Workshop, Ewcbr 2000, Trento, Italy, September 6-9, 2000: Proceedings
1899. Articulated Motion and Deformable Objects
1902. Text, Speech and Dialogue: Third International Workshop, Tsd 2000, Brno, Czech Republic, September 13-16, 2000: Proceedings
1903. Open Hypermedia Systems and Structural Computing
1904. Artificial Intelligence: Methodology, Systems, and Applications: 9th International Conference, Aimsa 2000, Varna, Bulgaria, September 20-23, 20
1906. Coordination Languages and Models
1908. Recent Advances in Parallel Virtual Machine and Message Passing Interface
1910. Principles of Data Mining and Knowledge Discovery
1911. Job Scheduling Strategies for Parallel Processing: Ipdps 2000 Workshop, Jsspp 2000, Cancun, Mexico, May 1, 2000: Proceedings
1913. Approximation Algorithms for Combinatorial Optimization: Third International Workshop, Approx 2000, Saarbrucken, Germany, September 5-8, 2000: Proceed
1914. Distributed Computing
1915. Languages, Compilers, and Run-Time Systems for Scalable Computers: 5th International Workshop, Lcr 2000, Rochester, NY, USA, May 25-27, 2000: Selected
1916. Issues in Agent Communication
1918. Integrated Circuit Design: Power and Timing Modeling, Optimization, and Simulation: 10th International Workshop, Patmos 2000, Gottingen, Germany,
1921. Conceptual Modeling for E-Business and the Web
1922. Quality of Future Internet Services
1924. Semantics, Applications, and Implementation of Program Generation
1926. Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000, Pune, India, September 20-22, 2000
1927. Handheld and Ubiquitous Computing: Second International Symposium, Huc 2000 Bristol, UK, September 25-27, 2000 Proceedings
1929. Advances in Visual Information Systems
1934. Envisioning Machine Translation in the Information Future: 4th Conference of the Association for Machine Translation in the Americas, Amta 2000, Cuern
1936. Self-Adaptive Software: First International Workshop, Iwsas 2000, Oxford, UK, April 17-19, 2000: Revised Papers
1942. Active Networks
1943. Computer Safety, Reliability, and Security: 19th International Conference, Safecomp 2000, Rotterdam, the Netherlands, October 24-27, 2000 Proceedings
1944. Objects and Databases
1945. Integrated Formal Methods
1946. Interactive Systems. Design, Specification, and Verification
1947. Applied Parallel Computing: New Paradigms for HPC in Industry and Computing Proceedings: 5th International Workshop, Para 2000, Bergen, Norway, Ju
1952. Advances in Artificial Intelligence
1953. Discrete Geometry for Computer Imagery
1954. Formal Methods in Computer-Aided Design
1955. Logic Programming and Automated Reasoning
1956. Types for Proofs and Programs
1957. Agent-Oriented Software Engineering: First International Workshop, Aose 2000, Limerick, Ireland, June 2000: Revised Papers
1958. IT-Security and Privacy: Design and Use of Privacy-Enhancing Security Mechanisms
1959. Natural Language Processing and Information Systems
1960. Services Management in Intelligent Networks: 11th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2000, Austi
1961. Advances in Computing Science - Asian 2000: 6th Asian Computing Science Conference, Penang, Malaysia, November 2000: Proceedings
1964. Object-Oriented Technology: Ecoop 2000 Workshop Reader
1966. Databases in Networked Information Systems
1967. Discovery Science
1969. Algorithms and Computation
1971. Grid Computing--Grid 2000: First IEEE/ACM International Workshop, Bangalore, India, December 17, 2000: Proceedings
1972. Engineering Societies in the Agents World: First International Workshop, Esaw 2000, Berlin, Germany, August 21, 2000: Revised Papers
1973. Database Theory--ICDT 2001: 8th International Conference, London, UK, January 4-6, 2001: Proceedings
1978. Fast Software Encryption
1981. Vector and Parallel Processing--Vecpar 2000: 4th International Conference, Porto, Portugal, June 21-23, 2000: Selected Papers and Invited Talks
1982. Algorithm Engineering
1983. Intelligent Data Engineering & Automated Learning Ideal 2000: Data Mining, Financial Engineering, & Intelligent Agents
1984. Graph Drawing
1989. Quality of Service in Multiservice IP Networks
1990. Practical Aspects of Declarative Languages
1991. Agent Mediated Electronic Commerce: The European Agentlink Sig Amec Perspective
1992. Public Key Cryptography: 4th International Workshop on Practice and Theory in Public Key Cryptosystems, Pkc 2001 Cheju Island, Korea, February
1993. Evolutionary Multi-Criterion Optimization: First International Conference, Emo 2001, Zurich, Switzerland, March 2001: Proceedings
1996. Advances in Learning Classifier Systems
1998. Robot Vision
1999. Engineering Distributed Objects
2000. Informatics
2001. Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets
2002. Constraints in Computational Logics: Theory and Applications
2004. Computational Linguistics and Intelligent Text Processing
2005. Rough Sets and Current Trends in Computing
2010. Stacs 2001: 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 2001: Proceedings
2012. Selected Areas in Cryptography
2015. Information Security and Cryptology: Icisc 2000, Third International Conference, Seoul, Korea, December 8-9, 2000: Proceedings
2016. Web Engineering
2017. Languages and Compilers for Parallel Computing
2019. Robocup 2000: Robot Soccer World Cup IV
2020. Progress in Cryptology, CT-Rsa 2001: The Cryptographers' Track at Rsa Conference 2001, San Francisco, CA, USA, April 2001: Proceedings
2021. Fme 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, P
2022. Advances in Exception Handling Techniques
2023. Lecture Notes in Computer Science, #2023: Digital Documents: Systems and Principles: 8th International Conference on Digital Documents and Electronic Publishing, Ddep 2000, 5th International W
2025. Drawing Graphs: Methods and Models
2026. High-Level Parallel Programming Models and Supportive Environments: 6th International Workshop, Hips 2001, San Francisco, CA, USA, April 23, 2001: Pro
2027. Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Softwa
2028. Programming Languages and Systems: 10th European Symposium on Programming, Esop 2001, Held as Part of the Joint European Conference on Theory and Prac
2029. Fundamental Approaches to Software Engineering
2030. Foundations of Software Science and Computation Structures
2032. Multi-Image Analysis
2033. E-Commerce Agents
2035. Advances in Knowledge Discovery and Data Mining
2036. Emergent Neural Computational Architectures Based on Neuroscience: Towards Neuroscience-Inspired Computing
2037. Applications of Evolutionary Computing: Evoworkshops 2001: Evocop, Evoflight, Evoiasp, Evolearn, and Evostim, Como, Italy, April 2001: Proceedings
2041. Java on Smart Cards: Programming and Security
2043. Reliable Software Technologies: ADA Europe 2001: 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001. Proceedings
2047. Performance Engineering: State of the Art and Current Trends
2050. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet
2051. Rewriting Techniques and Applications
2052. Information Assurance in Computer Networks. Methods, Models and Architectures for Network Security
2053. Programs as Data Objects
2054. DNA Computing
2055. Machines, Computations, and Universality
2057. Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001: Proceedings
2058. Haptic Human-Computer Interaction
2059. Visual Form: 4th International Workshop on Visual Form, IWVF-4 Capri, Italy, May 28-30, 2001. Proceedings
2060. Innovative Internet Computing Systems: International Workshop Iics 2001, Ilmenau, Germany, June 21-22, 2001: Proceedingss
2061. Automated Deduction in Geometry
2062. Constraint-Based Agents
2063. Computers and Games
2064. Computability and Complexity in Analysis: 4th International Workshop, Cca 2000, Swansea, UK, September 17-19, 2000, Selected Papers
2066. Computational Biology
2071. Types in Compilation: Third International Workshop, Tic 2000, Montreal, Canada, September 21, 2000: Proceedings
2072. Ecoop 2001 - Object-Oriented Programming: 15th European Conference, Budapest, Hungary, June 18-22, 2001: Proceedings
2075. Applications and Theory of Petri Nets 2001
2077. Software Process Technology: 8th European Workshop, Ewspt 2001, Witten, Germany, June 19-21, 2001: Proceedings
2078. Sdl 2001: Meeting UML
2080. Case-Based Reasoning Research and Development: 4th International Conference on Case-Based Reasoning, Iccbr 2001, Vancouver, BC, Canada, July 30-August
2082. Information Processing in Medical Imaging
2083. Automated Reasoning: First International Joint Conference, Ijcar 2001, Siena, Italy, June 18-23, 2001: Proceedings
2086. Multi-Agent Systems and Applications
2087. Conditionals in Nonmonotonic Reasoning and Belief Revision
2088. Implementation and Application of Automata: 5th International Conference, Ciaa 2000, London, Ontario, Canada, July 24-25, 2000: Revised Papers
2089. Combinatorial Pattern Matching
2096. Multiple Classifier Systems: Second International Workshop, MCS 2001, Cambridge, UK, July 2-4, 2001: Proceedings
2097. Advances in Databases
2098. Discrete and Computational Geometry
2100. Non-Standard Inferences in Description Logics
2101. Artificial Intelligence in Medicine: 8th Conference on AI in Medicine in Europe, Aime 2001, Cascais, Portugal, July 1-4, 2001: Proceedings
2102. Computer Aided Verification
2103. Balancing Reactivity and Social Deliberation in Multi-Agent Systems
2104. Openmp Shared Memory Parallel Programming: International Workshop on Openmp Applications and Tools, Wompat 2001, West Lafayette, In, USA, July 30-31,
2105. The Human Society and the Internet: Internet-Related Socio-Economic Issues, First International Conference Human.Society@internet 2001, Seoul, Korea,
2106. Scale-Space and Morphology in Computer Vision
2108. Computing and Combinatorics
2109. User Modeling 2001: 8th International Conference, Um 2001, Sonthofen, Germany, July 2001: Proceedings
2114. Data Warehousing and Knowledge Discovery: Third International Conference, Dawak 2001, Munich, Germany, September 5-7, 2001: Proceedings
2114. Data Warehousing and Knowledge Discovery
2117. Cognitive Technology: Instruments of Mind: 4th International Conference, CT 2001, Warwick, UK, August 2001: Proceedings
2118. Advances in Web-Age Information Management
2119. Information Security and Privacy: 6th Australian Conference, Acisp 2001, Sydney, Australia, July 11-13, 2001: Proceedings
2120. Conceptual Structures: Broadening the Base
2121. Advances in Spatial and Temporal Databases: 7th Internaitonal Symposium, Sstd 2001, Redondo Beach, CA, USA, July 12-15, 2001: Proceedings
2123. Machine Learning and Data Mining in Pattern Recognition
2124. Computer Analysis of Images and Patterns: 9th International Conference, Caip 2001, Warsaw, Poland, September 5-7, 2001: Proceedings
2126. Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001: Proceedings
2127. Parallel Computing Technologies
2129. Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques: 4th International Workshop on Approximation Algorithms for Co
2131. Recent Advances in Parallel Virtual Machine and Message Passing Interface
2133. Security Protocols
2136. Mathematical Foundations of Computer Science 2001: 26th International Symposium, Mfcs 2001, Marianske Lazne, Czech Republic, August 2001: Proceedings
2141. Algorithm Engineering: 5th International Workshop, Wae 2001, Aarhus, Denmark, August 28-21, 2001: Proceedings
2144. Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001, Livingston, Scotland, UK, Septe
2145. A Generative Theory of Shape
2151. Advances in Databases and Information Systems
2152. Theorem Proving in Higher Order Logics
2156. Quality of Future Internet Services
2157. Inductive Logic Programming
2158. Interactive Distributed Multimedia Systems
2162. Cryptographic Hardware and Embedded Systems - Ches 2001
2166. Text, Speech, and Dialogue: 4th International Conference, Tsd 2001, Zelezna Ruda, Czech Republic, September 11-13, 2001: Proceedings
2167. Machine Learning: Ecml 2001
2168. Principles of Data Mining and Knowledge Discovery
2170. Evolutionary Trends of the Internet
2171. Foundations of Security Analysis and Design
2172. Cooperative Information Systems: 9th International Conference, Coopis 2001, Trento, Italy, September 5-7, 2001: Proceedings
2174. KI 2001: Advances in Artificial Intelligence
2175. AI*Ia 2001: Advances in Artificial Intelligence
2176. Advances in Learning Software Organizations: Third International Workshop, Lso 2001, Kaiserslautern, Germany, September 12-13, 2001: Proceedings
2177. Generative and Component-Based Software Engineering
2178. Computer Aided Systems Theory - Eurocast 2001
2179. Large-Scale Scientific Computing
2180. Distributed Computing
2181. Digital Earth Moving: First International Symposium, Dem 2001, Manno, Switzerland, September 2001: Proceedings
2183. Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001: Proceedings
2184. Multimedia Databases and Image Communication
2186. Generative and Component-Based Software Engineering
2187. Computer Safety, Reliability and Security: 20th International Conference, Safecomp 2001, Budapest, Hungary, September 26-28, 2001: Proceedings
2188. Product Focused Software Process Improvement
2190. Intelligent Virtual Agents: Third International Workshop, Iva 2001, Madrid, Spain, September 10-11, 2001: Proceedings
2192. Metalevel Architectures and Separation of Crosscutting Concerns
2193. Technologies for E-Services
2194. Self-Stabilizing Systems
2200. Information Security: 4th International Conference, Isc 2001, Malaga, Spain, October 1-3, 2001: Proceedings
2201. Ubicomp 2001: Ubiquitous Computing: Third International Conference Atlanta, Georgia, USA, September 30 - October 2, 2001 Proceedings
2202. Theoretical Computer Science
2203. Engineering Societies in the Agents World II
2204. Graph-Theoretic Concepts in Computer Science
2205. Spatial Information Theory. Foundations of Geographic Information Science
2207. Active Networks
2208. Medical Image Computing and Computer-Assisted Intervention - Miccai 2001: 4th International Conference Utrecht, the Netherlands, October 14-17, 2001.
2210. Evolvable Systems: From Biology to Hardware
2211. Embedded Software
2212. Recent Advances in Intrusion Detection
2214. Automata Implementation
2216. Management of Multimedia Networks and Services: 4th Ifip/IEEE International Conference, Mmns 2001, Chicago, Il, USA, October/November 2001: Proceeding
2222. Agent-Oriented Software Engineering II
2223. Algorithms and Computation
2226. Discovery Science
2229. Information and Communications Security
2235. Multiset Processing
2236. Cooperative Environments for Distributed Systems Engineering
2237. Logic Programming
2238. Sensor Based Intelligent Robots
2239. Principles and Practice of Constraint Programming - Cp 2001
2241. Computational Combinatorial Optimization
2244. Perspectives of System Informatics
2245. Fst Tcs 2001: Foundations of Software Technology and Theoretical Computer Science
2246. Trust in Cyber-Societies
2250. Logic for Programming, Artificial Intelligence, and Reasoning
2251. Wavelet Analysis and Its Applications Tang, Y.Y.
2252. Active Media Technology
2253. New Frontiers in Artificial Intelligence
2254. Engineering for Human-Computer Interaction
2257. Practical Aspects of Declarative Languages
2259. Selected Areas in Cryptography
2263. Object Modeling with the Ocl: The Rationale Behind the Object Constraint Language
2266. Hypermedia: Openness, Structural Awareness, and Adaptivity
2267. Recent Trends in Algebraic Development Techniques
2268. Embedded Processor Design Challenges
2269. Software Visualization: International Seminar, Dagstuhl Castle, Germany, May 2001: Revised Lectures
2270. On-Line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
2271. Topics in Cryptology - CT-Rsa 2002
2275. Advances in Soft Computing - Afss 2002
2277. Types for Proofs and Programs
2278. Genetic Programming
2279. Applications of Evolutionary Computing
2281. Progress in Discovery Science
2282. Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources
2283. Isabelle/Hol
2285. Stacs 2002
2286. Latin 2002: Theoretical Informatics
2287. Advances in Database Technology - Edbt 2002
2288. Information Security and Cryptology - Icisc 2001
2289. Hybrid Systems: Computation and Control
2290. Software Product-Family Engineering: 4th International Workshop, Pfe 2001, Bilbao, Spain, October 3-5, 2001: Revised Papers
2291. Advances in Information Retrieval
2292. Theoretical Aspects of Computer Science
2294. Verification, Model Checking, and Abstract Interpretation
2296. From Theory to Practice in Multi-Agent Systems
2297. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 2000, Revised
2298. Gesture and Sign Languages in Human-Computer Interaction: International Gesture Workshop, GW 2001, London, UK, April 18-20, 2001: Revised Papers
2299. Trends in Network and Pervasive Computing Arcs 2002
2300. Formal and Natural Computing
2301. Discrete Geometry for Computer Imagery: 10th International Conference, Dgci 2002, Bordeaux, France, April 3-5, 2002: Proceedings
2302. Programming Constraint Services
2303. Foundations of Software Science and Computation Structures
2304. Compiler Construction
2307. Association Rule Mining
2309. Frontiers of Combining Systems
2311. Soft-Ware 2002: Computing in an Imperfect World
2312. Implementation of Functional Languages
2313. Micai 2002 Advances in Artificial Intelligence
2315. Coordination Models and Languages: 5th International Conference, Coordination 2002, York, UK, April 8-11, 2002: Proceedings
2316. Inference Control in Statistical Databases
2317. Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002, Callaway Gardens, Ga, USA, April 18-20, 2002: Proceedings
2319. Software Reuse: Methods, Techniques, and Tools: 7th International Conference, Icsr-7, Austin, TX, USA, April 2002: Proceedings
2320. Security and Privacy in Digital Rights Management
2321. Advances in Learning Classifier Systems
2322. Multi-Agent Systems and Applications II
2325. Power-Aware Computer Systems
2332. Advances in Cryptology - Eurocrypt 2002
2333. Intelligent Agents VIII
2337. Integer Programming and Combinatorial Optimization
2339. Financial Cryptography
2340. DNA Computing
2341. High-Dimensional Indexing: Transformational Approaches to High-Dimensional Range and Similarity Searches
2343. Information Networking. Wireless Communications Technologies and Network Applications
2344. Information Networking. Wireless Communications Technologies and Network Applications: International Conference, Icoin 2002, Cheju Island, Korea, Janu
2346. Innovative Internet Computing Systems
2348. Advanced Information Systems Engineering: 14th International Conference, Caise 2002, Toronto, Canada, May 2002: Proceedings
2349. Software Quality - Ecsq 2002
2350. Computer Vision - Eccv 2002
2355. Fast Software Encryption: 8th International Workshop, Fse 2002, Yokohama, Japan, April 2-4, 2002: Proceedings
2360. Applications and Theory of Petri Nets 2002
2361. Reliable Software Technologies - ADA-Europe 2002
2362. Digital Cities II. Computational and Sociological Approaches
2365. Fast Software Encryption
2366. Foundations of Intelligent Systems
2367. Applied Parallel Computing: Advanced Scientific Computing: 6th International Conference, Para 2002, Espoo, Finland, June 2002: Proceedings
2368. Algorithm Theory Swat 2002
2370. Component Deployment
2372. Logic Based Program Synthesis and Transformation
2373. Combinatorial Pattern Matching
2374. Ecoop 2002 - Object-Oriented Programming
2375. Computational Learning Theory
2376. Web Engineering and Peer-To-Peer Computing
2379. Software Product Lines: Second International Conference, Splc2, San Diego, CA, USA, August 19-22, 2002: Proceedings
2381. Automated Reasoning with Analytic Tableaux and Related Methods
2382. Next Generation Information Technologies and Systems
2383. Image and Video Retrieval: International Conference, Civr 2002, London, UK, July 2002: Proceedings
2384. Information Security and Privacy
2385. Artificial Intelligence, Automated Reasoning, and Symbolic Computation
2386. Mathematics of Program Construction
2387. Computing and Combinatorics
2388. Pattern Recognition with Support Vector Machines
2389. Advances in Natural Language Processing
2390. Graphics Recognition. Algorithms and Applications
2391. Fme 2002: Formal Methods-Getting It Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 2002: Pro
2392. Automated Deduction - Cade-18
2393. Conceptual Structures: Integration and Interfaces: 10th International Conference on Conceptual Structures, Iccs 2002, Borovets, Bulgaria, Jul
2394. Advances in Data Mining
2395. Applied Semantics: Advanced Lectures
2397. Database Programming Languages
2401. Logic Programming
2403. Foundations and Applications of Multi-Agent Systems
2404. Computer Aided Verification
2408. Computational Logic: Logic Programming and Beyond: Essays in Honor of Robert A. Kowalski
2409. Algorithm Engineering and Experiments: 4th International Workshop, Alenex 2002, San Francisco, CA, USA, January 4-5. 2002: Revised Papers
2411. Mobile Human-Computer Interaction
2413. Intelligent Agents and Multi-Agent Systems
2414. Pervasive Computing: First International Conference, Pervasive 2002, Za1/4rich, Switzerland, August 26-28, 2002. Proceedings
2417. Pricai 2002: Trends in Artificial Intelligence: 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan,
2418. Extreme Programming and Agile Methods - XP/Agile Universe 2002
2419. Advances in Web-Age Information Management: Third International Conference, Waim 2002, Beijing, China, Augustv2002: Proceedings
2420. Mathematical Foundations of Computer Science 2002
2421. Concur 2002 Concurrency Theory
2422. Algebraic Methodology and Software Technology
2423. Document Analysis Systems V
2425. Object-Oriented. Information Systems
2426. Advances in Object-Oriented Information Systems
2428. Interactive Markov Chains
2429. Peer-To-Peer Systems
2434. Computer Safety, Reliability and Security
2435. Advances in Databases and Information Systems
2436. Advances in Web-based Learning
2440. Groupware: Design, Implementation, and Use
2441. Functional and Logic Programming
2443. Artificial Intelligence: Methodology, Systems, and Applications
2444. Technologies for E-Services
2449. Pattern Recognition
2451. Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation
2457. Advances in Information Systems
2460. UML 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools
2461. Algorithms - ESA 2002
2462. Approximation Algorithms for Combinatorial Optimization
2463. Ant Algorithms
2465. Conceptual Modeling for New Information Systems Technologies
2467. Security Protocols
2468. Distributed Communities on the Web
2469. Formal Techniques in Real-Time and Fault-Tolerant Systems
2470. Principles and Practice of Constraint Programming - Cp 2002
2471. Computer Science Logic
2474. Recent Advances in Parallel Virtual Machine and Message Passing Interface
2476. String Processing and Information Retrieval: 9th International Symposium, Spire 2002, Lisbon, Portugal, September 11-13, 2002 Proceedings
2480. Engineering and Deployment of Cooperative Information Systems
2481. Languages and Compilers for Parallel Computing: 15th Workshop, Lcpc 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
2482. Privacy Enhancing Technologies
2483. Randomization and Approximation Techniques
2485. Dependable Computing Edcc-4
2486. Neural Nets
2487. Generative Programming and Component Engineering
2491. Embedded Software
2492. Articulated Motion and Deformable Objects
2493. Cellular Automata
2495. Formal Methods and Software Engineering
2496. Management of Multimedia on the Internet
2497. Advanced Lectures on Networking
2498. Ubicomp 2002: Ubiquitous Computing
2500. Automata, Logics, and Infinite Games: A Guide to Current Research
2501. Advances in Cryptology - Asiacrypt 2002
2502. Computer Security -- Escorics 2002
2505. Graph Transformation
2506. Management Technologies for E-Commerce and E-Business Applications
2508. Distributed Computing
2509. Unconventional Models of Computation
2510. Eurasia-Ict 2002: Information and Communication Technology
2511. From Qos Provisioning to Qos Charging
2512. Web Services, E-Business, and the Semantic Web
2513. Information and Communications Security
2515. Protocols and Systems for Interactive and Distributed Multimedia
2516. Recent Advances in Intrusion Detection: 5th Internatonal Symposium, Raid 2002, Zurich, Switzerland, October 16-18, 2002: Proceedings
2517. Formal Methods in Computer-Aided Design
2518. Algorithms and Computation
2520. Spatio-Temporal Databases: The Chorochronos Approach
2521. Mobile Agents for Telecommunication Applications: 4th International Workshop, Mata 2002, Barcelona, Spain, October 2002: Proceedings
2523. Cryptographic Hardware and Embedded Systems - Ches 2002
2524. Mobile Communications: 7th Cdma International Conference, CIC 2002, Seoul, Korea, October 29 - November 1, 2002, Revised Papers
2525. Biologically Motivated Computer Vision
2526. Medical Data Analysis
2528. Graph Drawing
2529. Formal Techniques for Networked and Distributed Systems - Forte 2002
2532. Advances in Multimedia Information Processing - Pcm 2002
2535. Mobile Agents
2536. Grid Computing - Grid 2002
2537. Job Scheduling Strategies for Parallel Processing
2538. Developing an Infrastructure for Mobile and Wireless Systems
2540. Sofsem 2002: Theory and Practice of Informatics
2542. Numerical Methods and Applications
2544. Databases in Networked Information Systems
2545. Interactive Systems. Design, Specification, and Verification
2546. Active Networks
2547. Experimental Algorithmics
2548. Object-Oriented Technology. Ecoop 2002 Workshop Reader
2549. Concurrency and Hardware Design
2550. Advances in Computing Science - Asian 2002: Internet Computing and Modeling, Grid Computing, Peer-To-Peer Computing, and Cluster Computing
2551. Progress in Cryptology - Indocrypt 2002
2552. High Performance Computing - HIPC 2002
2553. Natural Language Processing and Information Systems
2555. Digital Libraries: People, Knowledge, and Technology
2556. Fst Tcs 2002: Foundations of Software Technology and Theoretical Computer Science
2558. Data Mining on Multimedia Data
2559. Product Focused Software Process Improvement
2561. Relational Methods in Computer Science
2562. Practical Aspects of Declarative Languages
2563. Advances in Informatics
2564. Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, Wrac 2002, McLean, Va, USA, January 16-18, 2002.
2565. High Performance Computing for Computational Science - Vecpar 2002
2566. The Essence of Computation
2567. Public Key Cryptography-PKG 2003
2568. DNA Computing
2571. Distributed Computing
2572. Database Theory - Icdt 2003
2573. Graph-Theoretic Concepts in Computer Science
2574. Mobile Data Management: 4th International Conference, MDM 2003, Melbourne, Australia, January 21-24, 2003, Proceedings
2575. Verification, Model Checking, and Abstract Interpretation
2576. Security in Communication Networks
2578. Information Hiding 5TH International W
2580. Cots-Based Software Systems
2582. Semantics in Databases: Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers
2584. Future Directions in Distributed Computing
2585. Agent-Oriented Software Engineering III
2587. Information Security and Cryptology - Icisc 2002: 5th International Conference, Seoul, Korea, November 28-29, 2002, Revised Papers
2589. Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
2590. Efficiency and Effectiveness of XML Tools and Techniques and Data Integration Over the Web
2591. Objects, Components, Architectures, Services, and Applications for a Networked World
2593. Web, Web-Services, and Database Systems
2595. Selected Areas in Cryptography
2596. Software Engineering and Middleware: Third International Workshop, Sem 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers
2597. Membrane Computing
2598. Computer Science in Perspective: Essays Dedicated to Thomas Ottmann
2599. Telecommunications and Beyond: The Broader Applicability of Sdl and Msc: Third International Workshop, Sam 2002, Aberystwyth, UK, June 24-26, 2002. Re
2600. Advanced Lectures on Machine Learning: Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures
2601. Quality of Service in Multiservice IP Networks
2603. Software Engineering for Large-scale Mulit-agent Systems
2604. Scientific Engineering for Distributed Java Applications
2606. Evolvable Systems: From Biology to Hardware
2607. Stacs 2003: 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Procee
2609. Software Security -- Theories and Systems: Mext-Nsf-Jsps International Symposium, Isss 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers
2610. Genetic Programming: 6th European Conference, Eurogp 2003, Essex, UK, April 14-16, 2003. Proceedings
2611. Applications of Evolutionary Computing
2613. Digital Watermarking
2614. Self-Adaptive Software: Second International Workshop, Iwsas 2001, Balatonf]red, Hungary, May 17-19, 2001 Revised Papers
2615. Universal Access. Theoretical Perspectives, Practice, and Experience
2616. Geometry, Morphology, and Computational Imaging: 11th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany,
2617. Design and Control of Workflow Processes: Business Process Management for the Service Industry
2618. Programming Languages and Systems
2619. Tools and Algorithms for the Construction and Analysis of Systems
2620. Foundations of Software Science and Computational Structures
2621. Fundamental Approaches to Software Engineering
2622. Compiler Construction
2623. Hybrid Systems: Computation and Control: 6th International Workshop, Hscc 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
2624. Languages and Compilers for Parallel Computing
2625. Algorithms for Memory Hierarchies
2626. Computer Vision Systems: Third International Conference, Icvs 2003, Graz, Austria, April 1-3, 2003, Proceedings
2628. Advanced Symbolic Analysis for Compilers
2629. Formal Aspects of Security
2632. Evolutionary Multi-Criterion Optimization: Second International Conference, Emo 2003, Faro, Portugal, April 8-11, 2003, Proceedings
2633. Advances in Information Retrieval
2634. Information Processing in Sensor Networks
2638. Advanced Functional Programming
2641. Metainformatics
2642. Web Technologies and Applications
2644. Testing of Communicating Systems: 15th Ifip International Conference, Testcom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings
2646. Types for Proofs and Programs
2647. Experimental and Efficient Algorithms
2648. Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 2003 Proceedings
2649. Software Configuration Management: ICSE Workshops Scm 2001 and scm 2003
2650. Communication in Multiagent Systems
2651. Zb 2003: Formal Specification and Development in Z and B
2652. Pattern Recognition and Image Analysis: First Iberian Conference, Ibpria 2003, Puerto de Andratx, Mallorca, Spain, June 4-6, 2003
2655. Reliable Software Technologies -- ADA-Europe 2003: 8th ADA-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 1
2656. Advances in Cryptology -- Eurocrypt 2003: International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8
2661. Learning Classifier Systems
2662. Information Networking: Networking Technologies for Enhanced Internet Services, International Conference, Icoin 2003, Cheju Island, Korea, Feb
2664. Logic Based Program Synthesis and Transformation
2665. Intelligence and Security Informatics: First Nsf/Nij Symposium, Isi 2003, Tucson, AZ, USA, June 2-3, 2003, Proceedings
2672. Middleware 2003: ACM/Ifip/Usenix International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings
2674. Functional Imaging and Modeling of the Heart: Second International Workshop, Fimh 2003, Lyon, France, June 5-6, 2003, Proceedings
2675. Extreme Programming and Agile Processes in Software Engineering
2676. Combinatorial Pattern Matching
2677. Architecting Dependable Systems
2679. Applications and Theory of Petri Nets 2003
2680. Modeling and Using Context: 4th International and Interdisciplinary Conference, Context 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings
2681. Advanced Information Systems Engineering: 15th International Conference, Caise 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings
2682. Database Support for Data Mining Applications
2683. Energy Minimization Methods in Computer Vision and Pattern Recognition
2685. Spatial Cognition III
2688. Audio-And Video-Based Biometrie Person Authentication: 4th International Conference, Avbpa 2003, Guildford, UK, June 9-11, 2003, Proceedings
2690. Intelligent Data Engineering and Automated Learning -- Ideal 2003: 4th International Conference, Hong Kong, China, March 21-23, 2003, Revised Papers
2692. Trust Management
2693. Component-based Software Quality
2694. Static Analysis
2695. Scale Space Methods in Computer Vision: 4th International Conference, Scale-Space 2003, Isle of Skye, UK, June 10-12, 2003, Proceedings
2697. Computing and Combinatorics
2698. Architectures for Quality of Service in the Internet
2701. Lecture Notes in Computer Science, #2701: Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, June 10-12, 2003, Proceedings
2704. Self-stabilizing Systems
2707. Quality of Service - Iwqos 2003
2708. Sdl 2003: System Design
2710. Developments in Language Theory
2711. Symbolic and Quantitative Approaches to Reasoning with Uncertainty
2712. New Horizons in Information Management
2713. Web Communication Technologies and Internet-Related Social Issues - Hsi 2003
2714. Artificial Neural Networks and Neural Information Processing - Icann/Iconip 2003: Joint International Conference Icann/Iconip 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings
2716. Openmp Shared Memory Parallel Programming
2717. Biomedical Image Registration
2720. High-Speed Networks and Multimedia Communications
2721. Computational Processing of the Portuguese Language
2722. Web Engineering
2725. Computer Aided Verification
2726. Graph Based Representations in Pattern Recognition
2727. Information Security and Privacy
2728. Image and Video Retrieval
2731. Discrete Mathematics and Theoretical Computer Science
2732. Information Processing in Medical Imaging
2733. Smart Grapics: Third International Symposium, Sg 2003, Heidelberg, Germany, July2-4, 2003, Proceedings
2735. Peer-To-Peer Systems II
2736. Database and Expert Systems Applications: 14th International Conference, Dexa 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings
2737. Data Warehousing and Knowledge Discovery
2739. Electronic Government
2741. Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
2743. Ecoop 2003 - Object-Oriented Programming
2744. Holonic and Multi-Agent Systems for Manufacturing: First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, Holom
2745. Parallel and Distributed Processing and Applications
2746. Conceptual Structures for Knowledge Creation and Communication
2747. Mathematical Foundations of Computer Science 2003
2748. Algorithms and Data Structures
2749. Image Analysis: 13th Scandinavian Conference, Scia 2003, Halmstad, Sweden, June 29 - July 2, 2003, Proceedings
2750. Advances in Spatial and Temporal Databases
2752. Robocup 2002: Robot Soccer World Cup VI
2753. Extreme Programming and Agile Methods - XP/Agile Universe 2003
2754. Security Engineering with Patterns
2755. Recent Trends in Algebraic Development Techniques
2756. Computer Analysis of Images and Patterns: 10th International Conference, Caip 2003, Groningen, the Netherlands, August 25-27, 2003, Proceedings
2757. Formal Methods at the Crossroads. from Panacea to Foundational Support: 10th Anniversary Colloquium of Unu/Iist, the International Institute for Softw
2758. Theorem Proving in Higher Order Logics
2760. Privacy Enhancing Technologies
2761. Concur 2003 - Concurrency Theory
2762. Advances in Web-Age Information Management: 4th International Conference, Waim 2003, Chengdu, China, August 17-19, 2003, Proceedings
2763. Parallel Computing Technologies
2765. Empirical Methods and Studies in Software Engineering
2766. Hierarchical Neural Networks for Image Interpretation
2767. Formal Techniques for Networked and Distributed Systems - Forte 2003
2768. Lecture Notes in Computer Science, #2768: Mathematics of Surfaces: 10th Ima International Conference, Leeds, UK, September 15-17, 2003, Proceedings
2771. Computer Music Modeling and Retrieval: International Symposium, Cmmr 2003, Montpellier, France, May 26-27, 2003, Revised Papers
2772. Verification: Theory and Practice
2773. Knowledge-based Intelligent Information and Engineering Systems
2776. Computer Network Security
2779. Cryptographic Hardware and Embedded Systems -- Ches 2003
2781. Pattern Recognition
2784. Advanced Conceptual Modeling Techniques
2785. Advances in Cross-Language Information Retrieval: Third Workshop of the Cross-Language Evaluation Forum, Clef 2002. Rome, Italy, September 19-20, 2002
2786. Software Process Technology
2787. Artificial Immune Systems
2788. Computer Safety, Reliability, and Security
2789. Modular Programming Languages
2793. Generic Programming: Advanced Lectures
2794. Computer Performance Evaluation. Modelling Techniques and Tools: 13th International Conference, Tools 2003, Urbana, Il, USA, September 2-5, 2003, Proc
2795. Human-Computer Interaction with Mobile Devices and Services
2796. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003. Proceeding
2798. Advances in Databases and Information Systems: 7th East European Conference, Adbis 2003, Dresden, Germany, September 3-6, 2003, Proceedings
2799. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
2800. Journal on Data Semantics I
2802. Security in Pervasive Computing
2803. Computer Science Logic
2804. Formal Methods for Software Architectures
2806. Groupware: Design, Implementation, and Use
2808. Computer Security - Esorics 2003
2809. Computer Aided Systems Theory - Eurocast 2003: 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, Februar
2811. Quality for All
2813. Conceptual Modeling -- Er 2003
2814. Conceptual Modeling for Novel Application Domains
2815. Composition of Secure Multi-Party Protocols
2816. Group Communications and Charges; Technology and Business Models
2818. Intelligent Search on XML Data
2819. Technologies for E-Services
2820. Recent Advances in Intrusion Detection
2822. Databases in Networked Information Systems
2823. Advances in Computer Systems Architecture
2824. Database and XML Technologies
2826. Software and Compilers for Embedded Systems
2828. Communications and Multimedia Security
2830. Generative Programming and Component Engineering: Second International Conference, Gpce 2003, Erfurt, Germany, September 22-25, 2003, Proceedings
2832. Algorithms - ESA 2003
2834. Advanced Parallel Processing Technologies
2836. Information and Communications Security
2837. Machine Learning: Ecml 2003: 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings
2838. Knowledge Discovery in Databases: Pkdd 2003
2839. Management of Multimedia Networks and Services
2840. Recent Advances in Parallel Virtual Machine and Message Passing Interface: 10th European Pvm/Mpi Users' Group Meeting, Venice, Italy, September 29 - O
2841. Theoretical Computer Science: 8th Italian Conference, Ictcs 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings
2843. Discovery Science
2844. Interactive Systems. Design, Specification, and Verification
2845. Security Protocols
2846. Applied Cryptography and Network Security
2847. Dependable Computing
2848. Distributed Computing
2849. Visual Content Processing and Representation
2851. Information Security
2852. Formal Methods for Components and Objects
2853. Web Services - Icws-Europe 2003
2855. Embedded Software
2856. Quality of Future Internet Services
2857. String Processing and Information Retrieval
2859. Neural Nets: 14th Italian Workshop on Neural Nets, Wirn Vietri 2003, Vietri Sul Mare, Italy, June 4-7, 2003, Revised Papers
2860. Correct Hardware Design and Verification Methods
2861. Global Optimization and Constraint Satisfaction: First International Workshop Global Constraint Optimization and Constraint Satisfaction, Cocos 2002,
2862. Lecture Notes in Computer Science, #2862: Job Scheduling Strategies for Parallel Processing: 9th International Workshop, Jsspp 2003, Seattle, Wa, USA, June 24, 2003, Revised Papers
2863. UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications
2864. Ubicomp 2003
2865. Ad-Hoc, Mobile, and Wireless Networks
2866. Lecture Notes in Computer Science, #2866: Discrete and Computational Geometry: Japanese Conference, Jcdcg 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers
2867. Self-Managing Distributed Systems
2868. Medical Data Analysis
2870. The Semantic Web - Iswc 2003: Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings
2874. Global Computing
2875. Ambient Intelligence
2876. Rules and Rule Markup Languages for the Semantic Web
2877. Lecture Notes in Computer Science " #2877: Innovative Internet Community Systems
2880. Graph-Theoretic Concepts in Computer Science: 29th International Workshop, Wg 2003, Elspeet, the Netherlands, June 19-21, 2003, Revised Papers
2881. Mobile Agents for Telecommunication Applications: 5TH International Workshop, Mata 2003, Marakech, Morocco, October 8-10, 2003, Proceedings
2882. Matchmaking in Electronic Markets
2883. Computers and Games: Third International Conference, CG 2002, Edmonton, Canada, July 25-27, 2002, Revised Papers
2884. Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19.21, 2003,
2885. Formal Methods and Software Engineering
2886. Discrete Geometry for Computer Imagery: 11th International Conference, Dgci 2003, Naples, Italy, November 19-21, 2003, Proceedings
2887. Fast Software Encryption: 10th International Workshop, Fse 2003, Lund, Sweden, February 24-26, 2003, Revised Papers
2890. Perspectives of Systems Informatics
2892. The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic
2893. Distributed Applications and Interoperable Systems: 4th Ifip Wg6.1 International Conference, Dais 2003, Paris, France, November 17-21, 2003, Proceedin
2894. Advances in Cryptology - Asiacrypt 2003
2895. Programming Languages and Systems
2897. Lecture Notes in Computer Science, #2897: Virtual Storytelling; Using Virtual Reality Technologies for Storytelling: Second International Conference, Icvs 2003, Toulouse, France, November 20-2
2899. Interactive Multimedia on Next Generation Networks: First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, I
2900. Casl User Manual
2901. Principles and Practice of Semantic Web Reasoning
2902. Progress in Artificial Intelligence
2905. Progress in Pattern Recognition, Speech and Image Analysis
2906. Algorithms and Computation
2907. Large-Scale Scientific Computing
2908. Information Security Applications
2910. Service-oriented Computing Icsoc 2003
2913. High Performance Computing -- HIPC 2003
2914. Fst Tcs 2003: Foundations of Software Technology and Theoretical Computer Science
2916. Logic Programming
2918. Distributed Computing - Iwdc 2003: 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings
2920. Wireless Sensor Networks Proc Germany
2921. Database Programming Languages
2923. Logic Programming and Nonmonotonic Reasoning: 7th International Conference, Lpnmr 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
2924. Distributed Multimedia Information Retrieval
2925. Validation of Stochastic Systems
2928. Wireless On-Demand Network Systems
2929. Theory and Applications of Relational Structures as Knowledge Instruments
2931. Formal Approaches to Software Testing
2932. Sofsem 2004: Theory and Practice of Computer Science
2933. Membrane Computing
2934. Regulated Agent-Based Social Systems
2936. Artificial Evolution
2938. Agent-Based Hybrid Intelligent Systems
2939. Digitial Watermarking
2940. Software Engineering for Multi-Agent Systems II
2940. XML-Based Data Management and Multimedia Engineering - Edbt 2002 Workshops
2941. Radical Innovations of Software and Systems Engineering in the Future
2947. Public Key Cryptography - PKC 2004
2948. Lecture Notes in Computer Science, #2948: Finite Fields and Applications
2950. Aspects of Molecular Computing
2953. Model Generation for Natural Language Interpretation and Analysis
2958. Languages and Compilers for Parallel Computing
2963. Higher-Level Hardware Synthesis
2965. Performance Tools and Applications to Networked Systems: Revised Tutorial Lectures (Lecture Notes)
2970. Grid Computing: First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers
2971. Information Security and Cryptology - Icisc 2003
2976. Latin 2004: Theoretical Informatics
2978. Testing of Communicating Systems: 16TH Ifip International Conference, Testcom 2004, Oxford, Uk, March 17-19, 2004., Proceedings
2980. Diagrammatic Representation and Inference
2981. Organic and Pervasive Computing--arcs 2004
2982. Active Networks
2989. Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
2992. Advances in Database Technology - Edbt 2004: 9th International Conference on Extending Database Technology, Heraklion, Crete, Greece, March 14-18, 200
2993. Hybrid Systems: Computation and Control
2995. Trust Management: Second International Conference, Itrust 2004, Oxford, Uk, March 29 - April 1, 2004, Proceedings
2997. Advances in Information Retrieval: 26TH European Conference on Ir Research, Ecir 2004, Sunderland, Uk, April 5-7, 2004, Proceedings
2999. Integrated Formal Methods: 4TH International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings
3000. Primality Testing in Polynomial Time: From Randomized Algorithms to "Primes as in P"
3003. Genetic Programming
3004. Evolutionary Computation in Combinatorial Optimization: 4TH European Conference, Evocop 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings
3005. Applications of Evolutionary Computing
3006. Selected Areas in Cryptography: 10th Annual International Workshop, Sac 2003, Ottawa, Canada, August 14-15, 2003, Revised Papers
3008. Uncertain Projective Geometry
3014. Software Product: Family Engineering (Lecture Notes)
3021. Computer Vision - Eccv 2004: 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part I (Lecture Notes)
3023. Computer Vision - Eccv 2004: 8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part III (Lecture Notes)
3027. Advances in Cryptology - Eurocrypt 2004: International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland,
3028. Probabilistic and Statistical Methods in Cryptology
3036. Computational Science - Iccs 2004: 4th International Conference, Kraksw, Poland, June 6-9, 2004, Proceedings, Part IV
3036. Computational Science- Part I: Iccs 2004
3036. Computational Science- Part III: Science Iccs 2004
3037. Computational Science - ICCS 2004: 4th International Conference Krakow, Poland, June 6-9, 2004 Proceedings, Part II
3041. Universal Access in Health Telematics
3049. Program Development in Computational Logic
3050. Privacy in Statistical Databases
3051. Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International
3059. Experimental and Efficient Algorithms
3061. Advanced Distributed Systems
3064. Integer Programming and Combinatorial Optimization
3069. Architecting Dependable Systems II
3073. Intelligence and Security Informatics
3074. Constraint Databases
3075. Logic Versus Approximation
3077. Multiple Classifier Systems: 5TH International Workshop, MCS 2004, Cagliari, Italy, June 9-11, 2004, Proceedings
3078. Medical Simulation: International Symposium, Isms 2004, Cambridge, Ma, USA, June 17-18, 2004, Proceedings
3081. Digital Cities III. Information Technologies for Social Capital: Cross-Cultural Perspectives
3082. Computational Methods in Systems Biology: International Conference Cmsb 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
3083. Component Deployment: Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings
3084. Advanced Information Systems Engineering
3086. Ecoop 2004 - Object-oriented Programming
3087. Biometric Authentication
3089. Applied Cryptography and Network Security
3091. Rewriting Techniques and Applications
3092. Extreme Programming and Agile Processes in Software Engineering
3093. Public Key Infrastructure: First European Pkiworkshop: Research and Applications, Europki 2004, Samos Island, Greece, June 25-26, 2004, Proceedin
3094. Adaptive Multimedia Retrieval: First International Workshop, Amr 2003, Hamburg, Germany, September 15-16, 2003, Revised Selected and Invited Papers (Lecture Notes)
3098. Lectures on Concurrency and Petri Nets
3099. Applications and Theory of Petri Nets 2004: 25th International Conference, Icatpn 2004, Bologna, Italy, June 21-25, 2004, Proceedings
3100. Transactions on Rough Sets I
3101. Computer Human Interaction
3102. Genetic and Evolutionary Computation
3104. Structural Information and Communication Complexity
3105. Technologies for Interactive Digital Storytelling and Entertainment
3106. Computing and Combinatorics
3107. Software Reuse: Methods, Techniques, and Tools: 8th International Conference, ICSR 2004 Madrid, Spain, July 5-9, 2004 Proceedings
3108. Information Security and Privacy
3109. Combinatorial Pattern Matching
3110. Financial Cryptography
3114. Computer Aided Verification
3115. Image and Video Retrieval
3116. Algebraic Methodology and Software Technology: 10TH International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, Proceedings
3117. Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis
3119. Mathematical Knowledge Management
3122. Lecture Notes in Computer Science " #3122: Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques: 7th
3125. Mathematics of Program Construction
3128. Querying Databases Privately
3130. Tex, XML, and Digital Typography
3132. Logic Programming: 20th International Conference, Iclp 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
3134. Extreme Programming and Agile Methods - XP/Agile Universe 2004
3135. Transactions on Rough Sets II
3137. Adaptive Hypermedia and Adaptive Web-based Systems
3142. Automata, Languages and Programming: 31st International Colloquium, Icalp 2004, Turku, Finland, July 12-16, 2004, Proceedings
3143. Advances in Web-based Learning-icwl 2004
3144. Principles of Distributed Systems
3146. Computational Neuroscience: Cortical Dynamics
3147. Integration of Software Specification for Applications in Techniques Engineering
3148. Static Analysis
3150. Medical Imaging and Augmented Reality: Proceedings of the Second International Workshop
3151. Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space
3152. Advances in Cryptology - Crypto 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004, Proceedings
3153. Mathematical Foundations of Computer Science 2004: 29th International Symposium, Mfcs 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings
3154. Software Product Lines
3156. Cryptographic Hardware and Embedded Systems - Ches 2004
3158. Ad-hoc, Mobile, and Wireless Networks
3160. Mobile Human-computer Interaction: Proceedings of the 6TH International Symposium
3161. Advanced Studies in Biometrics
3162. Parameterized and Exact Computation: First International Workshop, Iwpec 2004, Bergen, Norway, September 14-17, 2004, Proceedings
3163. Document Analysis Systems VI
3164. Power Aware Computer Systems Third Inter
3166. Entertainment Computing - Icec 2004: Third International Conference, Eindhoven, the Netherlands, September 1-3, 2004, Proceedings
3167. Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, Psse 2004 Recife, Brazil, November 23-December
3168. Computer Supported Cooperative Work in Design: 8th International Conference, Cscwd 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
3170. Concur 2004 -- Concurrency Theory
3172. Ant Colony Optimization and Swarm Intelligence
3175. Pattern Recognition
3178. Secure Data Management
3179. Articulated Motion and Deformable Objects
3180. Database and Expert Systems Applications
3181. Data Warehousing and Knowledge Discovery
3182. E-commerce and Web Technologies
3183. Electronic Government
3184. Trust and Privacy in Digital Business
3186. Database and XML Technologies
3198. Groupware: Design, Implementation, and Use
3199. Software and Compilers for Embedded Systems
3200. Information Hiding
3203. Field-programmable Logic and Applications
3205. Ubicomp 2004
3208. Principles and Practice of Semantic Web Reasoning
3209. Web Mining
3212. Image Analysis and Recognition: International Conference Iciar 2004, Porto, Portugal, September 29 - October 1, 2004, Proceedings, Part II
3218. Modular Algorithms in Symbolic Summation and Symbolic Integration
3219. Computer Safety, Reliability, and Security
3221. Algorithms Esa 2004 12TH Annual European Symposium Bergen Norway September
3223. Theorem Proving in Higher Order Logics
3224. Recent Advances in Intrusion Detection
3231. Middleware 2004
3232. Research and Advanced Technology for Digital Libraries
3234. Geographic Information Science
3236. Applying Formal Methods: Testing, Performance, and M/E-Commerce
3237. Comparative Evaluation of Multilingual Information Access Systems
3239. Artificial Immune Systems
3241. Recent Advances in Parallel Virtual Machine and Message Passing Interface
3243. Algorithms and Models for the Web-Graph
3247. Statistical Methods in Video Processing
3248. Natural Language Processing a " Ijcnlp 2004: First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers
3250. Web Services
3258. Principles and Practice of Constraint Programming - Cp 2004: 10th International Conference, Cp 2004, Toronto, Canada, September 27 - October 2004, Pro
3260. Personal Wireless Communications
3267. Global Computing
3268. Current Trends in Database Technology - Edbt 2004 Workshops: Edbt 2004 Workshops PhD, Datax, Pim, P2P&Db, and Clustweb, Heraklion, Crete, Greece, Marc
3272. Ubiquitous Mobile Information and Collaboration Systems
3277. Job Scheduling Strategies for Parallel Processing: 10th International Workshop, Jsspp 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers
3279. Peer-To-Peer Systems III: Third International Workshop, Iptps 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers
3282. List Decoding of Error-correcting Codes
3283. Intelligence in Communication Systems
3285. Applied Computing
3289. Conceptual Modeling for Advanced Application Domains (Lecture Notes)
3290. On the Move to Meaningful Internet Systems 2004: Coopis, DOA, and Odbase: Otm Confederated International Conferences, Coopis, DOA, and Odbase 2004, Ag (Lecture Notes)
3291. On the Move to Meaningful Internet Systems 2004: Coopis, DOA, and Odbase: Otm Confederated International Conferences, Coopis, DOA, and Odbase 2004, Ag (Lecture Notes)
3295. Ambient Intelligence
3296. High Performance Computing - HIPC 2004: 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings
3297. Uml Modeling Languages and Applications
3298. The Semantic Web - Iswc 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings
3299. Automated Technology for Verification and Analysis: Second International Conference, Atva 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004. Pr
3300. Inconsistency Tolerance
3301. Conditionals, Information, and Inference
3302. Programming Languages and Systems
3303. Knowledge Exploration in Life Science Informatics
3304. Digital Watermarking
3306. Web Information Systems -- Wise 2004
3307. Web Information Systems -- Wise 2004 Workshops
3310. Computer Music Modeling and Retrieval
3313. Security in Ad-hoc and Sensor Networks
3317. Implementation and Application of Automata
3319. System Analysis and Modeling
3321. Advances in Computer Science - Asian 2004, Higher Level Decision Making
3322. Combinatorial Image Analysis
3324. Technologies for E-Services
3325. Information Security Applications
3326. Distributed Computing -- Iwdc 2004: 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings
3328. Lecture Notes in Computer Science " #3328: Fsttcs 2004: Foundations of Software Technology and Theoretical Computer Science: 24th Inte
3329. Advances in Cryptology - Asiacrypt 2004
3330. Combinatorial Geometry and Graph Theory
3331. Advances in Multimedia Information Processing
3332. Advances in Multimedia Information Processing
3333. Advances in Multimedia Information Processing PCM 2004
3334. Digital Libraries: International Collaboration and Cross-fertilization
3335. Service Availability
3337. Biological and Medical Data Analysis: 5th International Symposium, Isbmda 2004, Barcelona, Spain, November 18-19, 2004, Proceedings
3338. Advances in Biometric Person Authentication
3340. Developments in Language Theory
3342. Swarm Robotics
3344. Object-Oriented Technology. Ecoop 2004 Workshop Reader: Ecoop 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
3347. Distributed Computing and Internet Technology
3348. Progress in Cryptology - Indocrypt 2004
3349. Shared Memory Parallel Programming with Open MP
3350. Practical Aspects of Declarative Languages
3351. Approximation and Online Algorithms: Second International Workshop, Waoa 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers
3352. Security in Communication Networks
3353. Graph-theoretic Concepts in Computer Science
3354. Machines, Computations, and Universality
3355. Switching and Learning in Feedback Systems: European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures a
3356. Intelligent Information Technology
3357. Selected Areas in Cryptography: 11th International Workshop, Sac 2004, Waterloo, Canada, August 9-10, 2004, Revised Selected Papers
3360. Journal on Data Semantics II
3361. Machine Learning for Multimodal Interaction: First International Workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers
3362. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
3363. Database Theory - Icdt 2005
3364. Security Protocols
3365. Membrane Computing: 5th International Workshop, Wmc 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
3367. Databases, Information Systems, and Peer-To-Peer Computing
3368. Attention and Performance in Computational Vision: Second International Workshop, Wapcv 2004, Prague, Czech Republic, May 15, 2004, Revised Selected P
3372. Semantic Web and Databases
3373. Advanced Eurocryption Standard-aes
3375. Quality of Service in Multiservice IP Networks
3376. Topics in Cryptology -- CT-Rsa 2005: The Cryptographers' Track at the Rsa Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings
3377. Knowledge Discovery in Inductive Databases
3378. Theory of Cryptography
3379. From Integrated Publication and Information Systems to Information and Knowledge Environments
3381. Sofsem 2005: Theory and Practice of Computer Science
3382. Agent-oriented Software Engineering V
3383. Graph Drawing
3384. Dna Computing
3385. Verification, Model Checking, and Abstract Interpretation
3386. Public Key Cryptography - Pkc 2005: 8th International Workshop on Theory and Practice in Public Key Cryptography
3387. Semantic Web Services and Web Process Composition
3389. Multiparadigm Programming in Mozart/Oz
3390. Software Engineering for Multi-Agent Systems III
3393. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
3395. Formal Approaches to Software Testing
3399. Web Technologies Research and Development - Apweb 2005: 7th Asia-Pacific Web Conference, Shanghai, China, March 29 - April 1, 2005, Proceedings
3400. Transactions on Rough Sets III
3401. Numerical Analysis and Its Applications
3402. High Performance Computing for Computational Science - Vecpar 2004
3404. Stacs 2005
3405. Combinatorial and Algorithmic Aspects of Networking
3406. Computational Linguistics and Intelligent Text Processing: 6th International Conference, Cicling 2005, Mexico City, Mexico, February 13-19, 2005, Proc
3407. Theoretical Aspects of Computing - Ictac 2004
3408. Advances in Information Retrieval
3409. Scientific Engineering of Distributed Java Applications
3410. Evolutionary Multi-Criterion Optimization: Third International Conference, Emo 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings
3411. Information Retrieval Technology
3412. Cots-Based Software Systems
3414. Hybrid Systems: Computation and Control: 8th International Workshop, Hscc 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
3417. Complex Motion: First International Workshop, IWCM 2004, Gunzburg, Germany, October 12-14, 2004, Revised Papers
3418. Network Analysis:
3422. From Computer Literacy to Informatics Fundamentals: International Conference on Informatics in Secondary Schools -- Evolution and Perspectives, Issep
3423. Recent Trends in Algebraic Development Techniques: 17th International Workshop, Wadt 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Paper
3424. Privacy Enhancing Technologies
3425. Engineering Human Computer Interaction and Interactive Systems
3426. Knowledge and Information Visualization
3427. Wireless Systems and Mobility in Next Generation Internet
3428. Web and Wireless Geographical Information Systems: 4th International Workshop, W2gis 2004, Goyang, Korea, November 26-27, 2004, Revised Selected Paper
3429. Discrete Geometry for Computer Imagery
3431. Passive and Active Network Measurement
3432. Systems Aspects in Organic and Pervasive Computing - Arcs 2005
3433. Databases in Networked Information Systems
3434. Graph-Based Representations in Pattern Recognition
3436. Embedded Systems Design
3437. Software Engineering and Middleware
3439. Information Security Practice and Experience
3440. Tools and Algorithms for the Construction and Analysis of Systems
3441. Foundations of Software Science and Computational Structures: 8th International Conference, Fossacs 2005, Held as Part of the Joint European Conferenc
3442. Fundamental Approaches to Software Engineering: 8th International Conference, Fase 2005, Held as Part of the Joint European Conferences on Theory and
3443. Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Softw
3444. Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Pra
3447. Genetic Programming
3448. Evolutionary Computation in Combinatorial Optimization
3449. Applications of Evolutionary Computing
3450. Security in Pervasive Computing
3453. Database Systems for Advanced Applications: 10th International Conference, Dasfaa 2005, Beijing, China, April 17-20, 2005, Proceedings
3454. Coordination Models and Languages
3455. Zb 2005: Formal Specification and Development in Z and B
3456. Operational Semantics for Timed Systems: A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems
3457. Autonomic Communication: First International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers
3458. Scientific Applications of Grid Computing
3459. Scale Space and Pde Methods in Computer Vision
3460. Self-Star Properties in Complex Information Systems
3461. Typed Lambda Calculi and Applications: 7th International Conference, Tlca 2005, Nara, Japan, April 21-23, 2005, Proceedings
3462. Networking 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communicati
3463. Dependable Computing - Edcc 2005
3465. Formal Methods for Mobile Computing
3466. Scenarios: Models, Transformations and Tools
3467. Term Rewriting and Applications
3468. Pervasive Computing
3469. Foundtions of Genetic Algorithms
3470. Advances in Grid Computing - Egc 2005
3471. Power-aware Computer Systems
3472. Model-Based Testing of Reactive Systems: Advanced Lectures
3473. Innovative Internet Community Systems: 4th International Workshop, Iics 2004, Guadalajara, Mexico, June 21-23, 2004 Revised Papers
3474. Implementation and Application of Functional Languages
3475. Rapid Integration of Software Engineering Techniques
3477. Trust Management
3478. Global Optimization and Constraint Satisfaction
3479. Location- And Context-Awareness
3481. Computational Science and Its Applications - Iccsa 2005, Part II: International Conference, Singapore, May 9-12, 2005, Proceedings, Part II
3484. Efficient Approximation and Online Algorithms: Recent Progress on Classical Combinatorial Optimization Problems and New Applications
3485. Peer-to-peer Systems and Applications
3486. Sequences and Their Applications - Seta 2004: Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers
3489. Component-based Software Engineering
3491. Multilingual Information Access for Text, Speech and Images: 5th Workshop of the Cross-Language Evaluation Forum, Clef 2004, Bath, UK, September 15-17
3493. Advances in XML Information Retrieval
3494. Advances in Cryptology - Eurocrypt 2005
3495. Intelligence and Security Informatics: IEEE International Conference on Intelligence and Security Informatics, Isi 2005, Atlanta, Ga, USA, May 19-20,
3496. Advances in Neural Networks-isnn 2005
3497. Advances in Neural Networks - Isnn 2005:
3498. Advances in Neural Networks - Isnn 2005:
3499. Structural Information and Communication Complexity
3502. Testing of Communicating Systems
3503. Experimental and Efficient Algorithms
3504. Functional Imaging and Modeling of the Heart
3505. Autonomous Intelligent Systems
3506. Information Security and Cryptology-icisc 2004
3507. Information Context: Nature, Impact, and Role
3509. Integer Programming and Combinatorial Optimization
3510. Wired/Wireless Internet Communications
3511. Metainformatics
3513. Natural Language Processing and Information Systems
3514. Computational Science -- Iccs 2005: 5th International Conference, Atlanta, Ga, USA, May 22-25, 2005, Proceedings, Part I
3517. Human Interactive Proofs
3519. Computer Algebra and Geometric Algebra with Applications
3520. Advanced Information Systems Engineering: 17th International Conference, Caise 2005, Porto, Portugal, June 13-17, 2005, Proceedings
3521. Algorithmic Applications in Management
3522. Pattern Recognition and Image Analysis
3523. Pattern Recognition and Image Analysis: Second Iberian Conference, Ibpria 2005, Estoril, Portugal, June 7-9, 2005, Proceeding, Part II
3524. Integration of Ai and Or Techniques in Constraint Programming for Combinatorial Optimization Problems
3525. Communicating Sequential Processes. the First 25 Years
3526. New Computational Paradigms
3527. Software Architecture
3529. Agent-Oriented Information Systems III: 7th International Bi-Conference Workshop, Aois 2005, Utrecht, the Netherlands, July 26, 2005, and Klagenfurt,
3530. Sdl 2005: Model Driven
3531. Applied Cryptography and Network Security
3532. The Semantic Web: Research and Applications
3534. Journal on Data Semantics III
3535. Formal Methods for Open Object-Based Distributed Systems
3536. Applications and Theory of Petri Nets 2005
3537. Combinatorial Pattern Matching
3540. Image Analysis: 14th Scandinavian Conference, Scia 2005, Joensuu, Finland, June 19-22, 2005, Proceedings
3541. Multiple Classifier Systems
3542. Theory and Applications of Satisfiability Testing
3543. Distributed Applications and Interoperable Systems
3544. Principles of Distributed Systems
3545. Public Key Infrastructure
3546. Audio- And Video-Based Biometric Person Authentication: 5th International Conference, Avbpa 2005, Hilton Rye Town, NY, USA, July 20-22, 2005, Proceedi
3547. Product Focused Software Process Improvement
3548. Detection of Intrusions and Malware, and Vulnerability Assessment
3549. Architecting Dependable Systems III
3551. Data Management in a Connected World
3552. Quality of Service-iwqos 2005
3553. Embedded Computer Systems: Architectures, Modeling, and Simulation
3555. Reliable Software Technology a " ADA-Europe 2005: 10th ADA-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 20
3556. Extreme Programming and Agile Processes in Software Engineering
3557. Fast Software Encryption
3560. Distributed Computing in Sensor Systems
3561. Mechanisms, Symbols, and Models Underlying Cognition
3562. Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach
3563. Advanced Distributed Systems
3564. Reasoning Web
3566. Unconventional Programming Paradigms
3567. Database: Enterprise, Skills and Innovation
3568. Image and Video Retrieval
3569. Theory and Applications of Satisfiability Testing
3570. Financial Cryptography and Data Security
3572. Developments in Language Theory: 9th International Conference, Dlt 2005, Palermo, Italy, July 4-8, 2005, Proceedings
3573. Logic Based Program Synthesis and Transformation: 14th International Symposium, Lopstr 2004, Verona, Italy, August 26-28, 2004, Revised Selected Paper
3574. Information Security and Privacy
3576. Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
3578. Intelligent Data Engineering and Automated Learning - Ideal 2005
3579. Web Engineering
3580. Automata, Languages and Programming: 32nd International Colloquim, Icalp 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
3582. Fm 2005, Formal Methods
3583. Advances in Web-Based Learning - Icwl 2005
3585. Human-Computer Interaction a " Interact 2005: Ifip Tc 13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings
3586. Ecoop 2005 - Object Oriented Programming
3589. Data Warehousing and Knowledge Discovery
3590. E-Commerce and Web Technologies
3591. Electronic Government: 4th International Conference, Egov 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings
3592. Trust, Privacy, and Security in Digital Business
3595. Computing & Combinatorics Proceedings 11TH Annu
3597. Web and Communication Technologies and Internet-related Social
3598. Ubiquitous Computing Systems
3599. Model Driven Architecture
3602. Languages and Compilers for High Performance Computing
3603. Theorem Proving in Higher Order Logics
3604. Mathematics of Surfaces XI
3605. Embedded Software and Systems
3606. Parallel Computing Technologies: 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings
3608. Algorithms and Data Structures
3610. Advances in Natural Computation: First International Conference, Icnc 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I
3611. Advances in Natural Computation: First International Conference, Icnc 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II
3612. Advances in Natural Computation: First International Conference, Icnc 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III
3616. Practice and Theory of Automated Timetabling V
3617. Image Analysis and Processing Iciap 2005
3618. Mathematical Foundations of Computer Science 2005: 30th International Symposium, Mfcs 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
3619. Networking and Mobile Computing: 3rd International Conference, Iccnmc 2005, Zhangjiajie, China, August 2-4, 2005, Proceedings
3621. Advances in Cryptology - Crypto 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings
3622. Advanced Functional Programming
3623. Fundamentals of Computation Theory: 15th International Symposium, Fct 2005, Lubeck, Germany, August 17-20,2005, Proceedings
3624. Approximation, Randomization and Combinatorial Optimization: 8th International Workshop on Approximation Algorithms for Compinatorial Optimization Pro
3627. Artificial Immune Systems: 4th International Conference, Icaris 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings
3628. Software Composition
3629. Algebra and Coalgebra in Computer Science
3631. Advances in Databases and Information Systems
3633. Advances in Spatial and Temporal Databases
3634. Computer Science Logic
3636. Hybrid Metaheuristics
3637. Evolvable Systems
3638. Smart Graphics
3639. Model Checking Software: 12th International Spin Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
3640. Peer-to-peer Systems
3643. Computer Aided Systems Theory – Eurocast 2005
3646. Advances in Intelligent Data Analysis VI: 6th International Symposium on Intelligent Data Analysis, Ida 2005, Madrid, Spain, September 8-10, 2005, Pro
3647. Software Engineering Research and Applications: Second International Conference, Sera 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Pape
3648. Euro-par 2005 Parallel Processing
3649. Business Process Management
3650. Information Security: 8th International Conference, Isc 2005, Singapore, September 20-23, 2005, Proceedings
3652. Research and Advanced Technology for Digital Libraries
3653. CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
3654. Data and Applications Security XIX - Status and Prospects
3655. Foundations of Security Analysis and Design III
3656. Image Analysis and Recognition
3657. Formal Methods for Components and Objects
3659. Cryptographic Hardware and Embedded Systems - Ches 2005
3660. Ubicomp 2005: Ubiquitous Computing: 7th International Conference, Ubicomp 2005, Tokyo, Japan, September 11-14, 2005, Proceedings
3663. Pattern Recognition: 27th DAGM Symposium, Vienna, Austria, August 31-September 2, 2005 Proceedings
3664. Peer-to-peer, Grid, and Service-orientation in Digital Library Architectures
3665. Advances in Multimedia Information Systems
3666. Recent Advances in Parallel Virtual Machine and Message Passing Interface
3667. Spatial Coherence for Visual Motion Analysis: First International Workshop, Scvma 2004, Prague, Czech Republic, May 15, 2004, Revised Papers
3668. Logic Programming
3669. Algorithms -- Esa 2005
3670. Formal Techniques for Computer Systems and Business Processed
3671. Database and XML Technologies
3672. Static Analysis
3674. Secure Data Management
3675. Cooperative Design, Visualization, and Engineering: Second International Conference, Cdve 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proce
3676. Generative Programming and Component Engineering
3677. Communications and Multimedia Security
3679. Computer Security - Esorics 2005
3685. Computer Network Security
3686. Pattern Recognition and Data Mining
3687. Pattern Recognition and Image Analysis: Third International Conference on Advances in Pattern Recognition, Icapr 2005, Bath, UK, August 22-25, 2005, P
3688. Computer Safety, Reliability, and Security
3689. Information Retrieval Technology
3691. Computer Analysis of Images and Patterns
3693. Spatial Information Theory
3694. Service Availability
3696. Artificial Neural Networks
3697. Artificial Neural Networks: Formal Models and Their Applications – Iccan 2005
3699. Unconventional Computation
3700. Transactions on Rough Sets IV
3701. Theoretical Computer Science
3703. Principles and Practice of Sematic Web Reasoning
3704. Brain, Vision, and Artificial Intelligence
3705. Trustworthy Global Computing: International Symposium, Tgc 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
3706. Groupware: Design, Implementation, and Use
3707. Automated Technology for Verification and Analysis: Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
3708. Advanced Concepts for Intelligent Vision Systems: 7th International Conference, Acivs 2005, Antwerp, Belgium, September 20-23, 2005, Proceedings
3709. Principles and Practice of Constraint Programming- Cp 2005: 11th International Conference, Cp 2005, Sitges- Spain, October 1-5, 2005
3710. Digital Watermarking
3711. Entertainment Computing - Icec 2005
3712. Quality of Software Architectures and Software Quality
3713. Model Driven Engineering Languages and Systems
3714. Software Product Lines: 9th International Conference, Splc 2005, Rennes, France, September 26-29, 2005, Proceedings
3715. Progress in Cryptology- Mycrypt 2005: First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005, Proceed
3716. Conceptual Modeling - Er 2005
3718. Computer Algebra in Scientific Computing: 8th International Workshop, Casc 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
3719. Distributed and Parallel Computing
3722. Theoretical Aspects of Computing -- Ictac 2005
3723. Analysis and Modelling of Faces and Gestures
3724. Distributed Computing
3725. Correct Hardware Design and Verification Methods: 13th Ifip Wg 10.5advanced Research, Working Conference, Charme 2005, Saarbra1/4cken, Germany, Octobe
3726. High Performance Computing and Communications
3727. Information Hiding: 7th International Workshop, Ih 2005, Barcelona, Spain June 6-8 2005, Revised Selected Papers
3728. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
3729. The Semantic Web-- Iswc 2005: 4th International Semantic Web Conference, Iswc 2005, Galway, Ireland, November 6-10, 2005, Proceedings
3730. Journal on Data Semantics IV
3731. Formal Techniques for Networked and Distributed Systems - Forte 2005: 25th Ifip Wg 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Pr
3732. Applied Parallel Computing: State of the Art in Scientific Computing
3733. Computer and Information Sciences - Iscis 2005
3736. Visual Information and Information Systems: 8th International Conference, Visual 2005, Amsterdam, the Netherlands, July 5, 2005, Revised Selected Pape
3738. Ad-hoc, Mobile, and Wireless Networks
3739. Advances in Web-age Information Management
3740. Advances in Computer Systems Architecture: 10th Asia-Pacific Conference, Acsac 2005, Singapore, October 24-26, 2005, Proceedings
3741. Distributed Computing a " Iwdc 2005: 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings
3742. Discrete and Computational Geometry: Japanese Conference, Jcdcg 2004, Tokyo, Japan Oct 8-11,2004
3743. Large-Scale Scientific Computing: 5th International Conference, Lssc 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers
3744. Mobility Aware Technologies and Applications
3746. Advances in Informatics: 10th Panhellianic Conference on Informatics, PCI 2005, Volas Greece, November 11-13 2005 Proceedings
3747. Dependable Computing
3748. Model Driven Architecture - Foundations and Applications
3749. Medical Image Computing and Computer-assisted Intervention, Miccai 2005
3750. Medical Image Computing and Computer-assisted Intervention, Miccai 2005
3751. Operations and Management in Ip-based Networks
3752. Variational, Geometric, and Level Set Methods in Computer Vision
3753. Deep Structure, Singularities, and Computer Vision: First International Workshop, Dsscv 2005, Maastricht, the Netherlands, June 9-10, 2005, Revised Se
3754. Management of Multimedia Networks and Services
3756. Advanced Parallel Processing Technologies
3757. Energy Minimization Methods in Computer Vision and Pattern Recognition
3758. Parallel and Distributed Processing and Applications
3759. Parallel and Distributed Processing and Applications - Ispa 2005 Workshops
3760. On the Move To Meaningful Internet Systems 2005: Coopis, Doa, and Odbase
3761. On the Move To Meaningful Internet Systems 2005: Coopis, Doa, and Odbase
3762. On the Move To Meaningful Internet Systems 2005
3763. Lecture Notes in Computer Science / Lecture Notes in Artific #3763: Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
3764. Self-Stabilizing Systems: 7th International Symposium, SSS 2005, Barcelona Spain, October 26-27 2005
3765. Computer Vision for Biomedical Image Applications
3766. Computer Vision in Human-Computer Interaction
3767. Advances in Multimedia Information Processing - PCM 2005
3768. Advances in Multimedia Information Processing - PCM 2005
3769. High Performance Computing a " HIPC 2005: 12th International Conference, Goa, India, December 18-21, 2005, Proceedings
3770. Perspectives in Conceptual Modeling
3771. Integrated Formal Methods
3772. String Processing and Information Retrieval: 12th International Conference, Spire 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings
3773. Progress in Pattern Recognition, Image Analysis and Applications
3774. Database Programming Languages
3775. Ambient Networks
3776. Attern Recognition and Machine Intelligence: First International Conference, Premi 2005, Kolkata, India, December 20-22, 2005, Proceedings
3777. Stochastic Algorithms: Foundations and Applications
3778. Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends
3779. Network and Parallel Computing: Ifip International Conference, Npc 2005, Beijing, China, November 30 - December 3, 2005, Proceedings
3780. Programming Languages and Systems
3781. Advances in Biometric Person Authentication
3783. Information and Communications Security
3784. Affective Computing and Intelligent Interaction
3785. Formal Methods and Software Engineering
3786. Information Security Applications: 6th International Workshop, Wisa 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers
3787. Graph-Theoretic Concepts in Computer Science
3788. Advances in Cryptology- Asiacrypt 2005: 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, I
3790. Middleware 2005: ACM/Ifip/Usenix 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings
3791. Rules and Rule Markup Languages for the Semantic Web: First International Conference, Ruleml 2005, Galway, Ireland, November 10-12, 2005, Proceedings
3792. Software Process Improvement
3793. High Performance Embedded Architectures and Compilers
3794. Mobile Ad-Hoc and Sensor Networks: First International Conference, Msn 2005, Wuhan, China, December 13-15, 2005, Proceedings
3795. Grid and Cooperative Computing- Gcc 2005: 4th International Conference, Beijing China, November 30- December 3, 2005 Proceedings
3796. Cryptography and Coding
3797. Progress in Cryptology - Indocrypt 2005
3798. Component Deployment: Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
3799. Geospatial Semantics: First International Conference, Geos 2005, Mexico City, Mexico, November 29-30, 2005, Proceedings
3800. Variations on Constants: Flow Analysis of Sequential and Parallel Programs
3803. Information Systems Security: First International Conference, Iciss 2005, Kolkata, India, December 19-21, 2005, Proceedings
3804. Advances in Visual Computing: First International Symposium, Isvc 2005, Lake Tahoe, NV USA, December 5-7,2005 Proceedings
3805. Virtual Storytelling. Using Virtual Reality Technologues for Storytelling: Third International Conference, Vs 2005, Strasbourg, France, November 30- D
3806. Web Information Systems Engineering - Wise 2005
3807. Web Information Systems Engineering - Wise 2005 Workshops
3810. Cryptology and Network Security
3811. Technologies for E-Services: 6th International Workshop, Tes 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers
3812. Business Process Management Workshops
3813. Security and Privacy in Ad-Hoc and Sensor Networks
3815. Digital Libraries: Implementing Strategies and Sharing Experiences
3816. Distributed Computing and Internet Technology: Second International Conference, Icdcit 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings
3818. Advances in Computer Science - Asian 2005. Data Management on the Web: 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Pr
3819. Practical Aspects of Declarative Languages: 8th International Symposium, Padl 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings
3820. Embedded Software and Systems: Second International Conference, Icess 2005, Xi'an, China, December 16-18, 2005, Proceedings
3821. Fsttcs 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 200
3822. Information Security and Cryptology: First Sklois Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings
3823. Embedded and Ubiquitous Computing - Euc 2005 Workshops: Euc 2005 Workshops: Uisw, Ncus, Secubiq, USN, and Taues, Nagasaki, Japan, December 8-9, 2005
3824. Embedded and Ubiquitous Computing - Euc 2005: International Conference Euc 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings
3825. Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, Wrac 2005, Greenbelt, MD, USA, Sep
3826. Service-Oriented Computing
3827. Algorithms and Computation: 16th International Symposium, Isaac 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings
3828. Internet and Network Economics: First International Workshop, Wine 2005, Hong Kong, China, December 15-17, 2005, Proceedings
3829. Formal Modeling and Analysis of Timed Systems: Third International Conference, Formats 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
3831. Sofsem 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Repub
3832. Advances in Biometrics: International Conference, ICB 2006, Hong Kong, China, January 5-7, 2006, Proceedings
3833. Web and Wireless Geographical Information Systems
3834. Job Scheduling Strategies for Parallel Processing
3836. Data Management in Grids: First Vldb Workshop, Dmg 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers
3837. Technologies for Advanced Heterogeneous Networks: First Asian Internet Engineering Conference, Aintec 2005, Bangkok, Thailand, December 13-15, 2005, P
3838. Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
3839. Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers
3840. Unifying the Software Process Spectrum: International Software Process Workshop, Spw 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers
3841. Frontiers of WWW Research and Development -- Apweb 2006: 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006, Proceedings
3842. Advanced Web and Network Technologies, and Applications: Apweb 2006 International Workshops: Xra, Iwsn, Mega, and Icse, Harbin, China, January 16-18,
3843. Graph Drawing: 13 Th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers
3844. Satellite Events at the Models 2005 Conference: Models 2005 International Workshop Oclws, Modeva, Martes, AOM, Mtip, Wisme, Modaui, Nfc, MDD, Wuscam,
3845. Implementation and Application of Automata: 10th International Conference, Ciaa 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Pap
3846. Computers and Games: 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
3850. Membrane Computing: 6th International Workshop, Wmc 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
3851. Computer Vision - Accv 2006: 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part I
3852. Computer Vision - Accv 2006: 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part II
3853. Biologically Inspired Approaches to Advanced Information Technology: Second International Workshop, Bioadit 2006, Osaka, Japan 26-27, 2006, Proceeding
3854. Autonomic Communication: Second International Ifip Workshop, Wac 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers
3855. Lecture Notes in Computer Science " #3855: Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vm
3856. Privacy Enhancing Technologies: 5th International Workshop, Pet 2005, Cavtat, Croatia, May 30 - June 1, 2005, Revised Selected Papers
3857. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 16th International Symposium, Aaecc-16, Las Vegas, NV, USA, February 20-24, 2006, Pr
3858. Recent Advances in Intrusion Detection: 8th International Symposium, Raid 2005, Seattle, Wa, USA, September 7-9, 2005, Revised Papers
3859. Agent Communication II: International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate
3860. Topics in Cryptology -- CT-Rsa 2006: The Cryptographers' Track at the Rsa Conference 2006, San Jose, CA, USA, February 13-17, 2005, Proceedings
3861. Foundations of Information and Knowledge Systems: 4th International Symposium, Foiks 2006, Budapest, Hungary, February 14-17, 2006, Proceedings
3864. Lecture Notes in Computer Science / Lecture Notes in Artific #3864: Ambient Intelligence in Everyday Life: Foreword by Emile Aarts
3865. Computer Supported Cooperative Work in Design II: 9th International Conference, Cscwd 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
3866. Formal Aspects in Security and Trust: Third International Workshop, Fast 2005, Newcastle Upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
3867. Practice and Theory of Automated Timetabling VI: 6th International Conference, Patat 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Se
3868. Wireless Sensor Networks: Third European Workshop, Ewsn 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings
3869. Machine Learning for Multimodal Interaction: Second International Workshop, MLMI 2005, Edinburgh, UK, July 11-13, 2005, Revised Selected Papers
3870. Journal on Data Semantics V
3871. Artificial Evolution: 7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers
3872. Document Analysis Systems VII: 7th International Workshop, Das 2006, Nelson, New Zealand, February 13-15, 2006, Proceedings
3875. Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selec
3876. Theory of Cryptography: Third Theory of Cryptography Conference, Tcc 2006, New York, NY, USA, March 4-7, 2006, Proceedings
3877. Adaptive Multimedia Retrieval: User, Context, and Feedback: Third International Workshop, Amr 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Pa
3878. Computational Linguistics and Intelligent Text Processing: 7th International Conference, Cicling 2006, Mexico City, Mexico, February 19-25, 2006, Proc
3879. Approximation and Online Algorithms: Third International Workshop, Waoa 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers
3880. Transactions on Aspect-Oriented Software Development I
3882. Database Systems for Advanced Applications: 11th International Conference, Dasfaa 2006, Singapore, April 12-15, 2006, Proceedings
3883. Wireless Systems and Network Architectures in Next Generation Internet
3884. Stacs 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings
3886. Knowledge Discovery in Life Science Literature: International Workshop, Kdll 2006, Singapore, April 9, 2006, Proceedings
3887. Latin 2006: Theoretical Informatics: 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings
3888. Trends in Enterprise Application Architecture: Vldb Workshop, Teaa 2005, Trondheim, Norway, August 28, 2005, Revised Selected Papers
3889. Independent Component Analysis and Blind Signal Separation: 6th International Conference, Ica 2006, Charleston, SC, USA, March 5-8, 2006, Proceedings
3892. DNA Computing: 11th International Workshop on DNA Computing, Dna11, London, On, Canada, June 6-9, 2005. Revised Selected Papers.
3893. Visual Content Processing and Representation: 9th International Workshop, Vlbv 2005, Sardinia, Italy, September 15-16, 2005, Revised Selected Papers
3894. Architecture of Computing Systems - Arcs 2006: 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings
3895. Theoretical Computer Science: Essays in Memory of Shimon Even
3896. Advances in Database Technology -- Edbt 2006: 10 International Conference on Extending Database Technology, Munich, Germany, 26-31 March 2006, Proceed
3897. Selected Areas in Cryptography: 12th International Workshop, Sac 2005, Kingston, On, Canada, August 11-12, 2005, Revised Selected Papers
3901. Logic Based Program Synthesis and Transformation: 15th International Symposium, Lopstr 2005, London, UK, September 7-9, 2005, Revised Selected Papers
3902. Computer Music Modeling and Retrieval
3903. Information Security Practice and Experience: Second International Conference, Ispec 2006, Hangzhou, China, April 11-14, 2006, Proceedings
3905. Genetic Programming: 9th European Conference, Eurogp 2006, Budapest, Hungary, April 10-12, 2006. Proceedings
3906. Evolutionary Computation in Combinatorial Optimization: 6th European Conference, Evocop 2006, Budapest, Hungary, April 10-12, 2006, Proceedings
3907. Applications of Evolutionary Computing: Evoworkshops 2006: Evobio, Evocomnet, Evohot, Evoiasp, Evointeraction, Evomusart, and Evostoc, Budapest, Hunga
3908. Innovative Internet Community Systems
3911. Parallel Processing and Applied Mathematics: 6th International Conference, Ppam 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers
3912. Active Networks: Ifip Tc6 6th International Working Conference, Iwan 2004, Lawrence, KS, USA, October 27-29, 2004, Revised Papers
3914. Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications
3915. Knowledge Discovery from XML Documents: First International Workshop, Kdxd 2006, Singapore, April 9, 2006, Proceedings
3917. Intelligence and Security Informatics: International Workshop, Wisi 2006, Singapore, April 9, 2006, Proceedings
3919. Digital Rights Management: Technologies, Issues, Challenges and Systems
3920. Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, Tacas 2006, Held as Part of the Joint European Confe
3921. Foundations of Software Science and Computational Structures: 9th International Conference, Fossacs 2006, Held as Part of the Joint European Conferenc
3922. Fundamental Approaches to Software Engineering: 9th International Conference, Fase 2006, Held as Part of the Joint European Conferences on Theory and
3923. Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Softw
3924. Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
3925. Model Checking Software: 13th International Spin Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
3926. Graphics Recognition. Ten Years Review and Future Perspectives
3927. Hybrid Systems: Computation and Control: 9th International Workshop, Hscc 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
3928. Smart Card Research and Advanced Applications: 7th Ifip Wg 8.8/11.2 International Conference, Cardis 2006, Tarragona, Spain, April 19-21, 2006, Procee
3929. Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Application
3931. Neural Nets: 16th Italian Workshop on Neural Nets, Wirn 2005, International Workshop on Natural and Artificial Immune Systems, Nais
3933. Knowledge Discovery in Inductive Databases: 4th International Workshop, Kdid 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Pape
3934. Security in Pervasive Computing: Third International Conference, Spc 2006, York, UK, April 18-21, 2006, Proceedings
3935. Information Security and Cryptology - Icisc 2005: 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers
3936. Advances in Information Retrieval: 28th European Conference on IR Research, Ecir 2006, London, UK, April 10-12, 2006, Proceedings
3937. Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms: Aamas 2005 Workshop, Amec 2005, Utrecht, Netherlands, July 25, 2005, and
3938. Architecting Systems with Trustworthy Components
3940. Subspace, Latent Structure and Feature Selection
3941. Interactive Systems. Design Specification, and Verification: 12th International Workshop, Dsvis 2005, Newcastle Upon Tyne, UK, July 13-15, 2005, Revis
3942. Technologies for E-Learning and Digital Entertainment: First International Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006, Proceedin
3943. Rapid Integration of Software Engineering Techniques
3945. Functional and Logic Programming: 8th International Symposium, Flops 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
3947. Advances in Grid and Pervasive Computing: First International Conference, Gpc 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings
3948. Cognitive Vision Systems: Sampling the Spectrum of Approaches
3950. Agent-Oriented Software Engineering VI
3951. Computer Vision -- Eccv 2006: 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part I
3952. Computer Vision -- Eccv 2006: 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part II
3953. Computer Vision -- Eccv 2006: 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III
3954. Computer Vision -- Eccv 2006: 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV
3956. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, Cassis 2005, Nice, France, March 8-11, 2005
3957. Security Protocols: 12th International Workshop Cambridge, UK, April 26-28, 2004: Revised Selected Papers
3958. Public Key Cryptography - Pkc 2006: 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 20
3959. Theory and Applications of Models of Computation: Third International Conference, Tamc 2006, Beijing, China, May 15-20, 2006, Proceedings
3961. Information Networking Advances in Data Communications and Wireless Networks: International Conference, Icoin 2006, Sendai, Japan, January 16-19, 2006
3962. Persuasive Technology
3964. Testing of Communicating Systems
3965. Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
3966. Software Process Change
3967. Computer Science -- Theory and Applications
3968. Pervasive Computing: 4th International Conference, Pervasive 2006, Dublin, Ireland, May 7-10, 2006, Proceedings
3969. Coding and Cryptography: International Workshop, Wcc 2005, Bergen, Norway, March 14-18, 2005, Revised Selected Papers
3970. Wired/Wireless Internet Communications
3971. Advances in Neural Networks - Isnn 2006: Third International Symposium on Neural Networks, Isnn 2006, Chengdu, China, May 28 - June 1, 2006, Proceedin
3972. Advances in Neural Networks - Isnn 2006: Third International Symposium on Neural Networks, Isnn 2006, Chengdu, China, May 28 - June 1, 2006, Proceedin
3973. Advances in Neural Networks - Isnn 2006: Third International Symposium on Neural Networks, Isnn 2006, Chengdu, China, May 28 - June 1, 2006, Proceedin
3974. Principles of Distributed Systems
3975. Intelligence and Security Informatics
3976. Networking 2006. Networking Technologies, Services, Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications
3977. Advances in XML Information Retrieval and Evaluation
3979. Computer Vision in Human-Computer Interaction: Eccv 2006 Workshop on Hci, Graz, Austria, May 13, 2006, Proceedings
3980. Computational Science and Its Applications - Iccsa 2006: International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I
3981. Computational Science and Its Applications - Iccsa 2006: International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II
3982. Computational Science and Its Applications - Iccsa 2006: International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III
3983. Computational Science and Its Applications - Iccsa 2006: International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
3984. Computational Science and Its Applications - Iccsa 2006: International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V
3985. Reconfigurable Computing: Architectures and Applications: Second International Workshop, ARC 2006, Delft, the Netherlands, March 1-3, 2006 Revised Sel
3986. Trust Management
3987. Location- And Context-Awareness: Second International Workshop, Loca 2006, Dublin, Ireland, May 10-11, 2006, Proceedings
3988. Logical Approaches to Computational Barriers
3989. Applied Cryptography and Network Security
3990. Integration of AI and or Techniques in Constraint Programming for Combinatorial Optimization Problems
3991. Computational Science - Iccs 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
3992. Computational Science - Iccs 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II
3993. Computational Science - Iccs 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III
3994. Computational Science - Iccs 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV
3995. Emerging Trends in Information and Communication Security
3996. Self-Managed Networks, Systems, and Services: Second IEEE International Workshops, Selfman 2006, Dublin, Ireland, June 16, 2006, Proceedings
3997. Formal Approaches to Software Testing
3998. Algorithms and Complexity
3999. Natural Language Processing and Information Systems
4001. Advanced Information Systems Engineering
4003. Next Generation Teletraffic and Wired/Wireless Advanced Networking
4004. Advances in Cryptology - Eurocrypt 2006: 25th International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Rus
4006. Reliable Software Technologies -- ADA-Europe 2006
4007. Experimental Algorithms
4009. Combinatorial Pattern Matching
4010. Unifying Theories of Programming: First International Symposium, Utp 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Pa
4011. The Semantic Web: Research and Applications: 3rd European Semantic Web Conference, Eswc 2006, Budva, Montenegro, June 11-14, 2006, Proceedings
4014. Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
4015. Implementation and Application of Functional Languages: 17th International Workshop, Ifl 2005, Dublin, Ireland, September 19-21, 2005, Revised Selecte
4016. Advances in Web-Age Information Management: 7th International Conference, Waim 2006, Hong Kong, China, June 17-19, 2006, Proceedings
4017. Embedded Computer Systems: Architectures, Modeling, and Simulation: 6th International Workshop, Samos 2006, Samos, Greece, July 17-20, 2006, Proceedin
4018. Adaptive Hypermedia and Adaptive Web-Based Systems
4019. Algebraic Methodology and Software Technology
4022. Accessing Multilingual Information Repositories: 6th Workshop of the Cross-Language Evaluation Forum, Clef 2005, Vienna, Austria, 21-23 September, 200
4023. Systems Biology and Regulatory Genomics: Joint Annual Recomb 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, US
4024. Petri Nets and Other Models of Concurrency - Icatpn 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of C
4025. Distributed Applications and Interoperable Systems: 6th Ifip Wg 6.1 International Conference, Dais 2006, Athens, Greece, June 14-16, 2006
4026. Distributed Computing in Sensor Systems
4028. Dependable Systems: Software, Computing, Networks: Research Results of the Dics Program
4030. Hybrid Metaheuristics: Third International Workshop, Hm 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings
4032. Next Generation Information Technologies and Systems
4033. Performability Has Its Price: 5th International Workshop on Internet Charging and Qos Technologies, Icqt 2006, St. Malo, France, June 27, 2006, Proc
4034. Product-Focused Software Process Improvement: 7th International Conference, Profes 2006, Amsterdam, the Netherlands, June 12-14, 2006, Proceedings
4035. Advances in Computer Graphics
4036. Developments in Language Theory
4037. Formal Methods for Open Object-Based Distributed Systems
4038. Coordination Models and Languages
4039. Reuse of Off-The-Shelf Components
4040. Combinatorial Image Analysis: 11th International Workshop, Iwcia 2006, Berlin, Germany, June 19-21, 2006, Proceedings
4041. Algorithmic Aspects in Information and Management
4042. Flexible and Efficient Information Handling: 23rd British National Conference on Databases, Bncod 23, Belfast, Northern Ireland, UK, July 18-20, 2006,
4043. Public Key Infrastructure: Third European Pki Workshop: Theory and Practice, Europki 2006, Turin, Italy, June 19-20, 2006, Proceedings
4044. Extreme Programming and Agile Processes in Software Engineering: 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings
4046. Digital Mammography: 8th International Workshop, Iwdm 2006, Manchester, UK, June 18-21, 2006, Proceedings
4047. Fast Software Encryption: 13th International Workshop, Fse 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers
4050. Transactions on High-Performance Embedded Architectures and Compilers I
4051. Automata, Languages and Programming: 33rd International Colloquium, Icalp 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
4052. Automata, Languages and Programming: 33rd International Colloquium, Icalp 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
4053. Intelligent Tutoring Systems: 8th International Conference, Its 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings
4054. Formal Methods and Stochastic Models for Performance Evaluation
4055. Data Engineering Issues in E-Commerce and Services
4056. Structural Information and Communication Complexity: 13th International Colloquium, Sirocco 2006, Chester, UK, July 2-5, 2006, Proceedings
4057. Biomedical Image Registration: Third International Workshop, Wbir 2006, Utrecht, the Netherlands, July 9-11, 2006, Proceedings
4058. Information Security and Privacy
4059. Algorithm Theory - Swat 2006
4060. Algebra, Meaning, and Computation
4061. Computers Helping People with Special Needs: 10th International Conference, Icchp 2006, Linz, Austria, July 11-13, 2006, Proceedings
4062. Rough Sets and Knowledge Technology: First International Conference, Rskt 2006, Chongquing, China, July 24-26, 2006, Proceedings
4063. Component-Based Software Engineering: 9th International Symposium, Cbse 2006, Vasteras, Sweden, June 29 - July 1, 2006, Proceedings
4064. Detection of Intrusions and Malware, and Vulnerability Assessment: Third International Conference, Dimva 2006, Berlin, Germany, July 13-14, 2006, Proc
4066. Model-Driven Architecture - Foundations and Applications: Second European Conference, Ecmda-Fa 2006, Bilbao, Spain, July 10-13, 2006, Proceedings
4067. Ecoop 2006 - Object-Oriented Programming: 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings
4069. Articulated Motion and Deformable Objects
4071. Image and Video Retrieval: 5th Internatinoal Conference, Civr 2006, Tempe, AZ, USA, July 13-15, 2006, Proceedings
4072. Biomedical Simulation: Third International Symposium, Isbms 2006, Zurich, Switzerland, July 10-11, 2006, Proceedings
4073. Smart Graphics: 6th International Symposium, Sg 2006, Vancover, Canada, July 23-25, 2006, Proceedings
4074. Secure Mobile Ad-Hoc Networks and Sensors
4076. Algorithmic Number Theory
4077. Geometric Modeling and Processing - GMP 2006: 4th International Conference, GMP 2006, Pittsburgh, Pa, USA, July 26-28, 2006, Proceedings
4079. Logic Programming: 22nd International Conference, Iclp 2006, Seattle, Wa, USA, August 17-20, 2006, Proceedings
4080. Database and Expert Systems Applications: 17th International Conference, Dexa 2006, Krakow, Poland, September 4-8, 2006, Proceedings
4081. Data Warehousing and Knowledge Discovery: 8th International Conference, Dawak 2006, Krakow, Poland, September 4-8, 2006, Proceedings
4082. E-Commerce and Web Technologies: 7th International Conference, Eiweb 2006, Krakow, Poland, September 5-7, 2006, Proceedings
4083. Trust and Privacy in Digital Business
4084. Electronic Government: 5th International Conference, Egov 2006, Krakow, Poland, September 4-8, 2006, Proceedings
4085. FM 2006: Formal Methods: 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 Proceedings
4086. Sequences and Their Applications Seta 2006: 4th International Conference, Beijing, China, September 24-28, 2006, Proceedings
4088. Lecture Notes in Computer Science / Lecture Notes in Artific #4088: Agent Computing and Multi-Agent Systems: 9th Pacific Rim International Workshop on Multi-Agents, Prima 2006, Guilin, China, August 7
4089. Software Composition: 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers
4090. Journal on Data Semantics VI
4091. Medical Imaging and Augmented Reality: Third International Workshop, Shanghai, China, August 17-18, 2006, Proceedings
4094. Implementation and Application of Automata: 11th International Conference, Ciaa 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
4095. From Animals to Animats 9: 9th International Conference on Simulation of Adaptive Behavior, Sab 2006, Rome, Italy, September 25-29, 2006, Proceed
4096. Embedded and Ubiquitous Computing: International Conference, Euc 2006, Seoul, Korea, August 1-4, 2006, Proceedings
4097. Emerging Directions in Embedded and Ubiquitous Computing: Euc 2006 Workshops: Ncus, Secubiq, USN, Trust, Eso, and MSA, Seoul, Korea, August 1-4, 2006,
4098. Term Rewriting and Applications: 17th International Conference, Rta 2006 Seattle, Wa, USA, August 12-14, 2006 Proceedings
4100. Transactions on Rough Sets V
4101. Cooperative Design, Visualization, and Engineering: Third International Conference, Cdve 2006, Mallorca, Spain, September 17-20, 2006, Proceedings
4102. Business Process Management: 4th International Conference, Bpm 2006, Vienna, Austria, September 5-7, 2006, Proceedings
4103. Business Process Management Workshops
4104. Ad-Hoc, Mobile, and Wireless Networks
4105. Multimedia Content Representation, Classification and Security: International Workshop, Mrcs 2006, Istanbul, Turkey, September 11-13, 2006, Proceeding
4107. Financial Cryptography and Data Security: 10th International Conference, FC 2006 Anguilla, British West Indies, February 27 - March 2, 2006, Revised S
4109. Structural, Syntactic, and Statistical Pattern Recognition: Joint Iapr International Workshops, Sspr 2006 and Spr 2006, Hong Kong, China, August 17-19
4110. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 9th International Workshop on Approximation Algorithms for Co
4111. Formal Methods for Components and Objects: 4th International Symposium, Fmco 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures
4112. Computing and Combinatorics: 12th Annual International Conference, Cocoon 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings
4113. Intelligent Computing: International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part I
4116. Security and Cryptography for Networks: 5th International Conference, Scn 2006, Maiori, Italy, September 6-8, 2006, Proceedings
4117. Advances in Cryptology - Crypto 2006: 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006, Proceedings
4118. Agents and Peer-To-Peer Computing: 4th International Workshop, Ap2pc 2005, Utrecht, Netherlands, J Uly 25, 2005, Revised and Invited Papers
4119. Advanced Topics in Exception Handling Techniques
4121. Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, Wa, USA, August 12-15, 2006, Proceedings
4122. Multimodal Technologies for Perception of Humans: First International Evaluation Workshop on Classification of Events, Activities and Relationships, C
4123. General Theory of Information Transfer and Combinatorics
4124. Self-Organizing Systems: First International Workshop, Iwsos 2006 and Third International Workshop on New Trends in Network Architectures and S
4125. Databases, Information Systems, and Peer-To-Peer Computing
4126. Reasoning Web: Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures
4127. Data and Applications Security XX: 20th Annual Ifip Wg 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-Au
4128. Euro-Par 2006 Parallel Processing: 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings
4129. Haptic and Audio Interaction Design: First International Workshop, Haid 2006, Glasgow, UK, August 31 - September 1, 2006, Proceedings
4131. Artificial Neural Networks - Icann 2006: 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part I
4132. Artificial Neural Networks - Icann 2006: 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part II
4134. Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
4135. Unconventional Computation: 5th International Conference
4136. Relations and Kleene Algebra in Computer Science
4137. Concur 2006 - Concurrency Theory: 17th International Conference, Concur 2006, Bonn, Germany, August 27-30, 2006
4138. Wireless Algorithms, Systems, and Applications
4140. Advances in Artificial Intelligence - Iberamia-Sbia 2006: 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI
4141. Image Analysis and Recognition: Third International Conference, Iciar 2006, Pvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part I
4142. Image Analysis and Recognition: Third International Conference, Iciar 2006, Pvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part II
4143. Generative and Transformational Techniques in Software Engineering: International Summer School, Gttse 2005, Braga, Portugal, July 4-8, 2005. Revised
4144. Computer Aided Verification: 18th International Conference, Cav 2006, Seattle, Wa, USA, August 17-20, 2006, Proceedings
4145. Provenance and Annotation of Data: International Provenance and Annotation Workshop, Ipaw 2006, Chicago, Il, USA, May 3-5, 2006, Revised Selected Pape
4147. Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, Aswsd 2004, San Diego, CA, USA, January 10-12, 2004 Rev
4148. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 16th International Workshop, Patmos 2006, Montpellier, F
4150. Ant Colony Optimization and Swarm Intelligence: 5th International Workshop, Ants 2006, Brussels, Belgium, September 4-7, 2006, Proceedings
4151. Mathematical Software - Icms 2006: Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings
4152. Advances in Databases and Information Systems: 10th East European Conference, Adbis 2006, Thessaloniki, Greece, September 3-7, 2006, Proceedings
4153. Advances in Machine Vision, Image Processing, and Pattern Analysis: International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, Iwi
4154. Groupware: Design, Implementation, and Use: 12th International Workshop, Criwg 2006, Medina del Campo, Spain, September 17-21, 2006, Proceedings
4156. Database and XML Technologies: 4th International XML Database Symposium
4157. Rigorous Development of Complex Fault-Tolerant Systems
4158. Autonomic and Trusted Computing: Third International Conference, Atc 2006, Wuhan, China, September 3-6, 2006
4159. Ubiquitous Intelligence and Computing: Third International Conference, Uic 2006, Wuhan, China, September 3-6, 2006, Proceedings
4161. Entertainment Computing - Icec 2006: 5th International Conference, Cambridge, UK, September 20-22, 2006, Proceedings
4162. Mathematical Foundations of Computer Science 2006: 31st International Symposium, Mfcs 2006 Star Lesn, Slovakia, August 28-September 1, 2006 Proceeding
4163. Artificial Immune Systems: 5th International Conference, Icaris 2006, Oeiras, Portugal, September 4-6, 2006, Proceedings
4164. Central European Functional Programming School: First Central European Summer School, Cefp 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
4165. Secure Data Management: Third Vldb Workshop, Sdm 2006, Seoul, Korea, September 10-11, 2006, Proceedings
4166. Computer Safety, Reliability and Security: 25th International Conference, SAFECOMP 2006 Gdansk, Poland, September 27-29, 2006 Proceedings
4167. Distributed Computing: 20th International Symposium
4168. Algorithms - ESA 2006: 14th Annual European Symposium
4169. Parameterized and Exact Computation: Second International Workshop
4170. Toward Category-Level Object Recognition
4171. Verified Software: Theories, Tools, Experiments: First Ifip Tc 2/Wg 2.3 Conference, Vstte 2005, Zurich, Switzerland, October 10-13, 2005, Revised Sele
4172. Research and Advanced Technolory for Digital Libraries
4173. Cellular Automata
4174. Pattern Recognition: 28th Dagm Symposium, Berlin, Germany, September 12-14, 2006, Proceedings
4176. Information Security: 9th International Conference; Isc 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings
4178. Graph Transformations: Third International Conference, Icgt 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006, Proceedings
4179. Advanced Concepts for Intelligent Vision Systems: 8th International Conference
4181. Advances in Web Based Learning -- Icwl 2006: 5th International Conference, Penang, Malaysia, July 19-21, 2006, Revised Papers
4182. Information Retrieval Technology
4184. Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
4185. The Semantic Web Aswc 2006: First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings
4186. Advances in Computer Systems Architecture: 11th Asia-Pacific Conference, Acsac 2006, Shanghai, China, September 6-8, 2006, Proceedings
4187. Principles and Practices of Semantic Web Reasoning: 4th International Workshop
4189. Computer Security - Esorics 2006: 11th European Symposium on Research in Computer Security
4190. Medical Image-Computing and Computer-Assisted Intervention - Miccai 2006
4191. Medical Image Computing and Computer-Assisted Intervention Miccai 2006: 9th International Conference Copenhagen, Denmark, October 1-6, 2006, Proceedin
4192. Recent Advances in Parallel Virtual Machine and Message Passing Interface: 13th European Pvm/Mpi User's Group Meeting, Bonn, Germany, September 17-20,
4193. Parallel Problem Solving from Nature - Ppsn IX
4194. Computer Algebra in Scientific Computing
4195. Autonomic Networking
4196. Multiagent System Technologies: 4th German Conference, Mates 2006, Erfurt, Germany, September 19-20, 2006, Proceedings
4197. Geographic Information Science: 4th International Conference, Giscience 2006 Mnster, Germany, September 20-23, 2006 Proceedings
4198. Advances in Web Mining and Web Usage Analysis: 7th International Workshop on Knowledge Discovery on the Web, Webkdd 2005, Chicago, Il, USA, August 21,
4199. Model Driven Engineering Languages and Systems: 9th International Conference, Models 2006, Genova, Italy, October 1-6, 2006, Proceedings
4201. Grammatical Interference: Algorithms and Applications
4202. Formal Modeling and Analysis of Timed Systems: 4th International Conference
4204. Principle and Practice of Constraint Programming - Cp 2006: 12th International Conference, Cp 2006, Nantes, France, September 25-29, 2006, Proceedings
4206. Ubicomp 2006: Ubiquitous Computing: 8th International Conference, Ubicomp 2006, Orange County, CA, USA, September 17-21, 2006, Proceedings
4207. Computer Science Logic
4208. High Performance Computing and Communications
4209. String Processing and Information Retrieval: 13th International Conference, Spire 2006, Glasgow, UK, October 11-13, 2006, Proceedings
4210. Computational Methods in Systems Biology: International Conference, Cmsb 2006, Trento, Italy, October 18-19, 2006, Proceedings
4211. Symbol Grounding and Beyond: Third International Workshop on the Emergence and Evolution of Linguistic Communications, Eelc 2006, Rome, Italy, Sept
4212. Machine Learning: Ecml 2006
4214. Quality of Software Architectures: Second International Conference on Quality of Software Architectures, Qosa 2006, Vasteras, Schweden, June 27-29, 20
4215. Conceptual Modeling - Er 2006
4217. Personal Wireless Communications: Ifip Tc6 11th International Conference, Pwc 2006, Albacete, Spain, September 20-22, 2006, Proceedings
4218. Automated Technology for Verification and Analysis: 4th International Symposium, Atva 2006, Beijing, China, October 23-26, 2006, Proceedings
4219. Recent Advances in Intrusion Detection: 9th International Symposium, Raid 2006, Hamburg, Germany, September 20-22, 2006, Proceedings
4220. Transactions on Computational Systems Biology VI
4221. Advances in Natural Computation: Second International Conference, Icnc 2006, Xi'an, China, September 24-28, 2006, Proceedings, Part I
4222. Advances in Natural Computation: Second International Conference, Icnc 2006, Xi'an, China, September 24-28, 2006, Proceedings, Part II
4223. Fuzzy Systems and Knowledge Discovery: Third International Conference, Fskd 2006, Xi'an, China, September 24-28, 2006, Proceedings
4224. Intelligent Data Engineering and Automated Learning - Ideal 2006: 7th International Conference
4225. Progress in Pattern Recognition, Image Analysis and Applications: 11th Iberoamerican Congress on Pattern Recognition, Ciarp 2006, Cancn, Mexico, Novem
4226. Informatics Education - The Bridge Between Using and Understanding Computers: International Conference on Informatics in Secondary Schools - Evolution
4227. Innovative Approaches for Learning and Knowledge Sharing: First European Conference on Technology Enhanced Learning, EC-Tel 2006, Crete, Greece, Octob
4228. Modular Programming Languages: 7th Joint Modular Languages Conference, Jmlc 2006 Oxford, UK, September 13-15, 2006 Proceedings
4229. Formal Techniques for Networked and Distributed Systems - Forte 2006: 26th Ifip Wg 6.1 International Conference, Paris, France, September 26-29, 2006,
4230. Transactions on Computational Systems Biology VII
4231. Advances in Conceptual Modeling - Theory and Practice
4232. Neural Information Processing: 13th International Conference, Iconip 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part I
4233. Neural Information Processing: 13th International Conference, Iconip 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part II
4234. Neural Information Processing: 13th International Conference, Iconip 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part III
4235. Combinatorial and Algorithmic Aspects of Networking: Third Workshop, Caan 2006, Chester, UK, July 2, 2006, Revised Papers
4236. Fault Diagnosis and Tolerance in Cryptography: Third International Workshop, Fdtc 2006, Yokohama, Japan, October 10, 2006, Proceedings
4237. Communications and Multimedia Security: 10th Ifip Tc-6 Tc 11 International Conference, CMS 2006, Heraklion Crete, Greece, October 19-21, 2006, Proceed
4238. Management of Convergence Networks and Services: 9th Asia-Pacific Network Operations and Management Symposium, Apnoms 2006, Busan, Korea, September 27
4239. Ubiquitous Computing Systems: Third International Symposium, Ucs 2006, Seoul, Korea, October 11-13, 2006, Proceedings
4240. Algorithmic Aspects of Wireless Sensor Networks: Second International Workshop, Algosensors 2006, Venice, Italy, July 15, 2006, Revised Selected Paper
4241. Computer Vision Approaches to Medical Image Analysis: Second International Eccv Workshop, Cvamia 2006, Graz, Austria, May 12, 2006, Revised Papers
4242. Transactions on Aspect-Oriented Software Development II: Focus: Aop Systems, Software and Middleware
4243. Advances in Information Systems: 4th International Conference, Advis 2006, Izmir, Turkey, October 18-20, 2006
4244. Journal on Data Semantics VII
4245. Discrete Geometry for Computer Imagery: 13th International Conference, Dgci 2006, Szeged, Hungary, October 25-27, 2006, Proceedings
4246. Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, Lpar 2006, Phnom Penh, Cambodia, November 13-17, 2006, P
4247. Simulated Evolution and Learning: 6th International Conference, Seal 2006, Hefei, China, October 15-18, 2006, Proceedings
4249. Cryptographic Hardware and Embedded Systems - Ches 2006: 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings
4250. Advances in Computer Games
4253. Knowledge-Based Intelligent Information and Engineering Systems: 10th International Conference, Kes 2006, Bournemouth, UK, October 9-11 2006, Proceedi
4254. Current Trends in Database Technology - Edbt 2006: Edbt 2006 Workshop PhD, Datax, Iidb, Iiha, Icsnw, Qlqp, Pim, Parma, and Reactivity on the Web, Muni
4255. Web Information Systems - Wise 2006: 7th International Conference in Web Information Systems Engineering, Wuhan, China, October 23-26, 2006, Proceedin
4256. Web Information Systems - Wise 2006 Workshops
4257. Software Process Improvement
4258. Privacy Enhancing Technologies
4259. Rough Sets and Current Trends in Computing: 5th International Conference, Rsctc 2006, Kobe, Japan, November 6-8, 2006, Proceedings
4260. Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Pro
4261. Advances in Multimedia Information Processing - Pcm 2006: 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings
4262. Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops Fates 2006 and RV 2006, Seattle, Wa, USA, Augus
4263. Computer and Information Sciences - Iscis 2006: 21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings
4266. Advances in Information and Computer Security: First International Workshop on Security, Iwsec 2006, Kyoto, Japan, October 23-24, 2006, Proceedings
4267. Autonomic Management of Mobile Multimedia Services: 9th Ifip/IEEE International Conference on Management of Multimedia and Mobile Networks and Service
4268. Autonomic Principles of IP Operations and Management: 6th IEEE International Workshop on IP Operations and Management, Ipom 2006, Dublin, Ireland, Oct
4269. Large Scale Management of Distributed Systems: 17th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2006, Dub
4270. Interactive Technologies and Sociotechnical Systems: 12th International Conference, Vsmm 2006, Xi'an, China, October 18-20, 2006, Proceedings
4271. Graph-Theoretic Concepts in Computer Science: 32nd International Workshop, Wg 2006, Bergen, Norway, June 22-23, 2006, Revised Papers
4272. Smart Sensing and Context
4273. The Semantic Web - Iswc 2006: 5th International Semantic Web Conference, Iswc 2006, Athens, Ga, USA, November 5-9, 2006, Proceedings
4274. Chinese Spoken Language Processing: 5th International Symposium, Iscslp 2006, Singapore, December 13-16, 2006, Proceedings
4275. On the Move to Meaningful Internet Systems 2006: Coopis, DOA, Gada, and Odbase: Otm Confederated International Conferences, Coopis, DOA, Gada, and Odb
4276. On the Move to Meaningful Internet Systems 2006: Coopis, DOA, Gada, and Odbase: Otm Confederated International Conferences, Coopis, DOA, Gada, and Odb
4277. On the Move to Meaningful Internet Systems 2006: Otm 2006 Workshops: Otm Confederated International Conferences and Posters, Awesome, Cams, Cominf, Is
4278. On the Move to Meaningful Internet Systems 2006: Otm 2006 Workshops: Otm Confederated International Conferences and Posters, Awesome, Cams, Cominf, Is
4279. Programming Languages and Systems: 4th Asian Symposium, Aplas 2006, Sydney, Australia, November 8-10, 2006, Proceedings
4280. Stabilization, Safety, and Security of Distributed Systems: 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings
4281. Theoretical Aspects of Computing - Ictac 2006
4282. Advances in Artificial Reality and Tele-Existence: 16th International Conference on Artificial Reality and Telexistence, iCat 2006, Hangzhou, China, N
4283. Digital Watermarking: 5th International Workshop, Iwdw 2006, Jeju Island, Korea, November 8-10, 2006, Proceedings
4284. Advances in Cryptology -- Asiacrypt 2006: 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai
4285. Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead: 21st International Conference, Iccpol 2006, Singapore, De
4286. Internet and Network Economics: Second International Workshop, Wine 2006, Patras, Greece, December 15-17, 2006, Proceedings
4287. DNA Computing: 12th International Meeting on DNA Computing, Dna12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers
4288. Algorithms and Computation: 17th International Symposium, Isaac 2006, Kolkata, India, December 18-20, 2006, Proceedings
4290. Middleware 2006: ACM/Ifip/Usenix 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceed
4291. Advances in Visual Computing: Second International Symposium, Isvc 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I
4292. Advances in Visual Computing: Second International Symposium, Isvc 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part II
4293. Micai 2006: Advances in Artificial Intelligence: 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 200
4294. Service-Oriented Computing - Icsoc 2006: 4th International Conference, Chicago, Il, USA, December 4-7, Proceedings
4295. Web and Wireless Geographical Information Systems: 6th International Symposium, W2gis 2006, Hong Kong, China, December 4-5, 2006, Proceedings
4296. Information Security and Cryptology a " Icisc 2006: 9th International Conference, Busan, Korea, November 30 - December 1, 2006, Proceedings
4297. High Performance Computing - HIPC 2006: 13th International Conference Bangalore, India, December 18-21, 2006, Proceedings
4298. Information Security Applications: 7th International Workshop, Wisa 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers
4299. Machine Learning for Multimodal Interaction: Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers
4300. Transactions on Data Hiding and Multimedia Security I
4301. Cryptology and Network Security: 5th International Conference, Cans 2006, Suzhou, China, December 8-10, 2006, Proceedings
4302. Privacy in Statistical Databases: Cenex-Sdc Project International Conference, Psd 2006, Rome, Italy, December 13-15, 2006, Proceedings
4303. Advances in Knowledge Acquisition and Management: Pacific Rim Knowledge Acquisition Workshop, Pkaw 2006, Guilin, China, August 7-8, 2006, Revised Sele
4304. AI 2006: Advances in Artificial Intelligence: 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proc
4305. Principles of Distributed Systems: 10th International Conference, Opodis 2006, Bordeaux, France, December 12-15, 2006, Proceedings
4306. Semantic Multimedia: First International Conference on Semantic and Digital Media Technologies, Samt 2006, Athens, Greece, December 6-8, 20
4307. Information and Communications Security: 8th International Conference, Icics 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings
4308. Distributed Computing and Networking
4309. Software Engineering Education in the Modern Age: Software Education and Training Sessions at the International Conference, on Software Engineering, I
4310. Numerical Methods and Applications: 6th International Conference, Nma 2006, Borovets, Bulgaria, August 20-24, 2006, Revised Papers
4311. Technologies for Advanced Heterogeneous Networks II: Second Asian Internet Engineering Conference, Aintec 2006, Pathumthani, Thailand, November 28-30,
4312. Digital Libraries: Achievements, Challenges and Opportunities: 9th International Conference on Asian Digial Libraries, Icadl 2006, Kyoto, Japan, Novem
4313. Leveraging Applications of Formal Methods: First International Symposium, Isola 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected
4315. Openmp Shared Memory Parallel Programming: International Workshop, Iwomp 2005 and Iwomp 2006, Eugene, Or, USA, June 1-4, 2005, and Reims, France, June
4316. Data Mining and Bioinformatics
4317. Distributed Computing and Internet Technology: Third International Conference, Icdcit 2006, Bhubaneswar, India, December 20-23, 2006
4318. Information Security and Cryptology: Second Sklois Conference, Inscrypt 2006, Beijing, China, November 29 - December 1, 2006, Proceedings
4319. Advances in Image and Video Technology: First Pacific Rim Symposium, Psivt 2006, Hsinchu, Taiwan, December 10-13, 2006, Proceedings
4320. System Analysis and Modeling: Language Profiles: 5th International Workshop, Sam 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selecte
4321. The Adaptive Web: Methods and Strategies of Web Personalization
4322. Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
4323. Interactive Systems. Design, Specification, and Verification: 13th International Workshop, Dsvis 2006, Dublin, Ireland, July 26-28, 2006, Revised Pape
4325. Mobile Ad-Hoc and Sensor Networks: Second International Conference, Msn 2006, Hong Kong, China, December 13-15, 2006, Proceedings
4326. Technologies for Interactive Digital Storytelling and Entertainment: Third International Conference, Tidse 2006, Darmstadt, Germany, December 4-6, 200
4327. Declarative Agent Languages and Technologies IV: 4th International Workshop, Dalt 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Pa
4328. Service Availability: Third International Service Availability Symposium, Isas 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Pa
4329. Progress in Cryptology - Indocrypt 2006: 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006, Proceedings
4330. Parallel and Distributed Processing and Applications: 4th International Symposium, Ispa 2006, Sorrento, Italy, December 4-6, 2006, Proceedings
4331. Frontiers of High Performance Computing and Networking a " Ispa 2006 Workshops: Ispa 2006 International Workshops Fhpcn, Xhpc, S-Grace, Gridgis, HPC-G
4332. Information Systems Security
4333. Practical Aspects of Knowledge Management: 6th Internatioal Conference, Pakm 2006, Vienna, Austria, November 30-December 1, 2006, Proceedings
4334. Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rustan M. Leino
4336. Empirical Software Engineering Issues Critical Assessment and Future Directions: International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, R
4337. Fsttcs 2006: Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006,
4338. Computer Vision, Graphics and Image Processing: 5th Indian Conference, Icvgip 2006, Madurai, India, December 13-16, 2006, Proceedings
4339. Languages and Compilers for Parallel Computing: 18th International Workshop, Lcpc 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Pape
4340. Grid Computing: Experiment Management, Tool Integration, and Scientific Workflows
4341. Progress in Cryptology - Vietcrypt 2006: First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006, Revised Selec
4342. Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of Cost Action 274, Tarski, 2002-2005, Selected
4343. Speaker Classification I: Fundamentals, Features, and Methods
4344. Software Architecture
4345. Biological and Medical Data Analysis: 7th International Symposium, Isbmda 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings
4346. Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, Fmics 2006, and 5th Intern
4347. Critical Information Infrastructures Security: First International Workshop, Critis 2006, Samos Island, Greece, August 31 - September 1, 2006
4348. ADA 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/Iec 8652/1995(e) with Technical Corrigendum 1 and Amendment 1
4349. Verification, Model Checking, and Abstract Interpretation: 8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings
4350. All about Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
4351. Advances in Multimedia Modeling
4352. Advances in Multimedia Modeling: 13th International Multimedia Modeling Conference, MMM 2007, Singapore, January 9-12, 2007, Proceedings, Part II
4353. Database Theory Icdt 2007
4354. Practical Aspects of Declarative Languages: 9th International Symposium, Padl 2007, Nice, France, January 14-15, 2007, Proceedings
4355. B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
4356. Selected Areas in Cryptography: 13th International Workshop, Sac 2006, Montreal, Canada, August 17-18, 2006, Revised Selected Papers
4357. Security and Privacy in Ad-Hoc and Sensor Networks
4358. Dynamical Vision: ICCV 2005 and Eccv 2006 Workshops, Wdv 2005 and Wdv 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 200
4359. Lecture Notes in Computer Science " #4359: Algorithmic Methods for Railway Optimization: International Dagstuhl Workshop, Railway Opti
4360. Distributed, High-Performance and Grid Computing in Computational Biology: International Workshop, Gccb 2006, International Workshop, Gccb 2006, Eilat
4361. Membrane Computing: 7th International Workshop, Wmc 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers
4362. Sofsem 2007: Theory and Practice of Computer Science: 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech R
4363. Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Rev
4364. Models in Software Engineering
4365. Business Intelligence for the Real-Time Enterprises: First International Workshop, BIRTE 2006, Seoul, Korea, September 11, 2006, Revised Selected Pape
4367. High Performance Embedded Architectures and Compilers: Second International Conference, Hipeac 2007, Ghent, Belgium, January 28-30, 2007. Proceedings
4368. Approximation and Online Algorithms
4369. Declarative Programming for Knowledge Management
4370. Pixelization Paradigm: Visual Information Expert Workshop, View 2006, Paris, France, April 24-25, 2006, Revised Selected Papers
4371. Computational Logic in Multi-Agent Systems: 7th International Workshop, Clima VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
4372. Graph Drawing: 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006, Revised Papers
4373. Wireless Sensor Networks: 4th European Conference, Ewsn 2007, Delft, the Netherlands, January 29-31, 2007, Proceedings
4374. Transactions on Rough Sets VI
4375. Euro-Par 2006: Parallel Processing: Workshops: Coregrid 2006, Unicore Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, German
4376. Job Scheduling Strategies for Parallel Processing: 12th International Workshop, Jsspp 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
4377. Topics in Cryptology a " CT-Rsa 2007: The Cryptographers' Track at the Rsa Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings
4378. Perspective of Systems Informatics
4379. Object-Oriented Technology.Ecoop 2006 Workshop Reader: Ecoop 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports
4380. Journal on Data Semantics VIII
4381. Discrete Geometry, Combinatorics and Graph Theory: 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, and Xi'an, China,
4382. Languages and Compilers for Parallel Computing: 19th International Workshop, Lcpc 2006, New Orleans, La, USA, November 2-4, 2006, Revised Papers
4383. Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, Hvc 2006, Haifa, Israel, October 23-26, 2006, Rev
4385. Task Models and Diagrams for Users Interface Design: 5th International Workshop, Tamodia 2006 Hassekt, Belgium, October 23-24, 2006 Revised Papers
4386. Coordination, Organizations, Institutions, and Norms in Agent Systems II: Aamas 2006 and Ecai 2006 International Workshops, Coin 2006 Hakodate, Japan,
4389. Environments for Multi-Agent Systems III: Third International Workshop, E4mas 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers
4391. Progress in Nonlinear Speech Processing
4392. Theory of Cryptography: 4th Theory of Cryptography Conference, Tcc 2007, Amsterdam, the Netherlands, February 21-24, 2007, Proceedings
4393. Stacs 2007
4394. Computational Linguistics and Intelligent Text Processing: 8th International Conference, Cicling 2007, Mexico City, Mexico, February 18-24, 2007, Proc
4395. High Performance Computing for Computational Science - Vecpar 2006: 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Se
4396. Wireless Systems and Mobility in Next Generation Internet: Third International Workshop of the EURO-NGI Network of Excellence, Sitges, Spain, June 6-9
4397. Universal Access in Ambient Intelligence Environments: 9th Ercim Workshop on User Interfaces for All, K??nigswinter, Germany, September 27-28, 2006, R
4398. Adaptive Multimedia Retrieval: User, Context, and Feedback: 4th International Workshop, Amr 2006, Geneva, Switzerland, July, 27-28, 2006, Revised Sele
4399. Learning Classifier Systems: International Workshops, Iwlcs 2003-2005, Revised Selected Papers
4400. Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzislaw Pawlak, Part II
4401. Rapid Integration of Software Engineering Techniques: Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Sel
4402. Computer Supported Cooperative Work in Design III: 10th International Conference, Cscwd 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
4403. Evolutionary Multi-Criterion Optimization: 4th International Conference, Emo 2007, Matsushima, Japan, March 5-8, 2007, Proceedings
4404. Visual Data Mining: Theory, Techniques and Tools for Visual Analytics
4405. Agent-Oriented Software Engineering 7: 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
4406. Advances in Smaltalk: 14th International Smaltalk Conference, Isc 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
4407. Logic-Based Program Synthesis and Transformation: 16th International Symposium, Lopstr 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
4408. Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications
4409. Recent Trends in Algebraic Development Techniques: 18th International Workshop, Wadt 2006, La Roche En Ardenne, Belgium, June 1-3, 2006, Revised Selec
4412. Ubiquitous Convergence Technology: First International Conference, Icuct 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers
4414. Bioinformatics Research and Development: First International Conference, Bird 2007, Berlin, Germany, March 12-14, 2007, Proceedings
4415. Architecture of Computing Systems - ARCS 2007: 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings
4416. Hybrid Systems: Computation and Control
4417. Human-Centered Visualization Environments: GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Papers
4418. Advances in Computer Vision and Computer Graphics: Third International Conference on Computer Vision/Computer Graphics, Mirage 2007, Rocquencourt, Fra
4419. Reconfigurable Computing: Architectures, Tools and Applications: Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007, Proce
4420. Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Softw
4421. Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Pra
4422. Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007 Held as Part of the Joint European Conferences on Theory and
4423. Foundations of Software Science and Computational Structures: 10th International Conference, Fossacs 2007, Held as Part of the Joint European Conferen
4424. Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007 Held as Part of the Joint European Confer
4425. Advances in Information Retrieval: 29th European Conference on IR Research, Ecir 2007, Rome, Italy, April 2-5, 2007, Proceedings
4426. Advances in Knowledge Discovery and Data Mining: 11th Pacific-Asia Conference, Pakdd 2007, Nanjing, China, May 22-25, 2007, Proceedings
4427. Passive and Active Network Measurement
4428. Model Checking and Artificial Intelligence: 4th Workshop, Mochart IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
4429. Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005 Revised Selected Papers
4430. Intelligence and Security Informatics: Pacific Asia Workshop, Paisi 2007, Chengdu, China, April 11-12, 2007, Proceedings
4431. Adaptive and Natural Computing Algorithms: 8th International Conference, Icannga 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I
4432. Adaptive and Natural Computing Algorithms
4433. Swarm Robotics: Second Sab 2006 International Workshop, Rome, Italy, September 30-October 1, 2006 Revised Selected Papers
4435. Advances in Computer Science - Asian 2006. Secure Software and Related Issues: 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 20
4436. Foundations of Genetic Algorithms: 9th International Workshop, Foga 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers
4437. Information Hiding: 8th International Workshop, Ih 2006, Alexandria, Va, USA, July 10-12, 2006, Revised Seleceted Papers
4438. Leveraging the Semantics of Topics Maps: Second International Conference on Topic Maps Research and Applications, Tmra 2006, Leipzig, Germany, October
4439. Business Information Systems: 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007, Proceedings
4440. Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
4442. Lecture Notes in Computer Science " #4442: Multi-Agent-Based Simulation VII: International Workshop, Mabs 2006, Hakodate, Japan, May 8
4443. Advances in Databases: Concepts, Systems and Applications: 12th International Conference on Database Systems for Advanced Applications, Dasfaa 2007, B
4444. Program Analysis and Compilation. Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
4445. Genetic Programming
4446. Evolutionary Computation in Combinatorial Optimization
4447. Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics: 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007
4448. Applications of Evolutionary Computing: EvoWorkshops 2007: EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTRANSLOG, Valencia,
4449. Implementation and Application of Functional Languages: 18th International Symposium, Ifl 2006, Budapest, Hungary, September 4-6, 2006, Revised Select
4450. Public Key Cryptography - Pkc 2007
4452. Agent-Mediated Electronic Commerce: Automated Negotiation and Strategy Design for Electronic Markets: AAMAS 2006 Workshop, TADA/AMEC 2006 Hakodate, Ja
4453. Research in Computational Molecular Biology: 11th Annunal International Conference, Recomb 2007, Oakland, CA, USA, April 21-25, 2007, Proceedings
4454. Tests and Proofs: First International Conference, Tap 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
4455. Inductive Logic Programming: 16th International Conference, Ilp 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers
4456. Computational Intelligence and Security: International Conference, Cis 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers
4457. Engineering Societies in the Agents World VII: 7th International Workshop, Esaw 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited
4458. Mobile Response: First International Workshop on Mobile Information Technology, for Emergency Response, Mobile Response 2007, Sankt Aug
4459. Advances in Grid and Pervasive Computing: Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings
4460. Lecture Notes in Computer Science " #4460: Algebraic and Proof-Theoretic Aspects of Non-Classical Logics: Papers in Honor of Daniele M
4462. Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems: First Ifip Tc6 / Wg 8.8 / Wg 11.2 International Works
4463. Bioinformatics Research and Applications: Third International Symposium, Isbra 2007, Atlanta, Ga, USA, May 7-10, 2007, Proceedings
4464. Information Security Practice and Experience
4465. Network Control and Optimization: First Eurofgi International Conference, Net-COOP 2007 Avignon, France, June 5-7, 2007 Proceedings
4466. Functional Imaging and Modeling of the Heart: 4th International Conference, Salt Lake City, UT, USA, June 7-9, 2007
4467. Coordination Models and Language: 9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
4468. Formal Methods for Open Object-Based Distributed Systems: 9th Ifip Wg 6.1 International Conference, Fmoods 2007, Paphos, Cyprus, June 6-8, 2007, Proce
4469. Technologies for E-Learning and Digital Entertainment: Second International Conference, Edutainment 2007, Hong Kong, China, June 11-13, 2007, Proceedi
4470. Software Process Dynamics and Agility: International Conference on Software Process, ICSP 2007 Minneapolis, MN, USA, May 19-20, 2007 Proceedings
4471. Interactive TV: A Shared Experience: 5th European Conference, EuroITV 2007 Amsterdam, the Netherlands, May 24-25, 2007 Proceedings
4472. Multiple Classifier Systems: 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007, Proceedings
4473. Lecture Notes in Computer Science " #4473: Trends in Enterprise Application Architecture: 2nd International Conference, Teaa 2006, Ber
4474. Structural Information and Communication, Complexity: 14th International Colloquium, Sirocco 2007, Castiglioncello, Italy, June 5-8, 2007, Proceedings
4475. Fun with Algorithms: 4th International Conference, FUN 2007 Castiglioncello, Italy, June 3-5, 2007 Proceedings
4477. Pattern Recognition and Image Analysis: Third Iberian Conference, Ibpria 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I
4478. Pattern Recognition and Image Analysis: Third Iberian Conference, Ibpria 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II
4479. Networking 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet: 6th International Ifip-Tc6 Networking Conference, Atlanta, G
4480. Pervasive Computing: 5th International Conference, Pervasive 2007, Toronto, Canada, May 13-16, 2007, Proceedings
4481. Rough Sets and Knowledge Technology: Second International Conference, Rskt 2007, Toronto, Canada, May 14-16, 2007, Proceedings
4483. Logic Programming and Nonmonotonic Reasoning: 9th International Conference, Lpnmr 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings
4484. Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007 Shanghai, China, May 22-25, 2007 Proceedings
4485. Scale Space Methods and Variational Methods in Computer Vision: First International Conference, Ssvm 2007, Ischia, Italy, May 30 - June 2, 2007, Proce
4486. Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems,
4487. Computational Science -- Iccs 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I
4488. Computational Science -- Iccs 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II
4489. Computational Science -- Iccs 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III
4490. Computational Science -- Iccs 2007: 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV
4491. Advances in Neural Networks -- Isnn 2007: 4th International Symposium on Neutral Networks, Isnn 2007 Nanjing, China, June 3-7, 2007 Proceedings, Part
4492. Advances in Neural Networks -- Isnn 2007: 4th International Symposium on Neutral Networks, Isnn 2007 Nanjing, China, June 3-7, 2007 Proceedings, Part
4493. Advances in Neural Networks -- Isnn 2007: 4th International Symposium on Neural Networks, Isnn 2007 Nanjing, China, June 3-7, 2007 Proceedings, Part I
4494. Algorithms and Architectures for Parallel Processing: 7th International Conference, Ica3pp 2007, Hangzhou, China, June 11-14, 2007, Proceedings
4495. Advanced Information Systems Engineering: 19th International Conference, Caise 2007, Trondheim, Norway, June 11-15, 2007, Proceedings
4496. Agent and Multi-Agent Systems: Technologies and Applications: First Kes International Symposium, Kes-Amsta 2007, Wroclaw, Poland, May 31-June 1, 2007,
4497. Computation and Logic in the Real World: Third Conference on Computability in Europe, Cie 2007, Siena, Italy, June 18-23, 2007, Proceedings
4498. Reliable Software Technologies - ADA-Europe 2007: 12th ADA-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, Jun
4499. Transactions on Data Hiding and Multimedia Security II
4500. The Disappearing Computer: Interaction Design, Systems Infrastructures and Applications for Smart Environments
4501. Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
4502. Types for Proofs and Programs: International Workshop, Types 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
4503. Statistical Network Analysis: Models, Issues, and New Directions: ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, Pa, USA, June 29, 20
4504. Service-Oriented Computing: Agents, Semantics, and Engineering: AAMAS 2007 International Workshop, SOCASE 2007 Honolulu, Hi, USA, May 14, 2007 Proceed
4505. Advances in Data and Web Management: Joint 9th Asia-Pacific Web Conference, Apweb 2007, and 8th International Conference on Web-Age Information Manage
4506. Intelligence and Security Informatics: Biosurveillance: Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007, Proceedings
4507. Computational and Ambient Intelligence: 9th International Work-Conference on Artificial Neural Networks, Iwann 2007, San Sebasti??n, Spain, June 20-22
4508. Algorithmic Aspecte in Information and Management: Third International Conference, Aaim 2007, Portland, Or, USA, June 6-8, 2007, Proceedings
4510. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 4th International Conference, CPAIOR 2007 Bruss
4512. Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development
4513. Integer Programming and Combinatorial Optimization: 12th International Ipco Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings
4514. Logical Foundations of Computer Science: International Symposium, Lfcs 2007, New York, NY, USA, June 4-7, 2007, Proceedings
4515. Advances in Cryptology - EUROCRYPT 2007: 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, S
4516. Managing Traffic Performance in Converged Networks: 20th International Teletraffic Congress, Itc20 2007, Ottawa, Canada, June 17-21, 2007, Proceedings
4517. Wired/Wireless Internet Communications: 5th International Conference, WWIC 2007 Coimbra, Portugal, May 23-25, 2007 Proceedings
4518. Comparative Evaluation of XML Information Retrieval Systems: 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, Inex 20
4519. The Semantic Web: Research and Applications: 4th European Semantic Web Conference, Eswc 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings
4520. Anticipatory Behavior in Adaptive Learning Systems: From Brains to Individual and Social Behavior
4521. Applied Cryptography and Network Security: 5th International Conference, Acns 2007, Zhuhai, China, June 5-8, 2007, Proceedings
4522. Image Analysis: 15th Scandinavian Conference, Scia 2007, Aalborg, Denmark, June 10-24, 2007, Proceedings
4523. Embedded Software and Systems: Third International Conference, Icess 2007, Daegu, Korea, May 14-16, 2007, Proceedings
4524. Web Reasoning and Rule Systems: First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
4525. Experimental and Efficient Algorithms: 6th International Workshop, Wea 2007, Rome, Italy, June 6-8, 2007, Proceedings
4526. Service Availability: 4th International Service Availability Symposium, ISAS 2007 Durham, NH, USA, May 21-22, 2007 Proceedings
4527. Bio-Inspired Modeling of Cognitive Tasks: Second International Work-Conference on the Interplay Between Natural and Artificial Computation, Iwinac 200
4528. Nature Inspired Problem-Solving Methods in Knowledge Engineering: Second International Work-Conference on the Interplay Between Natural and Artificial
4530. Model Driven Architecture - Foundations and Applications: Third European Conference, Ecmda-Fa 2007, Haifa, Israel, June 11-15, 2007, Proceedings
4531. Distributed Applications and Interoperable Systems: 7th Ifip Wg 6.1 International Conference, Dais 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings
4533. Term Rewriting and Applications: 18th International Conference, Rta 2007, Paris, France, June 26-28, 2007, Proceedings
4534. Optical Network Design and Modeling: 11th International Ifip-Tc6 Conference, Ondm 2007, Athens, Greece, May 29-31, 2007, Proceedings
4535. Computational Geometry and Graph Theory: International Conference, Kyotocggt 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers
4536. Agile Processes in Software Engineering and Extreme Programming: 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings
4537. Advances in Web and Network Technologies, and Information Management: Apweb/Waim 2007 International Workshops: Dbman 2007, Webetrends 2007, Pais 2007
4538. Graph-Based Representations in Pattern Recognition: 6th Iapr-Tc-15 International Workshop, Gbrpr 2007, Alicante, Spain, June 11-13, 2007, Proceedings
4539. Learning Theory: 20th Annual Conference on Learning Theory, Colt 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings
4540. Geosensor Networks: Second International Conference, Gsn 2006, Boston, Ma, USA, October 1-3, 2006, Revised Selected and Invited Papers
4541. Pervasive Computing for Quality of Life Enhancement: 5th International Conference on Smart Homes and Health Telematics, Ost 2007, Nara, Japan, June 21
4542. Requirements Engineering: Foundation for Software Quality: 13th International Working Conference, Refsq 2007, Trondheim, Norway, June 11-12, 2007, Pro
4543. Inter-Domain Management: First International Conference on Autonomous Infrastructure, Management and Security, Aims 2007, Oslo, Norway, June 21
4544. Data Integration in the Life Sciences: 4th International Workshop, Dils 2007, Philadelphia, Pa, USA, June 27-29, 2007, Proceedings
4545. Algebraic Biology: Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
4546. Petri Nets and Other Models of Concurrency -- Icatpn 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of
4547. Arithmetic of Finite Fields: First International Workshop, Waifi 2007, Madrid, Spain, June 21-22, 2007, Proceedings
4549. Distributed Computing in Sensor Systems: Third IEEE International Conference, Dcoss 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings
4550. Human-Computer Interaction.Interaction Design and Usability: 12th International Conference, Hci International 2007, Beijing, China, July 22-27, 2007,
4551. Human-Computer Interaction.Interaction Platforms and Techniques: 12th International Conference, Hci International 2007, Beijing, China, July 22-27, 20
4552. Human-Computer Interaction.Hci Intelligent Multimodal Interaction Environments: 12th International Conference, Hci International 2007, Beijing, China,
4553. Human-Computer Interaction.Hci Applications and Services: 12th International Conference, Hci International 2007, Beijing, China, July 22-27, 2007, Pro
4554. Universal Acess in Human Computer Interaction. Coping with Diversity: Coping with Diversity, 4th International Conference on Universal Access in Human
4555. Universal Access in Human-Computer Interaction. Ambient Interaction: 4th International Conference on Universal Access in Human-Computer Interaction, U
4556. Universal Access in Human-Computer Interaction. Applications and Services: 4th International Conference on Universal Access in Human-Computer Interact
4557. Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design: Symposium on Human Interface 2007, Held as Par
4558. Human Interface and the Management of Information. Interacting in Information Environments: Symposium on Human Interface 2007, Held as Part of Hci Int
4559. Usability and Internationalization. Hci and Culture: Second International Conference on Usability and Internationalization, Ui-Hcii 2007, Held as Part
4560. Usability and Internationalization. Global and Local User Interfaces: Second International Conference on Usability and Internationalization, Ui-Hcii 2
4561. Digital Human Modeling: First International Conference, Dhm 2007, Helt as Part of Hci International 2007, Beijing, China, July 22-27, 2007, Pr
4562. Engineering Psychology and Cognitive Ergonomics: 7th International Conference, Epce 2007, Held as Part of Hci International 2007, Beijing, China, July
4563. Virtual Reality: Second International Conference, Icvr 2007, Held as Part of Hci International 2007, Beijing, China, July 22-27, 2007,
4564. Online Communities and Social Computing: Second International Conference, Ocsc 2007, Held as Part of Hci International 2007, Beijing, China, July 22-2
4565. Foundations of Augmented Cognition: Third International Conference, Fac 2007, Held as Part of Hci International 2007, Beijing, China, July 22-27, 2007
4566. Ergonomics and Health Aspects of Work with Computers: International Conference, Ehawc 2007, Held as Part of Hci International 2007, Beijing, China, Ju
4567. Information Hiding: 9th International Workshop, Ih 2007, Saint Malo, France, June 11-13, 2007, Revised Selected Papers
4568. Intercultural Collaboration: First International Workshop, Iwic 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers
4569. Smart Graphics: 8th International Symposium, Sg 2007, Kyoto, Japan, June 25-27, 2007, Proceedings
4570. New Trends in Applied Artificial Intelligence: 20th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent
4571. Machine Learning and Data Mining in Pattern Recognition: 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings
4572. Security and Privacy in Ad-Hoc and Sensor Networks: 4th European Workshop, Esas 2007, Cambridge, UK, July 2-3, 2007, Proceedings
4574. Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, P
4575. Pairing-Based Cryptography - Pairing 2007: First International Conference, Pairing 2007, Tokyo, Japan, July 2-4, 2007, Proceedings
4576. Logic, Language, Information and Computation: 14th International Workshop, Wollic 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
4577. Multimedia Content Analysis and Mining: International Workshop, McAm 2007, Weihai, China, June 30-July 1, 2007, Proceedings
4579. Detection of Intrusions and Malware, and Vulnerability Assessment: 4th International Conference, Dimva 2007 Lucerne, Switzerland, July 12-13, 2007 Pro
4580. Combinatorial Pattern Matching: 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings
4581. Testing of Software and Communicating Systems: 19th Ifip Tc 6/Wg 6.1 International Conference, Testcom 2007, 7th International Workshop, Fates 2007, T
4582. Public Key Infrastructure: 4th European Pki Workshop: Theory and Practice, Europki 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings
4583. Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings
4584. Information Processing in Medical Imaging: 20th International Conference, Ipmi 2007, Kerkrade, the Netherlands, July 2-6, 2007, Proceedings
4586. Information Security and Privacy: 12th Australasian Conference, Acisp 2007, Townsville, Australia, July 2-4, 2007, Proceedings
4587. Data Management.Data, Data Everywhere: 24th British National Conference on Databases, Bncod 24, Glasgow, UK, July 3-5, 2007, Proceedings
4588. Developments in Language Theory: 11th International Conference, Dlt 2007, Turku, Finland, July 3-6, 2007, Proceedings
4589. Product-Focused Software Process Improvement: 8th International Conference, Profes 2007, Riga, Latvia, July 2-4, 2007, Proceedings
4590. Computer Aided Verification: 19th International Conference, Cav 2007, Berlin, Germany, July 3-7, 2007, Proceedings
4591. Integrated Formal Methods: 6th International Conference, Ifm 2007, Oxford, UK, July 2-5, 2007, Proceedings
4592. Natural Language Processing and Information Systems: 12th International Conference on Applications of Natural Language to Information Systems, Nldb 20
4593. Fast Software Encryption: 14th International Workshop, Fse 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers
4595. Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
4596. Automata, Languages and Programming: 34th International Colloquium, Icalp 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings
4598. Computing and Combinatorics: 13th Annual International Conference, Cocoon 2007, Banff, Canada, July 16-19, 2007, Proceedings
4599. Embedded Computer Systems: Architectures, Modeling, and Simulation: 7th International Workshop, Samos 2007, Samos, Greece, July 16-19, 2007, Proceedin
4600. Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
4601. Journal on Data Semantics IX
4602. 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,
4603. Automated Deduction - Cade 21: 21st