1.

電子ブック
ＥＢ
1. Combinatorics and Computer Science : 8th Franco-Japanese and 4th Franco-Chinese Conference Brest, France, July 3–5, 1995 Selected Papers
edited by Michel Deza, Reinhardt Euler, Ioannis Manoussakis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1120
オンライン: http://dx.doi.org/10.1007/3-540-61576-8
2.

電子ブック
ＥＢ
2. 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
3.

電子ブック
ＥＢ
3. Parallel Virtual Machine — EuroPVM '96 : Third European PVM Conference Munich, Germany, October 7–9, 1996 Proceedings
edited by Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1156
オンライン: http://dx.doi.org/10.1007/3-540-61779-5
4.

電子ブック
ＥＢ
4. 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
5.

電子ブック
ＥＢ
5. Coordination Languages and Models : First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings
edited by Paolo Ciancarini, Chris Hankin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1061
オンライン: http://dx.doi.org/10.1007/3-540-61052-9
6.

電子ブック
ＥＢ
6. 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
7.

電子ブック
ＥＢ
7. Object-Based Parallel and Distributed Computation : France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers
edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1107
オンライン: http://dx.doi.org/10.1007/3-540-61487-7
8.

電子ブック
ＥＢ
8. 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
9.

電子ブック
ＥＢ
9. Parallel Algorithms for Irregularly Structured Problems : Third International Workshop, IRREGULAR '96 Santa Barbara, CA, USA, August 19–21, 1996 Proceedings
edited by Alfonso Ferreira, José Rolim, Yousef Saad, Tao Yang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1117
オンライン: http://dx.doi.org/10.1007/BFb0030093
10.

電子ブック
ＥＢ
10. 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
11.

電子ブック
ＥＢ
11. Foundations of Intelligent Systems : 9th International Symposium, ISMIS '96 Zakopane, Poland, June 9–13, 1996 Proceedings
edited by Zbigniew W. Raś, Maciek Michalewicz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1079
オンライン: http://dx.doi.org/10.1007/3-540-61286-6
12.

電子ブック
ＥＢ
12. 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
13.

電子ブック
ＥＢ
13. The Data Parallel Programming Model : Foundations, HPF Realization, and Scientific Applications
edited by Guy-René Perrin, Alain Darte
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1132
オンライン: http://dx.doi.org/10.1007/3-540-61736-1
14.

電子ブック
ＥＢ
14. 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
15.

電子ブック
ＥＢ
15. 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
16.

電子ブック
ＥＢ
16. Solving Combinatorial Optimization Problems in Parallel : Methods and Techniques
edited by Afonso Ferreira, Panos Pardalos
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1054
オンライン: http://dx.doi.org/10.1007/BFb0027114
17.

電子ブック
ＥＢ
17. Languages and Compilers for Parallel Computing : 8th International Workshop, LCPC '95 Columbus, Ohio, USA, August 10–12, 1995 Proceeding
edited by Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1033
オンライン: http://dx.doi.org/10.1007/BFb0014187
18.

電子ブック
ＥＢ
18. Fuzzy Logic, Neural Networks, and Evolutionary Computation : IEEE/Nagoya-University World Wisepersons Workshop Nagoya, Japan, November 14–15, 1995 Selected Papers
edited by Takeshi Furuhashi, Yoshiki Uchikawa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1152
オンライン: http://dx.doi.org/10.1007/3-540-61988-7
19.

電子ブック
ＥＢ
19. 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
20.

電子ブック
ＥＢ
20. Artificial Neural Networks — ICANN 96 : 1996 International Conference Bochum, Germany, July 16–19, 1996 Proceedings
edited by Christoph Malsburg, Werner Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1112
オンライン: http://dx.doi.org/10.1007/3-540-61510-5
21.

電子ブック
ＥＢ
21. Job Scheduling Strategies for Parallel Processing : IPPS '96 Workshop Honolulu, Hawaii, April 16, 1996 Proceedings
edited by Dror G. Feitelson, Larry Rudolph
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1162
オンライン: http://dx.doi.org/10.1007/BFb0022283
22.

