1.

電子ブック
ＥＢ
1. Parallel Computation : Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O Klagenfurt, Austria, September 23–25, 1996 Proceedings
edited by László Böszörményi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1127
オンライン: http://dx.doi.org/10.1007/3-540-61695-0
2.

電子ブック
ＥＢ
2. Concurrency and Parallelism, Programming, Networking, and Security : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings
edited by Joxan Jaffar, Roland H. C. Yap
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1179
オンライン: http://dx.doi.org/10.1007/BFb0027773
3.

電子ブック
ＥＢ
3. Information Theory and Applications II : 4th Canadian Workshop Lac Delage, Québec, Canada, May 28–30, 1995 Selected Papers
edited by Jean-Yves Chouinard, Paul Fortier, T. Aaron Gulliver
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1133
オンライン: http://dx.doi.org/10.1007/BFb0025130
4.

電子ブック
ＥＢ
4. Algorithms — ESA '96 : Fourth Annual European Symposium Barcelona, Spain, September 25–27, 1996 Proceedings
edited by Josep Diaz, Maria Serna
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1136
オンライン: http://dx.doi.org/10.1007/3-540-61680-2
5.

電子ブック
ＥＢ
5. Logics for Concurrency : Structure versus Automata
edited by Faron Moller, Graham Birtwistle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1043
オンライン: http://dx.doi.org/10.1007/3-540-60915-6
6.

電子ブック
ＥＢ
6. Applied Parallel Computing Industrial Computation and Optimization : Third International Workshop, PARA '96 Lyngby, Denmark, August 18–21, 1996 Proceedings
edited by Jerzy Waśniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1184
オンライン: http://dx.doi.org/10.1007/3-540-62095-8
7.

電子ブック
ＥＢ
7. Graph Drawing : Symposium on Graph Drawing, GD '95 Passau, Germany, September 20–22, 1995 Proceedings
edited by Franz J. Brandenburg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1027
オンライン: http://dx.doi.org/10.1007/BFb0021783
8.

電子ブック
ＥＢ
8. Algorithms and Computation : 7th International Symposium, ISAAC '96 Osaka, Japan, December 16–18, 1996 Proceedings
edited by Tetsuo Asano, Yoshihide Igarashi, Hiroshi Nagamochi, Satoru Miyano, Subhash Suri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1178
オンライン: http://dx.doi.org/10.1007/BFb0009475
9.

電子ブック
ＥＢ
9. Advances in Cryptology — CRYPTO ’96 : 16th Annual International Cryptology Conference Santa Barbara, California, USA August 18–22, 1996 Proceedings
edited by Neal Koblitz
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1996
シリーズ名: Lecture Notes in Computer Science ; 1109
オンライン: http://dx.doi.org/10.1007/3-540-68697-5
10.

電子ブック
ＥＢ
10. Foundations of Software Technology and Theoretical Computer Science : 16th Conference Hyderabad, India, December 18–20, 1996 Proceedings
edited by V. Chandru, V. Vinay
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1180
オンライン: http://dx.doi.org/10.1007/3-540-62034-6
11.

電子ブック
ＥＢ
11. Hybrid Systems III : Verification and Control
edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1066
オンライン: http://dx.doi.org/10.1007/BFb0020931
12.

電子ブック
ＥＢ
12. Algorithmic Number Theory : Second International Symposium, ANTS-II Talence, France, May 18–23, 1996 Proceedings
edited by Henri Cohen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1122
オンライン: http://dx.doi.org/10.1007/3-540-61581-4
13.

電子ブック
ＥＢ
13. Fast Software Encryption : Third International Workshop Cambridge, UK, February 21–23 1996 Proceedings
edited by Dieter Gollmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1039
オンライン: http://dx.doi.org/10.1007/3-540-60865-6
14.

電子ブック
ＥＢ
14. Computing and Combinatorics : Second Annual International Conference, COCOON '96 Hong Kong, June 17–19, 1996 Proceedings
edited by Jin-Yi Cai, Chak Kuen Wong
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1090
オンライン: http://dx.doi.org/10.1007/3-540-61332-3
15.

電子ブック
ＥＢ
15. Parallel Problem Solving from Nature — PPSN IV : International Conference on Evolutionary Computation — The 4th International Conference on Parallel Problem Solving from Nature Berlin, Germany, September 22–26, 1996 Proceedings
edited by Hans-Michael Voigt, Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1141
オンライン: http://dx.doi.org/10.1007/3-540-61723-X
16.

