1.

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

電子ブック
ＥＢ
2. VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 2: Tutorials. 1st ed. 1991
edited by Soren Prehn, Hans Toetenel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 552
オンライン: https://doi.org/10.1007/BFb0019994
3.

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

電子ブック
ＥＢ
4. Logics in AI : European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings. 1st ed. 1991
edited by Jan van Eijck
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 478
オンライン: https://doi.org/10.1007/BFb0018429
5.

電子ブック
ＥＢ
5. Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings. 1st ed. 1991
edited by Klaus P. Jantke, Peter H. Schmitt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 543
オンライン: https://doi.org/10.1007/BFb0023313
6.

電子ブック
ＥＢ
6. Fundamentals of Computation Theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings. 1st ed. 1991
edited by Lothar Budach
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 529
オンライン: https://doi.org/10.1007/3-540-54458-5
7.

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

電子ブック
ＥＢ
8. VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 1: Conference Contributions. 1st ed. 1991
edited by Soren Prehn, Hans Toetenel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 551
オンライン: https://doi.org/10.1007/3-540-54834-3
9.

電子ブック
ＥＢ
9. 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
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. STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991. Proceedings. 1st ed. 1991
edited by Christian Choffrut, Matthias Jantzen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 480
オンライン: https://doi.org/10.1007/BFb0020782
12.

電子ブック
ＥＢ
12. Mathematical Foundations of Computer Science 1991 : 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings. 1st ed. 1991
by Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 520
オンライン: https://doi.org/10.1007/3-540-54345-7
13.

電子ブック
ＥＢ
13. Baltic Computer Science : Selected Papers. 1st ed. 1991
edited by Janis Barzdins, Dines Bjørner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 502
オンライン: https://doi.org/10.1007/BFb0019352
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. 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
16.

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

電子ブック
ＥＢ
17. Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings. 1st ed. 1991
edited by Jan Vytopil
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 571
オンライン: https://doi.org/10.1007/3-540-55092-5
18.

電子ブック
ＥＢ
18. Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings. 1st ed. 1991
edited by Edmund M. Clarke, Robert P. Kurshan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 531
オンライン: https://doi.org/10.1007/BFb0023712
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. Extensions of Logic Programming : International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings. 1st ed. 1991
edited by Peter Schroeder-Heister
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 475
オンライン: https://doi.org/10.1007/BFb0038689
22.

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

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

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

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

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