電子ブック
ＥＢ
22. Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem
edited by Patrice Godefroid
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1032
オンライン: http://dx.doi.org/10.1007/3-540-60761-7
23.

電子ブック
ＥＢ
23. CONCUR '96: Concurrency Theory : 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings
edited by Ugo Montanari, Vladimiro Sassone
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1119
オンライン: http://dx.doi.org/10.1007/3-540-61604-7
24.

電子ブック
ＥＢ
24. Distributed Artificial Intelligence Architecture and Modelling : First Australian Workshop on DAI Canberra, ACT, Australia, November 13, 1995 Proceedings
edited by Chengqi Zhang, Dickson Lukose
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1087
オンライン: http://dx.doi.org/10.1007/3-540-61314-5
25.

電子ブック
ＥＢ
25. 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
26.

電子ブック
ＥＢ
26. 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
27.

電子ブック
ＥＢ
27. 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
28.

電子ブック
ＥＢ
28. Automated Modeling of Physical Systems
by P. Pandurang Nayak
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1003
オンライン: http://dx.doi.org/10.1007/3-540-60641-6
29.

電子ブック
ＥＢ
29. 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
30.

電子ブック
ＥＢ
30. 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
31.

電子ブック
ＥＢ
31. 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
32.

電子ブック
ＥＢ
32. 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
33.

電子ブック
ＥＢ
33. 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
34.

電子ブック
ＥＢ
34. 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
35.

電子ブック
ＥＢ
35. 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
36.

電子ブック
ＥＢ
36. Tractable Reasoning in Artificial Intelligence
by Marco Cadoli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 941
オンライン: http://dx.doi.org/10.1007/3-540-60058-2
37.

電子ブック
ＥＢ
37. CONCUR '95: Concurrency Theory : 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings
edited by Insup Lee, Scott A. Smolka
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 962
オンライン: http://dx.doi.org/10.1007/3-540-60218-6
38.

電子ブック
ＥＢ
38. Database Theory — ICDT '95 : 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings
edited by Georg Gottlob, Moshe Y. Vardi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 893
オンライン: http://dx.doi.org/10.1007/3-540-58907-4
39.

電子ブック
ＥＢ
39. Analysis of Dynamical and Cognitive Systems : Advanced Course Stockholm, Sweden, August 9–14, 1993 Proceedings
edited by Stig I. Andersson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 888
オンライン: http://dx.doi.org/10.1007/3-540-58843-4
40.

電子ブック
ＥＢ
40. 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
41.

電子ブック
ＥＢ
41. 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
42.

電子ブック
ＥＢ
42. 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
43.

電子ブック
ＥＢ
43. 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
44.

電子ブック
ＥＢ
44. Parallel Algorithms for Irregularly Structured Problems : Second International Workshop, IRREGULAR '95 Lyon, France, September 4–6, 1995 Proceedings
edited by Afonso Ferreira, José Rolim
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 980
オンライン: http://dx.doi.org/10.1007/3-540-60321-2
45.

電子ブック
ＥＢ
45. 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
46.

電子ブック
ＥＢ
46. SOFSEM '95: Theory and Practice of Informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings
edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1012
オンライン: http://dx.doi.org/10.1007/3-540-60609-2
47.

電子ブック
ＥＢ
47. Languages and Compilers for Parallel Computing : 7th International Workshop Ithaca, NY, USA, August 8–10, 1994 Proceedings
edited by Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 892
オンライン: http://dx.doi.org/10.1007/BFb0025866
48.

電子ブック
ＥＢ
48. From Natural to Artificial Neural Computation : International Workshop on Artificial Neural Networks Malaga-Torremolinos, Spain, June 7–9, 1995 Proceedings
edited by José Mira, Francisco Sandoval
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 930
オンライン: http://dx.doi.org/10.1007/3-540-59497-3
49.