電子ブック
ＥＢ
16. Trees in Algebra and Programming — CAAP '96 : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
edited by Hélène Kirchner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: http://dx.doi.org/10.1007/3-540-61064-2
17.

電子ブック
ＥＢ
17. High-Performance Computing and Networking : International Conference and Exhibition HPCN EUROPE 1996 Brussels, Belgium, April 15–19, 1996 Proceedings
edited by Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1067
オンライン: http://dx.doi.org/10.1007/3-540-61142-8
18.

電子ブック
ＥＢ
18. Integer Programming and Combinatorial Optimization : 5th International IPCO Conference Vancouver, British Columbia, Canada, June 3–5, 1996 Proceedings
edited by William H. Cunningham, S. Thomas McCormick, Maurice Queyranne
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1084
オンライン: http://dx.doi.org/10.1007/3-540-61310-2
19.

電子ブック
ＥＢ
19. Application and Theory of Petri Nets 1996 : 17th International Conference Osaka, Japan, June 24–28, 1996 Proceedings
edited by Jonathan Billington, Wolfgang Reisig
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1091
オンライン: http://dx.doi.org/10.1007/3-540-61363-3
20.

電子ブック
ＥＢ
20. Practice and Theory of Automated Timetabling : First International Conference Edinburgh, U.K., August 29–September 1, 1995 Selected Papers
edited by Edmund Burke, Peter Ross
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1153
オンライン: http://dx.doi.org/10.1007/3-540-61794-9
21.

電子ブック
ＥＢ
21. Digital Signature Schemes : General Framework and Fail-Stop Signatures
by Birgit Pfitzmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1100
オンライン: http://dx.doi.org/10.1007/BFb0024619
22.

電子ブック
ＥＢ
22. STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science Grenoble, France, February 22–24, 1996 Proceedings
edited by Claude Puech, Rüdiger Reischuk
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1046
オンライン: http://dx.doi.org/10.1007/3-540-60922-9
23.

電子ブック
ＥＢ
23. Algorithm Theory — SWAT'96 : 5th Scandinavian Workshop on Algorithm Theory Reykjavík, Iceland, July 3–5, 1996 Proceedings
edited by Rolf Karlsson, Andrzej Lingas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1097
オンライン: http://dx.doi.org/10.1007/3-540-61422-2
24.

電子ブック
ＥＢ
24. Artificial Evolution : European Conference, AE 95 Brest, France, September 4–6, 1995 Selected Papers
edited by Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald, Marc Schoenauer, Dominique Snyers
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1063
オンライン: http://dx.doi.org/10.1007/3-540-61108-8
25.

電子ブック
ＥＢ
25. Advances in Cryptology — EUROCRYPT ’96 : International Conference on the Theory and Application of Cryptographic Techniques Saragossa, Spain, May 12–16, 1996 Proceedings
edited by Ueli Maurer
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1996
シリーズ名: Lecture Notes in Computer Science ; 1070
オンライン: http://dx.doi.org/10.1007/3-540-68339-9
26.

電子ブック
ＥＢ
26. Advances in Cryptology — ASIACRYPT '96 : International Conference on the Theory and Applications of Cryptology and Information Security Kyongju, Korea, November 3–7, 1996 Proceedings
edited by Kwangjo Kim, Tsutomu Matsumoto
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1163
オンライン: http://dx.doi.org/10.1007/BFb0034829
27.

電子ブック
ＥＢ
27. Combinatorial Pattern Matching : 7th Annual Symposium, CPM 96 Laguna Beach, California, June 10–12, 1996 Proceedings
edited by Dan Hirschberg, Gene Myers
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1075
オンライン: http://dx.doi.org/10.1007/3-540-61258-0
28.

電子ブック
ＥＢ
28. Bounded Incremental Computation
edited by G. Ramalingam
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1089
オンライン: http://dx.doi.org/10.1007/BFb0028290
29.

電子ブック
ＥＢ
29. Evolutionary Computing : AISB Workshop Brighton, U.K., April 1–2, 1996 Selected Papers
edited by Terence C. Fogarty
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1143
オンライン: http://dx.doi.org/10.1007/BFb0032768
30.

電子ブック
ＥＢ
30. Distributed Algorithms : 10th International Workshop, WDAG '96 Bologna, Italy, October 9–11, 1996 Proceedings
edited by Özalp Babaoğlu, Keith Marzullo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1151
オンライン: http://dx.doi.org/10.1007/3-540-61769-8
31.

