1.

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

電子ブック
ＥＢ
2. Rewriting Techniques and Applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings. 1st ed. 1995
edited by Jieh Hsiang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 914
オンライン: https://doi.org/10.1007/3-540-59200-8
3.

電子ブック
ＥＢ
3. Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings. 1st ed. 1995
edited by Manuel Hermenegildo, S.Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 982
オンライン: https://doi.org/10.1007/BFb0026808
4.

電子ブック
ＥＢ
4. Rewriting Techniques and Applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings. 1st ed. 1993
edited by Claude Kirchner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 690
オンライン: https://doi.org/10.1007/3-540-56868-9
5.

電子ブック
ＥＢ
5. Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings. 1st ed. 1993
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 735
オンライン: https://doi.org/10.1007/BFb0039695
6.

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

電子ブック
ＥＢ
7. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings. 1st ed. 1993
by Alfonso Miola
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 722
オンライン: https://doi.org/10.1007/BFb0013162
8.

電子ブック
ＥＢ
8. Rewriting Techniques and Applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings. 1st ed. 1991
edited by Ronald V. Book
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 488
オンライン: https://doi.org/10.1007/3-540-53904-2
9.

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

電子ブック
ＥＢ
10. EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings. 1st ed. 1989
edited by James H. Davenport
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 378
オンライン: https://doi.org/10.1007/3-540-51517-8