1.

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

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

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

電子ブック
ＥＢ
4. Ada in Europe : Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings
edited by Marcel Toussaint
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1031
オンライン: http://dx.doi.org/10.1007/BFb0015477
5.

電子ブック
ＥＢ
5. Principles and Practice of Constraint Programming — CP96 : Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: http://dx.doi.org/10.1007/3-540-61551-2
6.

電子ブック
ＥＢ
6. Parallel Symbolic Languages and Systems : International Workshop PSLS'95 Beaune, France, October 2–4, 1995 Proceedings
edited by Takayasu Ito, Robert H. Halstead, Christian Queinnec
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1068
オンライン: http://dx.doi.org/10.1007/BFb0023052
7.

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

電子ブック
ＥＢ
8. Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings. 1st ed. 1996
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: https://doi.org/10.1007/3-540-61551-2
9.

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

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

電子ブック
ＥＢ
11. Parallel Symbolic Languages and Systems : International Workshop, PSLS '95, Beaune, France, October (2-4), 1995. Proceedings. 1st ed. 1996
edited by Takayasu Ito, Robert H. Jr. Halstead, Christian Queinnec
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1068
オンライン: https://doi.org/10.1007/BFb0023052
12.

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

電子ブック
ＥＢ
13. Constraint Databases and Applications : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP'96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected papers. 1st ed. 1996
edited by Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1191
オンライン: https://doi.org/10.1007/3-540-62501-1
14.

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

電子ブック
ＥＢ
15. Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995. 1st ed. 1996
edited by Marcel Toussaint
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1031
オンライン: https://doi.org/10.1007/BFb0015477
16.

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

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

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

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

電子ブック
ＥＢ
20. Principles and Practice of Constraint Programming — CP '95 : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings
edited by Ugo Montanari, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 976
オンライン: http://dx.doi.org/10.1007/3-540-60299-2
21.

電子ブック
ＥＢ
21. ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
edited by Jonathan P. Bowen, Michael G. Hinchey
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 967
オンライン: http://dx.doi.org/10.1007/3-540-60271-2
22.

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

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

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

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

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

電子ブック
ＥＢ
27. ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings. 1st ed. 1995
edited by Jonathan P. Bowen, Michael G. Hinchey
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 967
オンライン: https://doi.org/10.1007/3-540-60271-2
28.

電子ブック
ＥＢ
28. Theory and Practice of Parallel Programming : International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings. 1st ed. 1995
edited by Takayasu Ito, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 907
オンライン: https://doi.org/10.1007/BFb0026561
29.

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

電子ブック
ＥＢ
30. Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings. 1st ed. 1995
edited by Ugo Montanari, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 976
オンライン: https://doi.org/10.1007/3-540-60299-2
31.

電子ブック
ＥＢ
31. Automata, Languages and Programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings. 1st ed. 1995
edited by Zoltan Fülöp, Ferenc Gecseg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 944
オンライン: https://doi.org/10.1007/3-540-60084-1
32.

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

電子ブック
ＥＢ
33. Principles and Practice of Constraint Programming : Second International Workshop, PPCP '94 Rosario, Orcas Island, WA, USA, May 2–4, 1994 Proceedings
edited by Alan Borning
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 874
オンライン: http://dx.doi.org/10.1007/3-540-58601-6
34.

電子ブック
ＥＢ
34. Programming Languages and System Architectures : International Conference Zurich, Switzerland, March 2–4,1994 Proceedings
edited by Jürg Gutknecht
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 782
オンライン: http://dx.doi.org/10.1007/3-540-57840-4
35.

電子ブック
ＥＢ
35. High-Performance Computing and Networking : International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 2: Networking and Tools. 1st ed. 1994
edited by Wolfgang Gentzsch, Uwe Harms
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 797
オンライン: https://doi.org/10.1007/3-540-57981-8
36.

電子ブック
ＥＢ
36. Programming Languages and System Architectures : International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings. 1st ed. 1994
edited by Jürg Gutknecht
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 782
オンライン: https://doi.org/10.1007/3-540-57840-4
37.

電子ブック
ＥＢ
37. Object-Oriented Methodologies and Systems : International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings. 1st ed. 1994
edited by Elisa Bertino, Susan Urban
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 858
オンライン: https://doi.org/10.1007/BFb0014012
38.

電子ブック
ＥＢ
38. Principles and Practice of Constraint Programming : Second International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings. 1st ed. 1994
edited by Alan Borning
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 874
オンライン: https://doi.org/10.1007/3-540-58601-6
39.

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

電子ブック
ＥＢ
40. Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report
edited by Bernhard Möller, Helmut Partsch, Steve Schuman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 755
オンライン: http://dx.doi.org/10.1007/3-540-57499-9
41.

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

電子ブック
ＥＢ
42. DCE — The OSF Distributed Computing Environment Client/Server Model and Beyond : International DCE Workshop Karlsruhe, Germany, October 7–8, 1993 Proceedings
edited by Alexander Schill
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 731
オンライン: http://dx.doi.org/10.1007/3-540-57306-2
43.

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