電子ブック
ＥＢ
31. Graph-Theoretic Concepts in Computer Science : 20th International Workshop, WG '94 Herrsching, Germany, June 16–18, 1994 Proceedings
edited by Ernst W. Mayr, Gunther Schmidt, Gottfried Tinhofer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 903
オンライン: http://dx.doi.org/10.1007/3-540-59071-4
32.

電子ブック
ＥＢ
32. Job Scheduling Strategies for Parallel Processing : IPPS '95 Workshop Santa Barbara, CA, USA, April 25, 1995 Proceedings
edited by Dror G. Feitelson, Larry Rudolph
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 949
オンライン: http://dx.doi.org/10.1007/3-540-60153-8
33.

電子ブック
ＥＢ
33. Evolution and Biocomputation : Computational Models of Evolution
edited by Wolfgang Banzhaf, Frank H. Eeckman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 899
オンライン: http://dx.doi.org/10.1007/3-540-59046-3
34.

電子ブック
ＥＢ
34. Algorithms and Computations : 6th International Symposium, ISAAC '95 Cairns, Australia, December 4–6, 1995 Proceedings
edited by John Staples, Peter Eades, Naoki Katoh, Alistair Moffat
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1004
オンライン: http://dx.doi.org/10.1007/BFb0015401
35.

電子ブック
ＥＢ
35. Fast Software Encryption : Second International Workshop Leuven, Belgium, December 14–16, 1994 Proceedings
edited by Bart Preneel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1008
オンライン: http://dx.doi.org/10.1007/3-540-60590-8
36.

電子ブック
ＥＢ
36. Algorithms — ESA '95 : Third Annual European Symposium Corfu, Greece, September 25–27, 1995 Proceedings
edited by Paul Spirakis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 979
オンライン: http://dx.doi.org/10.1007/3-540-60313-1
37.

電子ブック
ＥＢ
37. Evolutionary Computing : AISB Workshop Sheffield, UK, April 3–4, 1995 Selected Papers
edited by Terence C. Fogarty
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 993
オンライン: http://dx.doi.org/10.1007/3-540-60469-3
38.

電子ブック
ＥＢ
38. Hybrid Systems II
edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 999
オンライン: http://dx.doi.org/10.1007/3-540-60472-3
39.

電子ブック
ＥＢ
39. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 11th International Symposium, AAECC-11 Paris, France, July 17–22, 1995 Proceedings
edited by Gérard Cohen, Marc Giusti, Teo Mora
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 948
オンライン: http://dx.doi.org/10.1007/3-540-60114-7
40.

電子ブック
ＥＢ
40. Fundamentals of Computation Theory : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings
edited by Horst Reichel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 965
オンライン: http://dx.doi.org/10.1007/3-540-60249-6
41.

電子ブック
ＥＢ
41. Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings
edited by Jiří Wiedermann, Petr Hájek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 969
オンライン: http://dx.doi.org/10.1007/3-540-60246-1
42.

電子ブック
ＥＢ
42. Graph-Theoretic Concepts in Computer Science : 21st International Workshop, WG '95 Aachen, Germany, June 20–22, 1995 Proceedings
edited by Manfred Nagl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1017
オンライン: http://dx.doi.org/10.1007/3-540-60618-1
43.

電子ブック
ＥＢ
43. Disconnected Operation in a Distributed File System
by James Jay Kistler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1002
オンライン: http://dx.doi.org/10.1007/3-540-60627-0
44.

電子ブック
ＥＢ
44. Advances in Cryptology — CRYPT0’ 95 : 15th Annual International Cryptology Conference Santa Barbara, California, USA, August 27–31, 1995 Proceedings
edited by Don Coppersmith
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1995
シリーズ名: Lecture Notes in Computer Science ; 963
オンライン: http://dx.doi.org/10.1007/3-540-44750-4
45.

電子ブック
ＥＢ
45. STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science Munich, Germany, March 2–4, 1995 Proceedings
edited by Ernst W. Mayr, Claude Puech
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 900
オンライン: http://dx.doi.org/10.1007/3-540-59042-0
46.

電子ブック
ＥＢ
46. Integer Programming and Combinatorial Optimization : 4th International IPCO Conference Copenhagen, Denmark, May 29–31, 1995 Proceedings
edited by Egon Balas, Jens Clausen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 920
オンライン: http://dx.doi.org/10.1007/3-540-59408-6
47.

電子ブック
ＥＢ
47. Computational Learning Theory : Second European Conference, EuroCOLT '95 Barcelona, Spain, March 13–15, 1995 Proceedings
edited by Paul Vitányi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 904
オンライン: http://dx.doi.org/10.1007/3-540-59119-2
48.

