1.

電子ブック
ＥＢ
1. Advances in Petri Nets 1990
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 483
オンライン: http://dx.doi.org/10.1007/3-540-53863-1
2.

電子ブック
ＥＢ
2. PARLE '91 Parallel Architectures and Languages Europe : Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 Proceedings
edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 506
オンライン: http://dx.doi.org/10.1007/3-540-54152-7
3.

電子ブック
ＥＢ
3. Algebraic Methods II: Theory, Tools and Applications
edited by J. A. Bergstra, L. M. G. Feijs
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 490
オンライン: http://dx.doi.org/10.1007/3-540-53912-3
4.

電子ブック
ＥＢ
4. Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
edited by Edmund M. Clarke, Robert P. Kurshan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 531
オンライン: http://dx.doi.org/10.1007/BFb0023712
5.

電子ブック
ＥＢ
5. STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings
edited by Christian Choffrut, Matthias Jantzen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 480
オンライン: http://dx.doi.org/10.1007/BFb0020782
6.

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

電子ブック
ＥＢ
7. Advances in Petri Nets 1991
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 524
オンライン: http://dx.doi.org/10.1007/BFb0019965
8.

電子ブック
ＥＢ
8. Distributed Algorithms : 4th International Workshop Bari, Italy, September 24–26, 1990 Proceedings
edited by Jan Leeuwen, Nicola Santoro
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 486
オンライン: http://dx.doi.org/10.1007/3-540-54099-7
9.

電子ブック
ＥＢ
9. Artificial Neural Networks : International Workshop IWANN '91, Granada, Spain, September 17-19, 1991. Proceedings. 1st ed. 1991
edited by Alberto Prieto
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 540
オンライン: https://doi.org/10.1007/BFb0035870
10.

電子ブック
ＥＢ
10. Advances in Petri Nets 1990. 1st ed. 1991
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 483
オンライン: https://doi.org/10.1007/3-540-53863-1
11.

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

電子ブック
ＥＢ
12. Distributed Algorithms : 4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings. 1st ed. 1991
edited by Jan van Leeuwen, Nicola Santoro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 486
オンライン: https://doi.org/10.1007/3-540-54099-7
13.

電子ブック
ＥＢ
13. PARLE '91. Parallel Architectures and Languages Europe : Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings. 1st ed. 1991
edited by Emile H.L. Aarts, Jan van Leeuwen, Martin Rem
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 506
オンライン: https://doi.org/10.1007/3-540-54152-7
14.

電子ブック
ＥＢ
14. Advances in Petri Nets 1991. 1st ed. 1991
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 524
オンライン: https://doi.org/10.1007/BFb0019965
15.

電子ブック
ＥＢ
15. Methodologies for Intelligent Systems : 6th International Symposium, ISMIS '91, Charlotte, N.C., USA October 16-19, 1991. Proceedings. 1st ed. 1991
edited by Zbigniew W. Ras, Maria Zemankova
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 542
オンライン: https://doi.org/10.1007/3-540-54563-8