電子ブック
ＥＢ
44. Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada
edited by Peter E. Lauer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 693
オンライン: http://dx.doi.org/10.1007/3-540-56883-2
45.

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

電子ブック
ＥＢ
46. Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. 1st ed. 1993
edited by Peter E. Lauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 693
オンライン: https://doi.org/10.1007/3-540-56883-2
47.

電子ブック
ＥＢ
47. Static Analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings. 1st ed. 1993
edited by Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 724
オンライン: https://doi.org/10.1007/3-540-57264-3
48.

電子ブック
ＥＢ
48. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings. 1st ed. 1993
edited by John Fitch
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 721
オンライン: https://doi.org/10.1007/3-540-57272-4
49.

電子ブック
ＥＢ
49. DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993. Proceedings. 1st ed. 1993
edited by Alexander Schill
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 731
オンライン: https://doi.org/10.1007/3-540-57306-2
50.

電子ブック
ＥＢ
50. PARLE '93 Parallel Architectures and Languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993. Proceedings. 1st ed. 1993
edited by Arndt Bode, Mike Reeve, Gottfried Wolf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 694
オンライン: https://doi.org/10.1007/3-540-56891-3
51.

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

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

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

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

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

電子ブック
ＥＢ
56. Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings
edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 636
オンライン: http://dx.doi.org/10.1007/3-540-55930-2
57.

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

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

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

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

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

電子ブック
ＥＢ
62. Memory Management : International Workshop IWMM 92, St.Malo, France, September 17 - 19, 1992. Proceedings. 1st ed. 1992
edited by Yves Bekkers, Jacques Cohen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 637
オンライン: https://doi.org/10.1007/BFb0017181
63.

電子ブック
ＥＢ
63. Object-Based Concurrent Computing : ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings. 1st ed. 1992
edited by Mario Tokoro, Oscar Nierstrasz, Peter Wegner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 612
オンライン: https://doi.org/10.1007/3-540-55613-3
64.

電子ブック
ＥＢ
64. Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings. 1st ed. 1992
edited by Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 592
オンライン: https://doi.org/10.1007/3-540-55460-2
65.

電子ブック
ＥＢ
65. Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings. 1st ed. 1992
edited by Gerard Comyn, Norbert E. Fuchs, Michael J. Ratcliffe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 636
オンライン: https://doi.org/10.1007/3-540-55930-2
66.

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

電子ブック
ＥＢ
67. Algebraic Specification Techniques in Object Oriented Programming Environments
by Ruth Breu
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 562
オンライン: http://dx.doi.org/10.1007/3-540-54972-2
68.

電子ブック
ＥＢ
68. CONCUR '91 : 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings
edited by Jos C. M. Baeten, Jan Frisco Groote
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 527
オンライン: http://dx.doi.org/10.1007/3-540-54430-5
69.

電子ブック
ＥＢ
69. Conclog: A Methodological Approach to Concurrent Logic Programming
by Jean-Marie Jacquet
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 556
オンライン: http://dx.doi.org/10.1007/3-540-54938-2
70.

電子ブック
ＥＢ
70. Software Development Environments and CASE Technology : European Symposium Königswinter, June 17–19, 1991 Proceedings
edited by A. Endres, H. Weber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 509
オンライン: http://dx.doi.org/10.1007/3-540-54194-2
71.

電子ブック
ＥＢ
71. Parallel Database Systems : PRISMA Workshop Noordwijk, The Netherlands, September 24–26, 1990 Proceedings
edited by Pierre America
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 503
オンライン: http://dx.doi.org/10.1007/3-540-54132-2
72.

電子ブック
ＥＢ
72. Distributed Memory Computing : 2nd European Conference, EDMCC2 Munich, FRG, April 22–24, 1991 Proceedings
edited by Arndt Bode
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 487
オンライン: http://dx.doi.org/10.1007/BFb0032916
73.

電子ブック
ＥＢ
73. Advances in Spatial Databases : 2nd Symposium, SSD '91, Zurich, Switzerland, August 28-30, 1991. Proceedings. 1st ed. 1991
edited by Oliver Günther, Hans-Jörg Schek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 525
オンライン: https://doi.org/10.1007/3-540-54414-3
74.

電子ブック
ＥＢ
74. Parallel Database Systems : PRISMA Workshop, Noordwijk, The Netherlands, September 24-26, 1990. Proceedings. 1st ed. 1991
edited by Pierre America
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 503
オンライン: https://doi.org/10.1007/3-540-54132-2
75.

電子ブック
ＥＢ
75. Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings. 1st ed. 1991
edited by Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 534
オンライン: https://doi.org/10.1007/3-540-54496-8
76.

電子ブック
ＥＢ
76. Distributed Memory Computing : 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991. 1st ed. 1991
edited by Arndt Bode
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 487
オンライン: https://doi.org/10.1007/BFb0032916
77.

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