電子ブック
ＥＢ
48. Algorithms, Concurrency and Knowledge : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11–13, 1995 Proceedings
edited by Kanchana Kanchanasut, Jean-Jacques Lévy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1023
オンライン: http://dx.doi.org/10.1007/3-540-60688-2
49.

電子ブック
ＥＢ
49. Distributed Algorithms : 9th International Workshop, WDAG '95 Le Mont-Saint-Michel, France, September 13–15, 1995 Proceedings
edited by Jean-Michel Hélary, Michel Raynal
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 972
オンライン: http://dx.doi.org/10.1007/BFb0022134
50.

電子ブック
ＥＢ
50. Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
edited by Bernhard Möller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 947
オンライン: http://dx.doi.org/10.1007/3-540-60117-1
51.

電子ブック
ＥＢ
51. Machine Learning: ECML-95 : 8th European Conference on Machine Learning Heraclion, Crete, Greece, April 25–27, 1995 Proceedings
edited by Nada Lavrac, Stefan Wrobel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 912
オンライン: http://dx.doi.org/10.1007/3-540-59286-5
52.

電子ブック
ＥＢ
52. Computing and Combinatorics : First Annual International Conference, COCOON '95 Xi'an, China, August 24–26, 1995 Proceedings
edited by Ding-Zhu Du, Ming Li
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 959
オンライン: http://dx.doi.org/10.1007/BFb0030813
53.

電子ブック
ＥＢ
53. Algorithms and Data Structures : 4th International Workshop, WADS '95 Kingston, Canada, August 16–18, 1995 Proceedings
edited by Selim G. Akl, Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 955
オンライン: http://dx.doi.org/10.1007/3-540-60220-8
54.

電子ブック
ＥＢ
54. Combinatorial Pattern Matching : 6th Annual Symposium, CPM 95 Espoo, Finland, July 5–7, 1995 Proceedings
edited by Zvi Galil, Esko Ukkonen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 937
オンライン: http://dx.doi.org/10.1007/3-540-60044-2
55.

電子ブック
ＥＢ
55. Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems
edited by Madhu Sudan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1001
オンライン: http://dx.doi.org/10.1007/3-540-60615-7
56.

電子ブック
ＥＢ
56. Logic and Computational Complexity : International Workshop LCC'94 Indianapolis, IN, USA, October 13–16, 1994 Selected Papers
edited by Daniel Leivant
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 960
オンライン: http://dx.doi.org/10.1007/3-540-60178-3
57.

電子ブック
ＥＢ
57. Foundations of Software Technology and Theoretical Computer Science : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings
edited by P. S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1026
オンライン: http://dx.doi.org/10.1007/3-540-60692-0
58.

電子ブック
ＥＢ
58. Graph Drawing : DIMACS International Workshop, GD '94 Princeton, New Jersey, USA, October 10–12, 1994 Proceedings
edited by Roberto Tamassia, Ioannis G. Tollis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 894
オンライン: http://dx.doi.org/10.1007/3-540-58950-3
59.

電子ブック
ＥＢ
59. LATIN '95: Theoretical Informatics : Second Latin American Symposium Valparaíso, Chile, April 3–7, 1995 Proceedings
edited by Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 911
オンライン: http://dx.doi.org/10.1007/3-540-59175-3
60.

電子ブック
ＥＢ
60. Application and Theory of Petri Nets 1995 : 16th International Conference Turin, Italy, June 26–30, 1995 Proceedings
edited by Giorgio Michelis, Michel Diaz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 935
オンライン: http://dx.doi.org/10.1007/3-540-60029-9
61.

電子ブック
ＥＢ
61. Advances in Intelligent Computing — IPMU '94 : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Paris, France, July 4–8, 1994 Selected Papers
edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 945
オンライン: http://dx.doi.org/10.1007/BFb0035932
62.

電子ブック
ＥＢ
62. Graph-Theoretic Concepts in Computer Science : 19th International Workshop, WG '93 Utrecht, The Netherlands, June 16–18, 1993 Proceedings
edited by Jan Leeuwen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 790
オンライン: http://dx.doi.org/10.1007/3-540-57899-4
63.

電子ブック
ＥＢ
63. STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings
edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 775
オンライン: http://dx.doi.org/10.1007/3-540-57785-8
64.

