1.

電子ブック
ＥＢ
1. An Introduction to the PL/CV2 Programming Logic
by R. L. Constable, S. D. Johnson, C. D. Eichenlaub
出版情報: Berlin, Heidelberg : Springer-Verlag, 1982
シリーズ名: Lecture Notes in Computer Science ; 135
オンライン: http://dx.doi.org/10.1007/3-540-11492-0
2.

電子ブック
ＥＢ
2. Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
edited by Jørgen Staunstrup
出版情報: Berlin, Heidelberg : Springer-Verlag, 1982
シリーズ名: Lecture Notes in Computer Science ; 134
オンライン: http://dx.doi.org/10.1007/3-540-11490-4
3.

電子ブック
ＥＢ
3. Data Base Design Techniques II : Physical Structures and Applications Proceedings, Tokyo, November 1979
edited by S. B. Yao, T. L. Kunii
出版情報: Berlin, Heidelberg : Springer-Verlag, 1982
シリーズ名: Lecture Notes in Computer Science ; 133
オンライン: http://dx.doi.org/10.1007/3-540-11215-4
4.

電子ブック
ＥＢ
4. An Analytical Description of CHILL, the CCITT High Level Language
edited by Paul Branquart, Georges Louis, Pierre Wodon
出版情報: Berlin, Heidelberg : Springer-Verlag, 1982
シリーズ名: Lecture Notes in Computer Science ; 128
オンライン: http://dx.doi.org/10.1007/3-540-11196-4
5.

電子ブック
ＥＢ
5. An Attribute Grammar for the Semantic Analysis of Ada
edited by Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1982
シリーズ名: Lecture Notes in Computer Science ; 139
オンライン: http://dx.doi.org/10.1007/3-540-11571-4
6.

電子ブック
ＥＢ
6. Group-Theoretic Algorithms and Graph Isomorphism
edited by Christoph M. Hoffmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1982
シリーズ名: Lecture Notes in Computer Science ; 136
オンライン: http://dx.doi.org/10.1007/3-540-11493-9
7.

電子ブック
ＥＢ
7. Verifying Concurrent Processes Using Temporal Logic
by Brent T. Hailpern
出版情報: Berlin, Heidelberg : Springer-Verlag, 1982
シリーズ名: Lecture Notes in Computer Science ; 129
オンライン: http://dx.doi.org/10.1007/3-540-11205-7
8.

電子ブック
ＥＢ
8. Alternating Sequential/Parallel Processing
by Y. Wallach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1982
シリーズ名: Lecture Notes in Computer Science ; 127
オンライン: http://dx.doi.org/10.1007/3-540-11194-8
9.

電子ブック
ＥＢ
9. Automata, Languages and Programming : Ninth Colloquium Aarhus, Denmark, July 12–16, 1982
edited by Mogens Nielsen, Erik Meineche Schmidt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1982
シリーズ名: Lecture Notes in Computer Science ; 140
オンライン: http://dx.doi.org/10.1007/BFb0012751
10.

電子ブック
ＥＢ
10. Operating Systems Engineering : Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980
edited by Mamoru Maekawa, Laszio A. Belady
出版情報: Berlin, Heidelberg : Springer-Verlag, 1982
シリーズ名: Lecture Notes in Computer Science ; 143
オンライン: http://dx.doi.org/10.1007/3-540-11604-4