電子ブック
ＥＢ
78. Software Development Environments and Case Technology : European Symposium, Königswinter, June 17-19, 1991. Proceedings. 1st ed. 1991
edited by Albert Endres, Herbert Weber
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 509
オンライン: https://doi.org/10.1007/3-540-54194-2
79.

電子ブック
ＥＢ
79. CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings. 1st ed. 1991
edited by Jos C.M. Baeten, Jan F. Groote
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 527
オンライン: https://doi.org/10.1007/3-540-54430-5
80.

電子ブック
ＥＢ
80. ECOOP '91 European Conference on Object-Oriented Programming : Geneva, Switzerland, July 15-19, 1991. Proceedings. 1st ed. 1991
edited by Pierre America
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 512
オンライン: https://doi.org/10.1007/BFb0057011
81.

電子ブック
ＥＢ
81. Conclog: A Methodological Approach to Concurrent Logic Programming. 1st ed. 1991
by Jean-Marie Jacquet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 556
オンライン: https://doi.org/10.1007/3-540-54938-2
82.

電子ブック
ＥＢ
82. Text Understanding in LILOG : Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project. 1st ed. 1991
edited by Otthein Herzog, Claus-Rainer Rollinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 546
オンライン: https://doi.org/10.1007/3-540-54594-8
83.

電子ブック
ＥＢ
83. Algebraic Specification Techniques in Object Oriented Programming Environments. 1st ed. 1991
by Ruth Breu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 562
オンライン: https://doi.org/10.1007/3-540-54972-2
84.

電子ブック
ＥＢ
84. Combinatorics on Traces
by Volker Diekert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 454
オンライン: http://dx.doi.org/10.1007/3-540-53031-2
85.

電子ブック
ＥＢ
85. Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 430
オンライン: http://dx.doi.org/10.1007/3-540-52559-9
86.

電子ブック
ＥＢ
86. Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings. 1st ed. 1990
edited by Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 430
オンライン: https://doi.org/10.1007/3-540-52559-9
87.

電子ブック
ＥＢ
87. Attribute Grammars and their Applications : International Conference, Paris, France, September 19-21, 1990. 1st ed. 1990
edited by Pierre Deransart, Martin Jourdan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 461
オンライン: https://doi.org/10.1007/3-540-53101-7
88.

電子ブック
ＥＢ
88. Combinatorics on Traces. 1st ed. 1990
by Volker Diekert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 454
オンライン: https://doi.org/10.1007/3-540-53031-2
89.

電子ブック
ＥＢ
89. COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings. 1st ed. 1990
edited by Per Martin-Löf, Grigori Mints
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 417
オンライン: https://doi.org/10.1007/3-540-52335-9
90.

電子ブック
ＥＢ
90. ICDT '90 : Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings. 1st ed. 1990
edited by Serge Abiteboul, Paris C. Kanellakis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 470
オンライン: https://doi.org/10.1007/3-540-53507-1
91.

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

電子ブック
ＥＢ
92. Parallel Computing 1988 : Shell Conference Amsterdam, The Netherlands, June 1/2, 1988 Proceedings
edited by G. A. Zee, J. G. G. Vorst
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 384
オンライン: http://dx.doi.org/10.1007/3-540-51604-2
93.

電子ブック
ＥＢ
93. Parallel Computing 1988 : Shell Conference, Amsterdam, The Netherlands, June 1/2, 1988; Proceedings. 1st ed. 1989
edited by Gerrit A. van Zee, Johannes G.G. van de Vorst
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 384
オンライン: https://doi.org/10.1007/3-540-51604-2
94.

電子ブック
ＥＢ
94. PARLE '89 - Parallel Architectures and Languages Europe : Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings. 1st ed. 1989
edited by Eddy Odijk, Martin Rem, Jean-Claude Syre
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 365
オンライン: https://doi.org/10.1007/3-540-51284-5
95.

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

電子ブック
ＥＢ
96. ESOP '88 : 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings
edited by H. Ganzinger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 300
オンライン: http://dx.doi.org/10.1007/3-540-19027-9
97.

電子ブック
ＥＢ
97. ESOP '88 : 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings. 1st ed. 1988
edited by Harald Ganzinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 300
オンライン: https://doi.org/10.1007/3-540-19027-9
98.

電子ブック
ＥＢ
98. Semantics of Digital Circuits
by Carlos Delgado Kloos
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 285
オンライン: http://dx.doi.org/10.1007/3-540-18540-2
99.

電子ブック
ＥＢ
99. Graph-Grammars and Their Application to Computer Science : 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986
edited by Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 291
オンライン: http://dx.doi.org/10.1007/3-540-18771-5
100.

電子ブック
ＥＢ
100. Semantics of Digital Circuits. 1st ed. 1987
by Carlos Delgado Kloos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 285
オンライン: https://doi.org/10.1007/3-540-18540-2