1.

電子ブック
ＥＢ
1. The Dynamical System Generated by the 3n+1 Function [e-books]
by Günther J. Wirsching
出版情報: Berlin, Heidelberg : Springer-Verlag, 1998
シリーズ名: Lecture Notes in Mathematics ; 1681
オンライン: http://dx.doi.org/10.1007/BFb0095985
2.

電子ブック
ＥＢ
2. The Dynamical System Generated by the 3n+1 Function. 1st ed. 1998
by Günther J. Wirsching
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998
シリーズ名: Lecture Notes in Mathematics ; 1681
オンライン: https://doi.org/10.1007/BFb0095985
3.

電子ブック
ＥＢ
3. Automata, Languages and Programming : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings
edited by Friedhelm Meyer, Burkhard Monien
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1099
オンライン: http://dx.doi.org/10.1007/3-540-61440-0
4.

電子ブック
ＥＢ
4. Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26–29 1996 Proceedings, Volume I
edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1123
オンライン: http://dx.doi.org/10.1007/3-540-61626-8
5.

電子ブック
ＥＢ
5. SOFSEM'96: Theory and Practice of Informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 23–30, 1996 Proceedings
edited by Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1175
オンライン: http://dx.doi.org/10.1007/BFb0037392
6.

電子ブック
ＥＢ
6. Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26–29, 1996 Proceedings, Volume II
edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1124
オンライン: http://dx.doi.org/10.1007/BFb0024677
7.

電子ブック
ＥＢ
7. Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
edited by Wojciech Penczek, Andrzej Szałas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1113
オンライン: http://dx.doi.org/10.1007/3-540-61550-4
8.

電子ブック
ＥＢ
8. Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings. 1st ed. 1996
edited by Helene Kirchner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: https://doi.org/10.1007/3-540-61064-2
9.

電子ブック
ＥＢ
9. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings. 1st ed. 1996
edited by Jacques Calmet, Carla Limongelli
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1128
オンライン: https://doi.org/10.1007/3-540-61697-7
10.

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

電子ブック
ＥＢ
11. Euro-Par'96 - Parallel Processing : Second International Euro-Par Conference, Lyon, France, August 26-29, 1996. Proceedings. Volume II. 1st ed. 1996
edited by Luc Bouge, Pierre Fraigniaud, Anne Mignotte, Yves Robert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1124
オンライン: https://doi.org/10.1007/BFb0024677
12.

電子ブック
ＥＢ
12. Automata, Languages and Programming : 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings. 1st ed. 1996
edited by Friedhelm Meyer auf der Heide, Burkhard Monien
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1099
オンライン: https://doi.org/10.1007/3-540-61440-0
13.

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

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

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

電子ブック
ＥＢ
16. Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings. 1st ed. 1996
edited by Bengt Jonsson, Joachim Parrow
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1135
オンライン: https://doi.org/10.1007/3-540-61648-9
17.

電子ブック
ＥＢ
17. Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings. 1st ed. 1996
edited by Jaques Calmet, John A. Campbell, Jochen Pfalzgraf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1138
オンライン: https://doi.org/10.1007/3-540-61732-9
18.

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

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

電子ブック
ＥＢ
20. Advanced Information Systems Engineering : 8th International Conference, CAiSE'96, Herakleion, Crete, Greece, May (20-24), 1996. Proceedings. 1st ed. 1996
edited by Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1080
オンライン: https://doi.org/10.1007/3-540-61292-0
21.

電子ブック
ＥＢ
21. Languages and Compilers for Parallel Computing : 8th International Workshop, Columbus, Ohio, USA, August 10-12, 1995. Proceedings. 1st ed. 1996
edited by Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1033
オンライン: https://doi.org/10.1007/BFb0014187
22.

電子ブック
ＥＢ
22. Rewriting Techniques and Applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings. 1st ed. 1996
edited by Harald Ganzinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1103
オンライン: https://doi.org/10.1007/3-540-61464-8
23.

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

電子ブック
ＥＢ
24. Solving Combinatorial Optimization Problems in Parallel Methods and Techniques : Methods and Techniques. 1st ed. 1996
edited by Alfonso Ferreira, Panos Pardalos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1054
オンライン: https://doi.org/10.1007/BFb0027114
25.

