1.

電子ブック
ＥＢ
1. Computing in the 90's : The First Great Lakes Computer Science Conference, Kalamazoo Michigan, USA, October 18-20, 1989. Proceedings. 1st ed. 1991
edited by Naveed A. Sherwani, Elise de Doncker, John A. Kapenga
出版情報: New York, NY : Springer New York : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 507
オンライン: https://doi.org/10.1007/BFb0038464
2.

電子ブック
ＥＢ
2. Foundations of Software Technology and Theoretical Computer Science : 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings. 1st ed. 1991
edited by Somenath Biswas, Kesav V. Nori
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 560
オンライン: https://doi.org/10.1007/3-540-54967-6
3.

電子ブック
ＥＢ
3. Logic Programming '89 : Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989. 1st ed. 1991
edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 485
オンライン: https://doi.org/10.1007/3-540-53919-0
4.

電子ブック
ＥＢ
4. Ada: The Choice for '92 : Ada-Europe International Conference Athens, Greece, May 13-17, 1991. 1st ed. 1991
edited by Dimitris Christodoulakis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 499
オンライン: https://doi.org/10.1007/BFb0018485
5.

電子ブック
ＥＢ
5. Compiler Compilers : Third International Workshop, CC `90. Schwerin, FRG, October 22-24, 1990. Proceedings. 1st ed. 1991
edited by Dieter Hammer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 477
オンライン: https://doi.org/10.1007/3-540-53669-8
6.

電子ブック
ＥＢ
6. Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings. 1st ed. 1991
edited by Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 534
オンライン: https://doi.org/10.1007/3-540-54496-8
7.

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

電子ブック
ＥＢ
8. ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings. 1st ed. 1991
edited by Axel van Lamsweerde, Alfonso Fuggetta
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 550
オンライン: https://doi.org/10.1007/3-540-54742-8
9.

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

電子ブック
ＥＢ
10. Foundations of Object-Oriented Languages : REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. 1st ed. 1991
edited by J.W. de Bakker, W.P. de Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 489
オンライン: https://doi.org/10.1007/BFb0019438
11.

電子ブック
ＥＢ
11. Parallel Execution of Logic Programs : ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings. 1st ed. 1991
edited by Anthony Beaumont, Gopal Gupta
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 569
オンライン: https://doi.org/10.1007/3-540-55038-0
12.

電子ブック
ＥＢ
12. Algebraic Methods II: Theory, Tools and Applications. 1st ed. 1991
edited by Jan A. Bergstra, Loe M.G. Feijs
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 490
オンライン: https://doi.org/10.1007/3-540-53912-3
13.

電子ブック
ＥＢ
13. Concurrency: Theory, Language, and Architecture : UK/Japan Workshop, Oxford, UK, September 25–27, 1989, Proceedings. 1st ed. 1991
edited by Akinori Yonezawa, Takayasu Ito
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 491
オンライン: https://doi.org/10.1007/3-540-53932-8
14.

電子ブック
ＥＢ
14. Next Generation Information System Technology : First International East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990. Procceedings. 1st ed. 1991
edited by Joachim W. Schmidt, Anatoly A. Stogny
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 504
オンライン: https://doi.org/10.1007/3-540-54141-1
15.

電子ブック
ＥＢ
15. CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings. 1st ed. 1991
edited by Jos C.M. Baeten, Jan F. Groote
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 527
オンライン: https://doi.org/10.1007/3-540-54430-5
16.

電子ブック
ＥＢ
16. ECOOP '91 European Conference on Object-Oriented Programming : Geneva, Switzerland, July 15-19, 1991. Proceedings. 1st ed. 1991
edited by Pierre America
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 512
オンライン: https://doi.org/10.1007/BFb0057011
17.

電子ブック
ＥＢ
17. Conclog: A Methodological Approach to Concurrent Logic Programming. 1st ed. 1991
by Jean-Marie Jacquet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 556
オンライン: https://doi.org/10.1007/3-540-54938-2
18.

電子ブック
ＥＢ
18. Attribute Grammars, Applications and Systems : International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings. 1st ed. 1991
edited by Henk Alblas, Borivoj Melichar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 545
オンライン: https://doi.org/10.1007/3-540-54572-7
19.

電子ブック
ＥＢ
19. Functional Programming Languages and Computer Architecture : 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings. 1st ed. 1991
edited by John Hughes
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 523
オンライン: https://doi.org/10.1007/3-540-54396-1
20.

電子ブック
ＥＢ
20. Theoretical Aspects of Computer Software : International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings. 1st ed. 1991
edited by Takayasu Ito, Albert R. Meyer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 526
オンライン: https://doi.org/10.1007/3-540-54415-1
21.

電子ブック
ＥＢ
21. Specification and Compositional Verification of Real-Time Systems. 1st ed. 1991
by Jozef Hooman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 558
オンライン: https://doi.org/10.1007/3-540-54947-1
22.

電子ブック
ＥＢ
22. Algebraic Specification Techniques in Object Oriented Programming Environments. 1st ed. 1991
by Ruth Breu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 562
オンライン: https://doi.org/10.1007/3-540-54972-2
23.

電子ブック
ＥＢ
23. Category Theory and Computer Science : Paris, France, September 3-6, 1991. Proceedings. 1st ed. 1991
edited by David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 530
オンライン: https://doi.org/10.1007/BFb0013452
24.

電子ブック
ＥＢ
24. Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings. 1st ed. 1991
edited by Jan Maluszynski, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 528
オンライン: https://doi.org/10.1007/3-540-54444-5
25.

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