1.

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

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

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

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

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

電子ブック
ＥＢ
6. Parallel Computation : Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O, Klagenfurt, Austria, September, 23 - 25, 1996, Proceedings. 1st ed. 1996
edited by Laszlo Böszörmenyi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1127
オンライン: https://doi.org/10.1007/3-540-61695-0
7.

電子ブック
ＥＢ
7. High-Performance Computing and Networking : International Conference and Exhibition, Brussels, Belgium, April 1996. Proceedings. 1st ed. 1996
edited by H. Liddell, A. Colbrook, Bob Hertzberger, P. Sloot
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1067
オンライン: https://doi.org/10.1007/3-540-61142-8
8.

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

電子ブック
ＥＢ
9. Distributed Algorithms : 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13 - 15, 1995. Proceedings. 1st ed. 1995
edited by Jean-Michel Helary, Michel Raynal
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 972
オンライン: https://doi.org/10.1007/BFb0022134
10.

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

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

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

電子ブック
ＥＢ
13. Visualization of Scientific Parallel Programs
edited by Gerald Tomas, Christoph W. Ueberhuber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 771
オンライン: http://dx.doi.org/10.1007/3-540-57738-6
14.

電子ブック
ＥＢ
14. Distributed Algorithms : 8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings. 1st ed. 1994
edited by Gerard Tel, Paul Vitanyi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 857
オンライン: https://doi.org/10.1007/BFb0020419
15.

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

電子ブック
ＥＢ
16. 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. 1st ed. 1994
edited by Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 866
オンライン: https://doi.org/10.1007/3-540-58484-6
17.

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

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

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