電子ブック
ＥＢ
49. Artificial Neural Networks : An Introduction to ANN Theory and Practice
edited by P. J. Braspenning, F. Thuijsman, A. J. M. M. Weijters
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 931
オンライン: http://dx.doi.org/10.1007/BFb0027019
50.

電子ブック
ＥＢ
50. 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
51.

電子ブック
ＥＢ
51. 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
52.

電子ブック
ＥＢ
52. Computer Science Logic : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
edited by Leszek Pacholski, Jerzy Tiuryn
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 933
オンライン: http://dx.doi.org/10.1007/BFb0022242
53.

電子ブック
ＥＢ
53. TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 915
オンライン: http://dx.doi.org/10.1007/3-540-59293-8
54.

電子ブック
ＥＢ
54. Languages and Compilers for Parallel Computing : 6th International Workshop Portland, Oregon, USA, August 12–14, 1993 Proceedings
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 768
オンライン: http://dx.doi.org/10.1007/3-540-57659-2
55.

電子ブック
ＥＢ
55. 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
56.

電子ブック
ＥＢ
56. A Decade of Concurrency Reflections and Perspectives : REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 803
オンライン: http://dx.doi.org/10.1007/3-540-58043-3
57.

電子ブック
ＥＢ
57. Logic, Language and Computation : Festschrift in Honor of Satoru Takasu
edited by Neil D. Jones, Masami Hagiya, Masahiko Sato
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 792
オンライン: http://dx.doi.org/10.1007/BFb0032390
58.

電子ブック
ＥＢ
58. Entity-Relationship Approach — ER '93 : 12th International Conference on the Entity-Relationship Approach Arlington, Texas, USA, December 15–17, 1993 Proceedings
edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 823
オンライン: http://dx.doi.org/10.1007/BFb0024351
59.

電子ブック
ＥＢ
59. 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
60.

電子ブック
ＥＢ
60. 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
61.

電子ブック
ＥＢ
61. CONCUR '94: Concurrency Theory : 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings
edited by Bengt Jonsson, Joachim Parrow
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 836
オンライン: http://dx.doi.org/10.1007/BFb0014992
62.

電子ブック
ＥＢ
62. 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
63.

電子ブック
ＥＢ
63. 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
64.

電子ブック
ＥＢ
64. Theoretical Aspects of Computer Software : International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings
edited by Masami Hagiya, John C. Mitchell
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 789
オンライン: http://dx.doi.org/10.1007/3-540-57887-0
65.

電子ブック
ＥＢ
65. Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
edited by Egon Börger, Yuri Gurevich, Karl Meinke
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 832
オンライン: http://dx.doi.org/10.1007/BFb0049319
66.

電子ブック
ＥＢ
66. 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
67.

電子ブック
ＥＢ
67. 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
68.

電子ブック
ＥＢ
68. 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
69.

電子ブック
ＥＢ
69. 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
70.

電子ブック
ＥＢ
70. Mathematical Foundations of Programming Semantics : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings
edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 802
オンライン: http://dx.doi.org/10.1007/3-540-58027-1
71.

電子ブック
ＥＢ
71. Parallel and Distributed Computing Theory and Practice : First Canada-France Conference Montréal, Canada, May 19–21, 1994 Proceedings
edited by Michel Cosnard, Afonso Ferreira, Joseph Peters
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 805
オンライン: http://dx.doi.org/10.1007/3-540-58078-6
72.

電子ブック
ＥＢ
72. 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
73.

電子ブック
ＥＢ
73. 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
74.

電子ブック
ＥＢ
74. 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
75.

電子ブック
ＥＢ
75. 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
76.

電子ブック
ＥＢ
76. CONCUR'93 : 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23–26, 1993 Proceedings
edited by Eike Best
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 715
オンライン: http://dx.doi.org/10.1007/3-540-57208-2
77.

電子ブック
ＥＢ
77. 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
78.

電子ブック
ＥＢ
78. 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
79.

