1.

電子ブック
ＥＢ
1. Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings. 1st ed. 1995
edited by Jiri Wiedermann, Petr Hajek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 969
オンライン: https://doi.org/10.1007/3-540-60246-1
2.

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

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

電子ブック
ＥＢ
4. Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings. 1st ed. 1989
edited by Behnam Banieqbal, Howard Barringer, Amir Pnueli
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 398
オンライン: https://doi.org/10.1007/3-540-51803-7
5.

電子ブック
ＥＢ
5. Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings. 1st ed. 1989
edited by Nachum Dershowitz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 355
オンライン: https://doi.org/10.1007/3-540-51081-8
6.

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