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