電子ブック
ＥＢ
79. 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
80.

電子ブック
ＥＢ
80. 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
81.

電子ブック
ＥＢ
81. 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
82.

電子ブック
ＥＢ
82. 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
83.

電子ブック
ＥＢ
83. Algorithmic Learning Theory : Third Workshop, ALT '92 Tokyo, Japan, October 20–22, 1992 Proceedings
edited by Shuji Doshita, Koichi Furukawa, Klaus P. Jantke, Toyaki Nishida
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 743
オンライン: http://dx.doi.org/10.1007/3-540-57369-0
84.

電子ブック
ＥＢ
84. 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
85.

電子ブック
ＥＢ
85. 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
86.

電子ブック
ＥＢ
86. Algorithms and Computation : 4th International Symposium, ISAAC '93 Hong Kong, December 15–17, 1993 Proceedings
edited by K. W. Ng, P. Raghavan, N. V. Balasubramanian, F. Y. L. Chin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 762
オンライン: http://dx.doi.org/10.1007/3-540-57568-5
87.

電子ブック
ＥＢ
87. Machine Learning: From Theory to Applications : Cooperative Research at Siemens and MIT
edited by Stephen José Hanson, Werner Remmele, Ronald L. Rivest
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 661
オンライン: http://dx.doi.org/10.1007/3-540-56483-7
88.

電子ブック
ＥＢ
88. 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
89.

電子ブック
ＥＢ
89. Algorithmic Learning Theory : 4th International Workshop, ALT '93 Tokyo, Japan, November 8–10, 1993 Proceedings
edited by Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 744
オンライン: http://dx.doi.org/10.1007/3-540-57370-4
90.

電子ブック
ＥＢ
90. 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
91.

電子ブック
ＥＢ
91. Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings
edited by Rudrapatna K. Shyamasundar
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 761
オンライン: http://dx.doi.org/10.1007/3-540-57529-4
92.

電子ブック
ＥＢ
92. Application and Theory of Petri Nets 1993 : 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings
edited by Marco Ajmone Marsan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 691
オンライン: http://dx.doi.org/10.1007/3-540-56863-8
93.

電子ブック
ＥＢ
93. Distributed Algorithms : 7th International Workshop, WDAG'93 Lausanne, Switzerland, September 27–29, 1993 Proceedings
edited by André Schiper
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 725
オンライン: http://dx.doi.org/10.1007/3-540-57271-6
94.

電子ブック
ＥＢ
94. Languages and Compilers for Parallel Computing : 5th International Workshop New Haven, Connecticut, USA, August 3–5, 1992 Proceedings
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 757
オンライン: http://dx.doi.org/10.1007/3-540-57502-2
95.

電子ブック
ＥＢ
95. Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
edited by Andrzej M. Borzyszkowski, Stefan Sokołowski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 711
オンライン: http://dx.doi.org/10.1007/3-540-57182-5
96.

電子ブック
ＥＢ
96. Languages and Compilers for Parallel Computing : Fourth International Workshop Santa Clara, California, USA, August 7–9 1991 Proceedings
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 589
オンライン: http://dx.doi.org/10.1007/BFb0038653
97.

電子ブック
ＥＢ
97. CONCUR '92 : Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings
edited by W.R. Cleaveland
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 630
オンライン: http://dx.doi.org/10.1007/BFb0084777
98.

電子ブック
ＥＢ
98. Parallel Execution of Parlog
by Andrew Cheese
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 586
オンライン: http://dx.doi.org/10.1007/BFb0022706
99.

電子ブック
ＥＢ
99. Real-Time: Theory in Practice : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
edited by J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 600
オンライン: http://dx.doi.org/10.1007/BFb0031984
100.

電子ブック
ＥＢ
100. Distributed Algorithms : 6th International Workshop, WDAG '92 Haifa, Israel, November 2–4, 1992 Proceedings
edited by Adrian Segall, Shmuel Zaks
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 647
オンライン: http://dx.doi.org/10.1007/3-540-56188-9