1.

電子ブック
ＥＢ
1. Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control. 1st ed. 1996
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1165
オンライン: https://doi.org/10.1007/BFb0027227
2.

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

電子ブック
ＥＢ
3. Building Tightly Integrated Software Development Environments: The IPSEN Approach. 1st ed. 1996
edited by Manfred Nagl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1170
オンライン: https://doi.org/10.1007/BFb0035684
4.

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

電子ブック
ＥＢ
5. Object-Technologies for Advanced Software : Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings. 1st ed. 1996
edited by Kokichi Futatsugi, Satoshi Matsuoka
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1049
オンライン: https://doi.org/10.1007/3-540-60954-7
6.

電子ブック
ＥＢ
6. Over-Constrained Systems. 1st ed. 1996
edited by Michael Jampel, Eugene Freuder, Michael Maher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1106
オンライン: https://doi.org/10.1007/3-540-61479-6
7.

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

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

電子ブック
ＥＢ
9. Studies of Software Design : ICSE'93 Workshop, Baltimore, Maryland, USA, May (17-18), 1993. Selected Papers. 1st ed. 1996
edited by David Alex Lamb
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1078
オンライン: https://doi.org/10.1007/BFb0030514
10.

電子ブック
ＥＢ
10. Reliable Software Technologies - Ada Europe 96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings. 1st ed. 1996
edited by Alfred Strohmeier
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1088
オンライン: https://doi.org/10.1007/BFb0013474