電子ブック
ＥＢ
25. SOFSEM '96: Theory and Practice of Informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings. 1st ed. 1996
edited by Keith G. Jeffery, Jaroslav Kral, Miroslav Bartosek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1175
オンライン: https://doi.org/10.1007/BFb0037392
26.

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

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

電子ブック
ＥＢ
28. Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings. 1st ed. 1996
edited by Hanne R. Nielson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1058
オンライン: https://doi.org/10.1007/3-540-61055-3
29.

電子ブック
ＥＢ
29. Applied Computational Geometry. Towards Geometric Engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27 - 28, 1996, Selected Papers. 1st ed. 1996
edited by Ming C. Lin, Dinesh Manocha
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1148
オンライン: https://doi.org/10.1007/BFb0014474
30.

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

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

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

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

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

電子ブック
ＥＢ
35. Artificial Neural Networks - ICANN 96 : 6th International Conference, Bochum, Germany, July 16 - 19, 1996. Proceedings. 1st ed. 1996
edited by Christoph von der Malsburg, Werner von Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1112
オンライン: https://doi.org/10.1007/3-540-61510-5
36.

電子ブック
ＥＢ
36. Types for Proofs and Programs : International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers. 1st ed. 1996
edited by Stefano Berardi, Mario Coppo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1158
オンライン: https://doi.org/10.1007/3-540-61780-9
37.

電子ブック
ＥＢ
37. Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. 1st ed. 1996
edited by Tiziana Margaria, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1055
オンライン: https://doi.org/10.1007/3-540-61042-1
38.

電子ブック
ＥＢ
38. Algebraic and Logic Programming : 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings. 1st ed. 1996
edited by Michael Hanus, Mario Rodriguez-Artalejo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1139
オンライン: https://doi.org/10.1007/3-540-61735-3
39.

電子ブック
ＥＢ
39. Towards Evolvable Hardware : The Evolutionary Engineering Approach. 1st ed. 1996
edited by Eduardo Sanchez, Marco Tomassini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1062
オンライン: https://doi.org/10.1007/3-540-61093-6
40.

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

電子ブック
ＥＢ
41. Applied Parallel Computing. Computations in Physics, Chemistry and Engineering Science : Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995. Proceedings. 1st ed. 1996
edited by Jack Dongarra, Kaj Madsen, Jerzy Wasniewski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1041
オンライン: https://doi.org/10.1007/3-540-60902-4
42.

電子ブック
ＥＢ
42. Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers. 1st ed. 1996
edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1130
オンライン: https://doi.org/10.1007/3-540-61629-2
43.

電子ブック
ＥＢ
43. Computer Science Logic : 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers. 1st ed. 1996
edited by Hans Kleine Buening
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1092
オンライン: https://doi.org/10.1007/3-540-61377-3
44.

電子ブック
ＥＢ
44. Algorithm Theory - SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings. 1st ed. 1996
edited by Rolf Karlsson, Andrzej Lingas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1097
オンライン: https://doi.org/10.1007/3-540-61422-2
45.

電子ブック
ＥＢ
45. Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings. 1st ed. 1996
edited by Herbert Kuchen, S.Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1140
オンライン: https://doi.org/10.1007/3-540-61756-6
46.

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

電子ブック
ＥＢ
47. Multimedia, Telecommunications, and Applications : Third International COST 237 Workshop, Barcelona, Spain, November 25 - 27, 1996, Proceedings. 1st ed. 1996
edited by Giorgio Ventre, Jordi Domingo-Pascual, Andre Danthine
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1185
オンライン: https://doi.org/10.1007/BFb0020846
48.

電子ブック
ＥＢ
48. Intelligent Tutoring Systems : Third International Conference, ITS'96, Montreal, Canada, June 12-14, 1996. Proceedings. 1st ed. 1996
edited by Claude Frasson, Gilles Gauthier, Alan Lesgold
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1086
オンライン: https://doi.org/10.1007/3-540-61327-7
49.

電子ブック
ＥＢ
49. Computing and Combinatorics : Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996. Proceedings. 1st ed. 1996
edited by Jin-Yi Cai, C.K. Wong
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1090
オンライン: https://doi.org/10.1007/3-540-61332-3
50.