電子ブック
ＥＢ
64. Algorithmic Number Theory : First International Symposium, ANTS-I Ithaca, NY, USA, May 6–9, 1994 Proceedings
edited by Leonard M. Adleman, Ming-Deh Huang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 877
オンライン: http://dx.doi.org/10.1007/3-540-58691-1
65.

電子ブック
ＥＢ
65. Treewidth : Computations and Approximations
edited by Ton Kloks
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 842
オンライン: http://dx.doi.org/10.1007/BFb0045375
66.

電子ブック
ＥＢ
66. Distributed Algorithms : 8th International Workshop, WDAG '1994 Terschelling, The Netherlands, September 29 – October 1, 1994 Proceedings
edited by Gerard Tel, Paul Vitányi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 857
オンライン: http://dx.doi.org/10.1007/BFb0020419
67.

電子ブック
ＥＢ
67. Algorithms and Computation : 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings
edited by Ding-Zhu Du, Xiang-Sun Zhang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 834
オンライン: http://dx.doi.org/10.1007/3-540-58325-4
68.

電子ブック
ＥＢ
68. Combinatorial Pattern Matching : 5th Annual Symposium, CPM 94 Asilomar, CA, USA, June 5–8, 1994 Proceedings
edited by Maxime Crochemore, Dan Gusfield
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 807
オンライン: http://dx.doi.org/10.1007/3-540-58094-8
69.

電子ブック
ＥＢ
69. Parallel Scientific Computing : First International Workshop, PARA '94 Lyngby, Denmark, June 20–23, 1994 Proceedings
edited by Jack Dongarra, Jerzy Waśniewski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 879
オンライン: http://dx.doi.org/10.1007/BFb0030129
70.

電子ブック
ＥＢ
70. Automata, Languages and Programming : 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings
edited by Serge Abiteboul, Eli Shamir
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 820
オンライン: http://dx.doi.org/10.1007/3-540-58201-0
71.

電子ブック
ＥＢ
71. Evolutionary Computing : AISB Workshop Leeds, U.K., April 11–13, 1994 Selected Papers
edited by Terence C. Fogarty
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 865
オンライン: http://dx.doi.org/10.1007/3-540-58483-8
72.

電子ブック
ＥＢ
72. Orders, Algorithms, and Applications : International Workshop ORDAL '94 Lyon, France, July 4–8, 1994 Proceedings
edited by Vincent Bouchitté, Michel Morvan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 831
オンライン: http://dx.doi.org/10.1007/BFb0019422
73.

電子ブック
ＥＢ
73. Application and Theory of Petri Nets 1994 : 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings
edited by Robert Valette
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 815
オンライン: http://dx.doi.org/10.1007/3-540-58152-9
74.

電子ブック
ＥＢ
74. Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings
edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 812
オンライン: http://dx.doi.org/10.1007/3-540-58131-6
75.

電子ブック
ＥＢ
75. Parallel Problem Solving from Nature — PPSN III : International Conference on Evolutionary Computation The Third Conference on Parallel Problem Solving from Nature Jerusalem, Israel, October 9–14, 1994 Proceedings
edited by Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 866
オンライン: http://dx.doi.org/10.1007/3-540-58484-6
76.

電子ブック
ＥＢ
76. Parallel Computer Routing and Communication : First International Workshop, PCRCW '94 Seattle, Washington, USA, May 16–18, 1994 Proceedings
edited by Kevin Bolding, Lawrence Snyder
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 853
オンライン: http://dx.doi.org/10.1007/3-540-58429-3
77.

電子ブック
ＥＢ
77. Trees in Algebra and Programming — CAAP'94 : 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings
edited by Sophie Tison
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 787
オンライン: http://dx.doi.org/10.1007/BFb0017469
78.

電子ブック
ＥＢ
78. Parallel Processing: CONPAR 94 — VAPP VI : Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings
edited by Bruno Buchberger, Jens Volkert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 854
オンライン: http://dx.doi.org/10.1007/3-540-58430-7
79.

電子ブック
ＥＢ
79. Algorithm Theory — SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory Aarhus, Denmark, July 6–8, 1994 Proceedings
edited by Erik M. Schmidt, Sven Skyum
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 824
オンライン: http://dx.doi.org/10.1007/3-540-58218-5
80.

電子ブック
ＥＢ
80. Algorithms — ESA '94 : Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings
edited by Jan Leeuwen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 855
オンライン: http://dx.doi.org/10.1007/BFb0049390
81.

電子ブック
ＥＢ
81. Foundation of Software Technology and Theoretical Computer Science : 14th Conference Madras, India, December 15–17, 1994 Proceedings
edited by P. S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 880
オンライン: http://dx.doi.org/10.1007/3-540-58715-2
82.