電子ブック
ＥＢ
20. Distributed Algorithms : 7th International Workshop, WDAG `93, Lausanne, Switzerland, September 27-29, 1993. Proceedings. 1st ed. 1993
edited by Andre Schiper
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 725
オンライン: https://doi.org/10.1007/3-540-57271-6
21.

電子ブック
ＥＢ
21. Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings. 1st ed. 1993
edited by Richard S. Bird, C.Carroll Morgan, James C.P. Woodcock
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 669
オンライン: https://doi.org/10.1007/3-540-56625-2
22.

電子ブック
ＥＢ
22. TAPSOFT '93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings. 1st ed. 1993
edited by Marie-Claude Gaudel, Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 668
オンライン: https://doi.org/10.1007/3-540-56610-4
23.

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

電子ブック
ＥＢ
24. Parallel Computation : Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. Proceedings. 1st ed. 1993
edited by Jens Volkert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 734
オンライン: https://doi.org/10.1007/3-540-57314-3
25.

電子ブック
ＥＢ
25. Data Structures and Efficient Algorithms : Final Report on the DFG Special Joint Initiative. 1st ed. 1992
edited by Burkhard Monien, Thomas Ottmann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 594
オンライン: https://doi.org/10.1007/3-540-55488-2
26.

電子ブック
ＥＢ
26. Parallel Processing: CONPAR 92 — VAPP V : Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1–4, 1992 Proceedings. 1st ed. 1992
edited by Luc Bouge, Michel Cosnard, Yves Robert, Denis Trystram
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 634
オンライン: https://doi.org/10.1007/3-540-55895-0
27.

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

電子ブック
ＥＢ
28. Parallel Computation : First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991. Proceedings. 1st ed. 1992
edited by Hans P. Zima
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 591
オンライン: https://doi.org/10.1007/3-540-55437-8
29.

電子ブック
ＥＢ
29. CAAP '92 : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings. 1st ed. 1992
edited by Jean-Claude Raoult
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 581
オンライン: https://doi.org/10.1007/3-540-55251-0
30.

電子ブック
ＥＢ
30. Distributed Algorithms : 5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings. 1st ed. 1992
edited by Sam Toueg, Paul G. Spirakis, Lefteris Kirousis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 579
オンライン: https://doi.org/10.1007/BFb0022433
31.

電子ブック
ＥＢ
31. Distributed Algorithms : 4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings. 1st ed. 1991
edited by Jan van Leeuwen, Nicola Santoro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 486
オンライン: https://doi.org/10.1007/3-540-54099-7
32.

電子ブック
ＥＢ
32. New Results and New Trends in Computer Science : Graz, Austria, June 20-21, 1991 Proceedings. 1st ed. 1991
edited by Hermann Maurer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 555
オンライン: https://doi.org/10.1007/BFb0038178
33.

電子ブック
ＥＢ
33. Baltic Computer Science : Selected Papers. 1st ed. 1991
edited by Janis Barzdins, Dines Bjørner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 502
オンライン: https://doi.org/10.1007/BFb0019352
34.

電子ブック
ＥＢ
34. Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings. 1st ed. 1990
edited by Kesav V. Nori, C.E. Veni Madhavan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 472
オンライン: https://doi.org/10.1007/3-540-53487-3
35.

電子ブック
ＥＢ
35. Mathematical Foundations of Programming Semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings. 1st ed. 1990
edited by Michael G. Main, Austin C. Melton, Michael W. Mislove, David A. Schmidt
出版情報: New York, NY : Springer New York : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 442
オンライン: https://doi.org/10.1007/BFb0040251
36.

電子ブック
ＥＢ
36. Fault-Tolerant Distributed Computing. 1st ed. 1990
edited by Barbara Simons, Alfred Spector
出版情報: New York, NY : Springer New York : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 448
オンライン: https://doi.org/10.1007/BFb0042320
37.

電子ブック
ＥＢ
37. Advances in Computing and Information - ICCI '90 : International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. Proceedings. 1st ed. 1990
edited by Selim G. Akl, Frantisek Fiala, Waldemar W. Koczkodaj
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 468
オンライン: https://doi.org/10.1007/3-540-53504-7
38.

電子ブック
ＥＢ
38. Mathematics of Program Construction : 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings
edited by J. L. A. Snepscheut
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 375
オンライン: http://dx.doi.org/10.1007/3-540-51305-1
39.

電子ブック
ＥＢ
39. Mathematics of Program Construction : 375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings. 1st ed. 1989
edited by Jan L.A. van de Snepscheut
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 375
オンライン: https://doi.org/10.1007/3-540-51305-1
40.

電子ブック
ＥＢ
40. Symbolic and Algebraic Computation : International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings. 1st ed. 1989
edited by Patrizia Gianni
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 358
オンライン: https://doi.org/10.1007/3-540-51084-2
41.

電子ブック
ＥＢ
41. Automata, Languages and Programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings. 1st ed. 1988
edited by Timo Lepistö, Arto Salomaa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 317
オンライン: https://doi.org/10.1007/3-540-19488-6
42.

電子ブック
ＥＢ
42. Foundations of Software Technology and Theoretical Computer Science : Seventh Conference, Pune, India, December 17-19, 1987. Proceedings. 1st ed. 1987
edited by Kesav V. Nori
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 287
オンライン: https://doi.org/10.1007/3-540-18625-5
43.

電子ブック
ＥＢ
43. Mathematical Foundations of Computer Science 1986 : 12th Symposium held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings. 1st ed. 1986
edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 233
オンライン: https://doi.org/10.1007/BFb0016229
44.

電子ブック
ＥＢ
44. Automata, Languages and Programming : 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings. 1st ed. 1985
edited by Wilfried Brauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
シリーズ名: Lecture Notes in Computer Science ; 194
オンライン: https://doi.org/10.1007/BFb0015725
45.

電子ブック
ＥＢ
45. Automata, Languages, and Programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings. 1st ed. 1984
edited by J. Paredaens
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
シリーズ名: Lecture Notes in Computer Science ; 172
オンライン: https://doi.org/10.1007/3-540-13345-3
46.

電子ブック
ＥＢ
46. Algorithms in Modern Mathematics and Computer Science : Proceedings, Urgench, Uzbek SSR September 16-22, 1979. 1st ed. 1981
edited by A. P. Ershov, D. E. Knuth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981
シリーズ名: Lecture Notes in Computer Science ; 122
オンライン: https://doi.org/10.1007/3-540-11157-3