電子ブック
ＥＢ
50. Computer Aided Verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings. 1st ed. 1996
edited by Rajeev Alur, Thomas Henzinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1102
オンライン: https://doi.org/10.1007/3-540-61474-5
51.

電子ブック
ＥＢ
51. Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers. 1st ed. 1996
edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1074
オンライン: https://doi.org/10.1007/3-540-61254-8
52.

電子ブック
ＥＢ
52. Formal Systems Specification : The RPC-Memory Specification Case Study. 1st ed. 1996
edited by Manfred Broy, Stephan Merz, Katharina Spies
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1169
オンライン: https://doi.org/10.1007/BFb0024423
53.

電子ブック
ＥＢ
53. Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings. 1st ed. 1996
edited by Martin Wirsing, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1101
オンライン: https://doi.org/10.1007/BFb0014301
54.

電子ブック
ＥＢ
54. Trends in Distributed Systems: CORBA and Beyond : International Workshop TreDS '96 Aachen, Germany, October 1 - 2, 1996; Proceedings. 1st ed. 1996
edited by Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1161
オンライン: https://doi.org/10.1007/3-540-61842-2
55.

電子ブック
ＥＢ
55. Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings. 1st ed. 1996
edited by Mandayam Srivas, Albert Camilleri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1166
オンライン: https://doi.org/10.1007/BFb0031795
56.

電子ブック
ＥＢ
56. Static Analysis : Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings. 1st ed. 1996
edited by Radhia Cousot, David A. Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1145
オンライン: https://doi.org/10.1007/3-540-61739-6
57.

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

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

電子ブック
ＥＢ
59. Computer Aided Learning and Instruction in Science and Engineering : Third International Conference, CALISCE'96, San Sebastian, Spain, July 29 - 31, 1996, Proceedings. 1st ed. 1996
edited by Arantza Diaz de Ilarraza Sanchez, Isabel Fernandez de Castro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1108
オンライン: https://doi.org/10.1007/BFb0022584
60.

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

電子ブック
ＥＢ
61. 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. 1st ed. 1996
edited by Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel, Hans-Michael Voigt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1141
オンライン: https://doi.org/10.1007/3-540-61723-X
62.

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

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

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

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

電子ブック
ＥＢ
66. Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings. 1st ed. 1996
edited by Wojciech Penczek, Andrzej Szalas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1113
オンライン: https://doi.org/10.1007/3-540-61550-4
67.

電子ブック
ＥＢ
67. Distributed Algorithms : 10th International Workshop, WDAG '96, Bologna, Italy, October 9 - 11, 1996. Proceedings. 1st ed. 1996
edited by Özalp Babaoglu, Keith Marzullo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1151
オンライン: https://doi.org/10.1007/3-540-61769-8
68.

電子ブック
ＥＢ
68. Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings. 1st ed. 1996
edited by Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1071
オンライン: https://doi.org/10.1007/3-540-61208-4
69.

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

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

電子ブック
ＥＢ
71. Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings. 1st ed. 1996
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1181
オンライン: https://doi.org/10.1007/3-540-62064-8
72.

電子ブック
ＥＢ
72. Euro-Par '96 - Parallel Processing : Second International Euro-Par Conference, Lyon, France, August 26 - 29, 1996, Proceedings, Volume I. 1st ed. 1996
edited by Luc Bouge, Pierre Fraigniaud, Anne Mignotte, Yves Robert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1123
オンライン: https://doi.org/10.1007/3-540-61626-8
73.

電子ブック
ＥＢ
73. Bounded Incremental Computation. 1st ed. 1996
by G. Ramalingam
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1089
オンライン: https://doi.org/10.1007/BFb0028290
74.

電子ブック
ＥＢ
74. Foundations of Intelligent Systems : 9th International Symposium, ISMIS'96, Zakopane, Poland, June (9-13), 1996. Proceedings. 1st ed. 1996
edited by Zbigniew W. Ras, Maciek Michalewicz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1079
オンライン: https://doi.org/10.1007/3-540-61286-6
75.

電子ブック
ＥＢ
75. Dependable Computing - EDCC-2 : Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings. 1st ed. 1996
edited by Andrzej Hlawiczka, Joao G.S. Silva, Luca Simoncini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1150
オンライン: https://doi.org/10.1007/3-540-61772-8
76.