電子ブック
ＥＢ
82. Fast Software Encryption : Cambridge Security Workshop Cambridge, U. K., December 9–11,1993 Proceedings
edited by Ross Anderson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 809
オンライン: http://dx.doi.org/10.1007/3-540-58108-1
83.

電子ブック
ＥＢ
83. Logical Foundations of Computer Science : Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings
edited by Anil Nerode, Yu. V. Matiyasevich
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 813
オンライン: http://dx.doi.org/10.1007/3-540-58140-5
84.

電子ブック
ＥＢ
84. Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings
edited by Igor Prívara, Branislav Rovan, Peter Ruzička
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 841
オンライン: http://dx.doi.org/10.1007/3-540-58338-6
85.

電子ブック
ＥＢ
85. Algorithms and Complexity : Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings
edited by M. Bonuccelli, P. Crescenzi, R. Petreschi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 778
オンライン: http://dx.doi.org/10.1007/3-540-57811-0
86.

電子ブック
ＥＢ
86. Towards Dynamic Randomized Algorithms in Computational Geometry
by Monique Teillaud
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 758
オンライン: http://dx.doi.org/10.1007/3-540-57503-0
87.

電子ブック
ＥＢ
87. Automata, Languages and Programming : 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings
edited by Andrzej Lingas, Rolf Karlsson, Svante Carlsson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 700
オンライン: http://dx.doi.org/10.1007/3-540-56939-1
88.

電子ブック
ＥＢ
88. Hybrid Systems
edited by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 736
オンライン: http://dx.doi.org/10.1007/3-540-57318-6
89.

電子ブック
ＥＢ
89. Advances in Petri Nets 1993
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 674
オンライン: http://dx.doi.org/10.1007/3-540-56689-9
90.

電子ブック
ＥＢ
90. Algorithms and Data Structures : Third Workshop, WADS '93 Montréal, Canada, August 11–13, 1993 Proceedings
edited by Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro, Sue Whitesides
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 709
オンライン: http://dx.doi.org/10.1007/3-540-57155-8
91.

電子ブック
ＥＢ
91. Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings
edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 669
オンライン: http://dx.doi.org/10.1007/3-540-56625-2
92.

電子ブック
ＥＢ
92. STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings
edited by P. Enjalbert, A. Finkel, K. W. Wagner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 665
オンライン: http://dx.doi.org/10.1007/3-540-56503-5
93.

電子ブック
ＥＢ
93. Parallel Architectures and Their Efficient Use : First Heinz Nixdorf Symposium Paderborn, Germany, November 11–13, 1992 Proceedings
edited by F. Meyer, B. Monien, A. L. Rosenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 678
オンライン: http://dx.doi.org/10.1007/3-540-56731-3
94.

電子ブック
ＥＢ
94. Algorithms—ESA '93 : First Annual European Symposium Bad Honnef, Germany September 30–October 2, 1993 Proceedings
edited by Thomas Lengauer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 726
オンライン: http://dx.doi.org/10.1007/3-540-57273-2
95.

電子ブック
ＥＢ
95. Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
edited by E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 702
オンライン: http://dx.doi.org/10.1007/3-540-56992-8
96.

電子ブック
ＥＢ
96. Graph-Theoretic Concepts in Computer Science : 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18–20, 1992 Proceedings
edited by Ernst W. Mayr
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 657
オンライン: http://dx.doi.org/10.1007/3-540-56402-0
97.

電子ブック
ＥＢ
97. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 10th International Symposium,AAECC-10 San Juan de Puerto Rico, Puerto Rico, May 10–14, 1993 Proceedings
edited by Gérard Cohen, Teo Mora, Oscar Moreno
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 673
オンライン: http://dx.doi.org/10.1007/3-540-56686-4
98.

電子ブック
ＥＢ
98. TAPSOFT'93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings
edited by M. -C. Gaudel, J. -P. Jouannaud
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 668
オンライン: http://dx.doi.org/10.1007/3-540-56610-4
99.

電子ブック
ＥＢ
99. Design of Hashing Algorithms
edited by Josef Pieprzyk, Babak Sadeghiyan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 756
オンライン: http://dx.doi.org/10.1007/3-540-57500-6
100.

電子ブック
ＥＢ
100. Fundamentals of Computation Theory : 9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings
edited by Zoltán Ésik
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 710
オンライン: http://dx.doi.org/10.1007/3-540-57163-9