1.

電子ブック
ＥＢ
1. Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings. 1st ed. 1995
edited by V.S. Alagar, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 936
オンライン: https://doi.org/10.1007/3-540-60043-4
2.

電子ブック
ＥＢ
2. Specifying Message Passing and Time-Critical Systems with Temporal Logic. 1st ed. 1992
by Ron Koymans
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 651
オンライン: https://doi.org/10.1007/3-540-56283-4
3.

電子ブック
ＥＢ
3. Constructivity in Computer Science : Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings. 1st ed. 1992
edited by J.Paul Jr. Myers, Michael J. O'Donnell
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 613
オンライン: https://doi.org/10.1007/BFb0021078
4.

電子ブック
ＥＢ
4. Graph Grammars and Their Application to Computer Science : 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings. 1st ed. 1991
edited by Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 532
オンライン: https://doi.org/10.1007/BFb0017372
5.

電子ブック
ＥＢ
5. Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings. 1st ed. 1991
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 533
オンライン: https://doi.org/10.1007/3-540-54487-9
6.

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

電子ブック
ＥＢ
7. TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91). 1st ed. 1991
edited by S. Abramsky, T.S.E. Maibaum
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 493
オンライン: https://doi.org/10.1007/3-540-53982-4