電子ブック
ＥＢ
76. Database and Expert Systems Applications : 7th International Conference, DEXA '96, Zurich, Switzerland, September 9 - 13 , 1996. Proceedings. 1st ed. 1996
edited by Roland Wagner, Helmut Thoma
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1134
オンライン: https://doi.org/10.1007/BFb0034664
77.

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

電子ブック
ＥＢ
78. Automata, Languages and Programming : 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10–14, 1995 Proceedings
edited by Zoltán Fülöp, Ferenc Gécseg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 944
オンライン: http://dx.doi.org/10.1007/3-540-60084-1
79.

電子ブック
ＥＢ
79. Non-Monotonic Extensions of Logic Programming : ICLP '94 Workshop Santa Margherita Ligure, Italy, June 17, 1994 Selected Papers
edited by Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 927
オンライン: http://dx.doi.org/10.1007/BFb0030655
80.

電子ブック
ＥＢ
80. 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. 1st ed. 1995
edited by Miroslav Bartosek, Jan Staudek, Jiri Wiedermann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1012
オンライン: https://doi.org/10.1007/3-540-60609-2
81.

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

電子ブック
ＥＢ
82. Application and Theory of Petri Nets 1995 : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings. 1st ed. 1995
edited by Giorgio DeMichelis, Michel Diaz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 935
オンライン: https://doi.org/10.1007/3-540-60029-9
83.

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

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

電子ブック
ＥＢ
85. Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers. 1st ed. 1995
edited by Jacques Calmet, John A. Campbell
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 958
オンライン: https://doi.org/10.1007/3-540-60156-2
86.

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

電子ブック
ＥＢ
87. LATIN '95: Theoretical Informatics : Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings. 1st ed. 1995
edited by Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 911
オンライン: https://doi.org/10.1007/3-540-59175-3
88.

電子ブック
ＥＢ
88. Cryptography and Coding : Fifth IMA Conference; Cirencester, UK, December 1995. Proceedings. 1st ed. 1995
edited by Colin Boyd
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1025
オンライン: https://doi.org/10.1007/3-540-60693-9
89.

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

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

電子ブック
ＥＢ
91. CONCUR '95 Concurrency Theory : 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings. 1st ed. 1995
edited by Scott Smolka
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 962
オンライン: https://doi.org/10.1007/3-540-60218-6
92.

電子ブック
ＥＢ
92. Static Analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings. 1st ed. 1995
edited by Alan Mycroft
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 983
オンライン: https://doi.org/10.1007/3-540-60360-3
93.

電子ブック
ＥＢ
93. Evolutionary Computing : AISB Workshop, Sheffield, U.K., April 3 - 4, 1995. Selected Papers. 1st ed. 1995
edited by Terence C. Fogarty
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 993
オンライン: https://doi.org/10.1007/3-540-60469-3
94.

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

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

電子ブック
ＥＢ
96. Algorithms, Concurrency and Knowledge : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings. 1st ed. 1995
edited by Kanchana Kanchanasut, Jean-Jacques Levy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1023
オンライン: https://doi.org/10.1007/3-540-60688-2
97.

電子ブック
ＥＢ
97. Computer Aided Verification : 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings. 1st ed. 1995
edited by Pierre Wolper
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 939
オンライン: https://doi.org/10.1007/3-540-60045-0
98.

電子ブック
ＥＢ
98. Advances in Spatial Databases : 4th International Symposium SSD '95, Portland, ME, USA, August 6 - 9, 1995. Proceedings. 1st ed. 1995
edited by Max J. Egenhofer, John R. Herring
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 951
オンライン: https://doi.org/10.1007/3-540-60159-7
99.

電子ブック
ＥＢ
99. Advanced Information Systems Engineering : 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12 - 16, 1995. Proceedings. 1st ed. 1995
edited by Juhani Iivari, Kalle Lyytinen, Matti Rossi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 932
オンライン: https://doi.org/10.1007/3-540-59498-1
100.

電子ブック
ＥＢ
100. 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 Conference on Measuring, Modelling and Evaluating Computing and Communication Systems, MMB '95Heidelberg, Germany, Septem. 1st ed. 1995
edited by Heinz Beilner, Falko Bause
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 977
オンライン: https://doi.org/10.1007/BFb0024302